Wstęp do logiki. Klasyczny Rachunek Predykatów I

Podobne dokumenty
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Wstęp do logiki. Klasyczny Rachunek Zdań II

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

LOGIKA I TEORIA ZBIORÓW

Rachunek logiczny. 1. Język rachunku logicznego.

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

Kultura logicznego myślenia

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

LOGIKA Klasyczny Rachunek Zdań

Wstęp do logiki. Klasyczny Rachunek Zdań III

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Logika pragmatyczna dla inżynierów

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

Wstęp do logiki. Semiotyka cd.

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

Elementy logiki matematycznej

Adam Meissner.

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

Elementy logiki i teorii mnogości

ROZDZIAŁ 1. Rachunek funkcyjny

vf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).

Klasyczny rachunek predykatów

Podstawowe Pojęcia. Semantyczne KRZ

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Logika Matematyczna (2,3)

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Drzewa Semantyczne w KRZ

Matematyka ETId Elementy logiki

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Kultura logiczna Wnioskowania dedukcyjne

ĆWICZENIE 2. DEF. Mówimy, że formuła A wynika logicznie z formuł wartościowanie w, takie że w A. A,, A w KRZ, jeżeli nie istnieje

Czyli ABC logiki predykatów

Rachunek zdań i predykatów

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

1 Podstawowe oznaczenia

Składnia rachunku predykatów pierwszego rzędu

Lekcja 3: Elementy logiki - Rachunek zdań

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Semantyka rachunku predykatów

Lista 1 (elementy logiki)

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Elementy logiki Klasyczny rachunek predykatów

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Schematy Piramid Logicznych

WSTĘP ZAGADNIENIA WSTĘPNE

Semantyka rachunku predykatów pierwszego rzędu. Dziedzina interpretacji. Stałe, zmienne, funkcje. Logika obliczeniowa.

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Rachunek predykatów. Formuły rachunku predykatów. Plan wykładu. Relacje i predykaty - przykłady. Relacje i predykaty

Wstęp do logiki. Semiotyka cd.

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów

1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14

Paradygmaty dowodzenia

1. Klasyczny Rachunek Zdań

Elementy logiki. Zdania proste i złożone

Metoda Tablic Semantycznych

23. PODSTAWY SYMBOLIZACJI W LOGICE RELACJI

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

Elementy logiki matematycznej

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań

Zagadnienia podstawowe dotyczące metod formalnych w informatyce

Kultura logiczna Klasyczny rachunek zdań 2/2

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Drobinka semantyki KRP

Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność

4 Klasyczny rachunek zdań

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

Internet Semantyczny i Logika I

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

III rok kognitywistyki UAM,

Rachunek zdań. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

WYKŁAD 3: METODA AKSJOMATYCZNA

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Klasyczny rachunek zdań

Transkrypt:

Wstęp do logiki Klasyczny Rachunek Predykatów I

KRZ jest teorią stanowiącą wstępną część logiki formalnej, część zakładaną przez inne teorie. Przypomnijmy, jest on teorią związków logicznych między zdaniami dowolnego języka naturalnego. W centrum swego zainteresowania stawia strukturę formalną zdań złożonych, koncentrując swą uwagę na spójnikach zdaniowych. Zdania proste składniki zdań złożonych traktuje jako nierozkładalne dalej atomy. Powoduje to, że w ramach języka KRZ nie można uzasadnić poprawności formalnej wielu wnioskowań, które intuicyjnie uważamy za formalnie poprawne. Przeprowadźmy następujące rozumowanie: Każdy filozof jest omylny. Sokrates jest filozofem. A zatem, Sokrates jest omylny. Zastosujmy tu metodę badania niezawodności wnioskowań, opisaną w ramach KRZ. 2

Schematem pierwszej przesłanki, zapisanym w języku KRZ, będzie zmienna p, bo z punktu widzenia KRZ jest to zdanie proste (nie zawiera ona żadnego spójnika); schematem drugiej przesłanki będzie zmienna q, a schematem wniosku będzie zmienna r. Tak więc, schemat tego wnioskowania ma postać: p, q r Łatwo sprawdzić, że nie jest to reguła niezawodna, gdyż formuła: p q r nie jest tautologią KRZ. Znaczy to, że wniosek nie wynika logicznie z przesłanek. Nasuwa się jednak nieodparte wrażenie, że wnioskowanie to jest formalnie poprawne w tym sensie, iż wniosek wynika logicznie z przesłanek oraz iż opiera się ono na jakieś niezawodnej regule wnioskowania. Rodzi się więc przypuszczenie, że język KRZ jest za mało precyzyjny, by w jego ramach uzasadnić formalną poprawność tego wnioskowania. Przypuszczenie to jest słuszne. 3

Do pokazania, że rozważane tu wnioskowanie jest formalnie poprawne, niezbędny jest rachunek umożliwiający precyzyjniejszą analizę budowy zdań, mianowicie taki, który pozwoli uwzględnić wewnętrzną budowę zdań prostych. Rachunkiem takim jest rachunek predykatów, zwany też rachunkiem kwantyfikatorów. Zacznijmy więc od ustalenia, czym jest zdanie proste. Z grubsza rzecz biorąc: zdanie proste to wyrażenie przypisujące pewną własność pewnemu przedmiotowi, wskazywanemu za pomocą odpowiedniej nazwy, np. Sokrates jest omylny, albo zdanie proste to wyrażenie opisujące pewien związek (relację) zachodzący miedzy dwoma lub więcej przedmiotami, wskazywanymi przez odpowiednie nazwy, np. Ewa kusi Adama. 4

Ustalając symbole, które mogą reprezentować nazwy przedmiotów oraz symbole, które mogą reprezentować wyrażenia odnoszące się do własności przedmiotów lub relacji miedzy przedmiotami, możemy każdemu zdaniu prostemu przyporządkować pewna formułę reprezentującą jego formę logiczną. Zacznijmy od zdania: Ewa kusi Adama. Ewa i Adam to nazwy jednostkowe. Są one połączone predykatem kusi. Zapiszmy rozważane zdanie tak, aby najpierw występował predykat, a następnie jego argumenty: Kusi(Ewa, Adam). Niech a zastępuje nazwę Ewa, b zastępuje nazwę Adam, K zastępuje predykat kusi. Wobec tego rozważane zdanie można zapisać jako: K(a, b). 5

Wprowadzając stosowne skróty, można podobnie zapisać inne zdania proste, takie jak: 0 jest liczba naturalną, KRP: preliminaria a mianowicie N(0) Dygresja. W zdaniu tym wyrażenie jest liczbą naturalną jest predykatem 1-argumentowym. Zauważmy, że składa się on z nazwy generalnej liczba naturalna, poprzedzonej słowem jest. Ogólnie możemy przyjąć, że każdej nazwie generalnej odpowiada pewien predykat 1- argumentowy: nazwie adwokat predykat jest adwokatem, nazwie kwadrat predykat jest kwadratem itp. W języku rachunku predykatów nazwy są nazwami jednostkowymi, czyli nazwami oznaczającymi tylko jeden przedmiot. 6

Podane tu przykłady nazw (jednostkowych) były to nazwy proste jednowyrazowe. Przypomnijmy, nazwy języka naturalnego ze względu na budowę dzieli się na proste i złożone. Argumentami predykatów mogą być również nazwy złożone wielowyrazowe, np. naiwny Adam, prezydent RP, 0 + 1. Nazwy tego typu składają się z pewnej liczby nazw i wyrażenia je łączącego, tzw. wyrażenia funkcyjnego (funktora). 7

Niech f zastępuje funktor naiwny. Wobec tego nazwę naiwny Adam można zapisać jako f(b), zaś zdanie Ewa kusi naiwnego Adama można zapisać jako K(a, f(b)). Dygresja. W języku rachunku predykatów dla oznaczenia wszystkich nazw (zarówno prostych, jak i złożonych) stosuje się techniczny termin: term. Mówiąc dokładniej, term to formuła nazwowa. 8

Weźmy następujące schematy: x kusi y, log y x + 0. Występujące w tych schematach litery x i y to tzw. zmienne indywiduowe (nazwowe), czyli takie litery, za które można podstawiać jedynie nazwy danego języka. Reprezentują one przedmioty jednostkowe (indywidua) z pewnego ustalonego zbioru, zwanego zakresem zmiennych, np. zbioru ludzi, zbioru liczb (mówimy też że zmienne przebiegają odpowiedni zbiór). Pierwszy z podanych tu schematów jest formułą zdaniową po podstawieniu za zmienne nazw otrzymamy zdanie, zaś drugi jest formuła nazwową (czyli termem) po podstawieniu za zmienne nazw otrzymamy na powrót nazwę. 9

Formuły zdaniowe, takie jak x kusi y. a więc zawierające zmienne, za które można podstawić pewne nazwy określa się mianem funkcji zdaniowych. Funkcje zdaniowe są swego rodzaju równaniami, które spełniają odpowiednie przedmioty. Np. funkcję zdaniową: x > 0 spełnia każda liczba większa od zera, i żadna inna. Dygresja. Dodajmy, że zmiennym nazwowym w języku naturalnym odpowiadają takie wyrażenia, jak coś, ktoś, jakiś itp. Np. Jeżeli ktoś pożyczył od kogoś jakiś przedmiot, to jest tego kogoś dłużnikiem. Można to zapisać symbolicznie następująco: P(x, y, z) D(x, y), gdzie litera P reprezentuje predykat pożyczył, a litera D predykat jest dłużnikiem. 10

Chcąc przedstawić formę logiczną zdania, które nie zawiera żadnej nazwy (jednostkowej) ustalamy jedynie symboliczna reprezentację predykatów (dbając o to, by różnym predykatom odpowiadały różne symbole). Potrzebne nam będą jeszcze pewne specjalne symbole: kwantyfikator generalny, który czytamy: dla każdego, dla dowolnego, wszystkie. kwantyfikator egzystencjalny, który czytamy: istnieje takie, że, dla pewnego. Dygresja. W literaturze używane są inne jeszcze zapisy kwantyfikatorów. Kwantyfikator generalny (ogólny, duży) zapisywany bywa następująco: Λ, (x), a egzystencjalny (szczegółowy, mały) za pomocą symboli V, (Ex). Niech L(x) reprezentuje: x jest leniwy. (Zakładamy, że zmienna x przebiega po zbiorze ludzi.) 11

Wszyscy są leniwi (zdanie ogólnotwierdzące) x [L(x)] czytamy: Dla każdego x, x jest leniwy zasięg kwantyfikatora Niektórzy są leniwi (zdanie szczegółowotwierdzące) x [L(x)] czytamy: Istnieje x takie, że x jest leniwy zasięg kwantyfikatora Nikt nie jest leniwy (zdanie ogólnoprzeczące) x ~L(x) czytamy: Dla każdego x, x nie jest leniwy zasięg kwantyfikatora Niektórzy nie są leniwi (zdanie szczegółowoprzeczące) x ~L(x) czytamy: Istnieje x takie, że x nie jest leniwy zasięg kwantyfikatora 12

Rola kwantyfikatora polega na wiązaniu zmiennych. Zmienna związana przez kwantyfikator jest zmienną pozorną, za którą nie wolno nic podstawiać.: preliminaria Formułę występującą w nawiasie (otwartym bezpośrednio po kwantyfikatorze) nazywamy zasięgiem kwantyfikatora. Gdy zasięg kwantyfikatora nie budzi wątpliwości nawiasy możemy pominąć; np. zamiast x[l(x)] można pisać: xl(x). Niech F(x) reprezentuje: x jest filozofem; L(x) reprezentuje: x jest leniwy. (Zakładamy ponownie, że zmienna x przebiega po zbiorze ludzi.) 13

Każdy filozof jest leniwy. (zdanie ogólnotwierdzące) Każdy, kto jest filozofem, jest leniwy. F(x) L(x) Jeśli x jest filozofem, to x jest leniwy. x[f(x) L(x)] Dla każdego x, jeśli x jest filozofem, to x jest leniwy. Pewien filozof jest leniwy. (zdanie szczegółowotwierdzące) Istnieje ktoś, kto(ś) jest filozofem i jest leniwy. F(x) L(x) x jest filozofem i x jest leniwy. x[f(x) L(x)] Istnieje x takie, że x jest filozofem i x jest leniwy. 14

Podobnie w przypadku zdań: Żaden filozof nie jest leniwy. x[f(x) ~L(x)] (zdanie ogólnoprzeczące) Pewien filozof nie jest leniwy. x[f(x) ~L(x)] (zdanie szczegółowoprzeczące) Nie ma leniwych filozofów. Tylko filozofowie są leniwi. ~ x[f(x) L(x)] x[l(x) F(x)] W zdaniach może występować więcej zwrotów kwantyfikujących. Mogą one występować nie tylko na początku wypowiedzi, ale także wewnątrz niej lub na końcu. Weźmy zdania: Wszystko jest przyczyną wszystkiego. x y P(x, y) Istnieje coś, co jest przyczyną wszystkiego. x y P(x, y) Wszystko ma swoją przyczynę. y x P(x, y) Nic nie jest przyczyną wszystkiego. x y ~P(x, y) Pewien student nie przeczytał żadnej książki. x[s(x) y (K(y) ~ P(x, y))] 15

Sposób tworzenia formuł bardziej złożonych z formuł prostszych opisuje następująca tabela: x(a) x(a) ~(A) (A) (B) (A) (B) (A) (B) (A) (B) Dla każdego x, A Istnieje x takie, że A Nieprawda, że A A i B A lub B Jeżeli A, to B A wtw B 16

Z semantycznego punktu widzenia, rola kwantyfikatorów polega na stwierdzeniu uniwersalności lub akcydentalności występowania pewnej cechy lub relacji, wskazywanej przez predykat. Najprostsze intuicyjne rozumienie kwantyfikatorów uzyskuje się rozważając kwantyfikatory ograniczone do zbiorów skończonych n-elementowych takich, że każdy element rozważanego zbioru, U, posiada swoją nazwę a i. Wówczas: formuła postaci xa(x) jest równoważna koniunkcji A(x/a 1 )... A(x/a n ), a formuła postaci xa(x) jest równoważna alternatywie A(x/a 1 )... A(x/a n ). Stąd kwantyfikator generalny nazywa się niekiedy uogólnioną koniunkcją, a kwantyfikator egzystencjalny uogólnioną alternatywą. Przykład. x Leniwy(x) Leniwy(Zenek) Leniwa(Ziuta).... x Leniwy(x) Leniwy(Zenek) Leniwa(Ziuta).... 17

Zdanie generalnie skwantyfikowane x A(x) jest prawdziwe, gdy dla każdej nazwy a jest tak, jak głosi zdanie A(x/a); jest fałszywe, gdy dla co najmniej jednej nazwy a nie jest tak, jak głosi zdanie A(x/a). Z kolei, zdanie egzystencjalnie skwantyfikowane x A(x) jest prawdziwe, gdy dla co najmniej jednej nazwy a jest tak, jak głosi zdanie A(x/a); jest fałszywe, gdy dla każdej nazwy a nie jest tak, jak głosi zdanie A(x/a). 18

Zagadki. Pewną wyspę zamieszkują tylko rycerze i łotry. Rycerze zawsze mówią prawdę, a łotry zawsze kłamią. Mamy trzy osoby, X, Y i Z, ale tylko dwie z nich wygłaszają zdania (każda z nich jest albo rycerzem, albo łotrem). (1) X mówi: Wszyscy jesteśmy rycerzami. Y mówi: Wszyscy jesteśmy łotrami. Kim są X, Y i Z? (2) X mówi: Jest wśród nas rycerz. Y mówi: Jest wśród nas łotr. Kim są X, Y i Z? 19

Dygresja historyczna. Kwantyfikatory zostały wprowadzone przez G. Fregego w 1879 r. Jednakże jego praca z uwagi na trudną symbolikę została niezauważona. Około 1885 r. C. S. Peirce wprowadził bardziej czytelne symbole dla kwantyfikatorów i zauważył, że można je traktować, odpowiednio, jako koniunkcję i alternatywę. Rachunek kwantyfikatorów upowszechnili B. Russell i A. N. Whitehead w Principia Mathematica. 20