Elementy logiki Klasyczny rachunek zdań. Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im.

Transkrypt

1 Elementy logiki. Klasyczny rachunek zdań. 1 Elementy logiki Klasyczny rachunek zdań Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza

2 Elementy logiki. Klasyczny rachunek zdań Spójniki logiczne 1. KLASYCZNY RACHUNEK ZDAŃ Zdaniem w sensie logicznym nazywamy wyrażenie, które jest prawdziwe lub fałszywe. Prawdę i fałsz nazywamy wartościami logicznymi. Prawdę oznaczamy symbolem 1, a fałsz symbolem 0. Zmienne zdaniowe p, q, r, s (także z indeksami) reprezentują dowolne zdania. Spójniki logiczne (albo: funktory KRZ) służą do konstrukcji zdań logicznie złożonych. Wyróżniamy pięć podstawowych spójników logicznych.

3 Elementy logiki. Klasyczny rachunek zdań. 3 Spójnik negacji jest to wyrażenie nieprawda, że użyte w kontekście nieprawda, że p. Symbol:, w kontekście: p. Zdanie postaci p nazywamy negacją zdania p. Spójnik koniunkcji jest to wyraz i użyty w kontekście p i q. Symbol:, w kontekście: p q. Zdanie postaci p q nazywamy koniunkcją zdań p i q. Spójnik alternatywy jest to wyraz lub użyty w kontekście p lub q. Symbol:, w kontekście: p q. Zdanie postaci p q nazywamy alternatywą zdań p i q. Spójnik implikacji jest to wyrażenie jeżeli..., to użyte w kontekście jeżeli p, to q. Symbol, w kontekście: p q. Zdanie postaci p q nazywamy implikacją o poprzedniku p i następniku q. Spójnik równoważności jest to wyrażenie wtedy i tylko wtedy, gdy użyte w kontekście p wtedy i tylko wtedy, gdy q. Symbol:, w kontekście: p q. Zdanie postaci p q nazywamy równoważnością zdań p i q.

4 Elementy logiki. Klasyczny rachunek zdań. 4 Inne oznaczenia spójników logicznych: spójnik negacji, koniunkcji &,, alternatywy +, implikacji, równoważności,. Zdanie p nazywamy argumentem spójnika negacji w zdaniu p. Spójnik negacji jest jednoargumentowy. Zdania p i q nazywamy argumentami spójnika koniunkcji w zdaniu p q. Spójnik koniunkcji jest dwuargumentowy. Spójniki alternatywy, implikacji i równoważności są też dwuargumentowe. Spójniki logiczne są ekstensjonalne: wartość logiczna zdania złożonego za pomocą danego spójnika jest jednoznacznie wyznaczona przez ten spójnik i wartości logiczne argumentów. Negacja zdania prawdziwego jest zdaniem fałszywym. Negacja zdania fałszywego jest zdaniem prawdziwym. Koniunkcja dwóch zdań jest prawdziwa wtedy i tylko wtedy, gdy oba argumenty są prawdziwe.

5 Elementy logiki. Klasyczny rachunek zdań. 5 Alternatywa dwóch zdań jest prawdziwa wtedy i tylko wtedy, gdy przynajmniej jeden argument jest prawdziwy. Implikacja dwóch zdań (zdanie warunkowe) jest fałszywa wtedy i tylko wtedy, gdy poprzednik jest prawdziwy, a następnik jest fałszywy. Równoważność dwóch zdań jest prawdziwa wtedy i tylko wtedy, gdy oba argumenty mają tę samą wartość logiczną. 1 = 0, 0 = = = = = = = = = = = = = = = = = 1

6 Elementy logiki. Klasyczny rachunek zdań. 6 W powyższych wzorach symbole spójników oznaczają działania na zbiorze {0, 1}, odpowiadające poszczególnym spójnikom. Czasem działanie odpowiadające oznaczamy i podobnie dla pozostałych spójników. Tablice prawdziwościowe spójników p p p q p q p q p q p q

7 Elementy logiki. Klasyczny rachunek zdań Formuły KRZ Formuły KRZ to wyrażenia poprawnie zbudowane ze zmiennych zdaniowych za pomocą spójników logicznych. W formułach zawierających kilka spójników stosujemy nawiasy, żeby jednoznacznie określić argumenty każdego spójnika. Przykład. Wyrażenie p q r nie jest poprawnie zbudowaną formułą. Wprowadzając nawiasy, otrzymujemy dwie istotnie różne formuły: (p q) r oraz p (q r). Niektóre nawiasy możemy pominąć, przyjmując priorytety (siłę wiązania) spójników. Najsilniejszy jest spójnik negacji, słabsze są spójniki koniunkcji i alternatywy (równosilne), a najsłabsze spójniki implikacji i równoważności (równosilne). p q p q przedstawia formułę (p q) (( p) q).

8 Elementy logiki. Klasyczny rachunek zdań. 8 Drzewo formuły: p q (q p), czyli (p ( q)) (q p) q p q p Notacja beznawiasowa (polska, Łukasiewicza): p q qp. Piszemy funktor przed argumentami. (Czytamy drzewo gałęziami od lewej, ang. depth-first.) Inny zapis: EApNqCqp. Oznaczamy: : N, : K, : A, : C, : E.

9 Elementy logiki. Klasyczny rachunek zdań. 9 Definicja 1. Niech V będzie pewnym zbiorem zmiennych zdaniowych. Wartościowaniem zbioru V nazywamy dowolną funkcję w : V {0, 1}. Mniej formalnie: wartościowanie jest to przyporządkowanie wartości logicznych pewnym zmiennym zdaniowym. Każde wartościowanie w zbioru V jednoznacznie określa wartość logiczną dowolnej formuły KRZ, której zmienne należą do V. Literami A, B, C,... oznaczamy dowolne formuły KRZ. Wartość logiczną formuły A dla wartościowania w oznaczamy przez w(a). Tę wartość można wyznaczyć w oparciu o następujące warunki rekurencyjne: w( A) = w(a), w(a B) = w(a) w(b), w(a B) = w(a) w(b), w(a B) = w(a) w(b), w(a B) = w(a) w(b)

10 Elementy logiki. Klasyczny rachunek zdań. 10 Przykład. A = p q p q, w(p) = 1, w(q) = 0. Obliczamy: w(a) = w(p q) w(p q) = (w(p) w(q)) (w(p) w(q) = = (1 0) (1 0) = 1 0 = 0 W praktyce zaczynamy od drugiego wiersza i pomijamy " ". W ten sposób możemy wyznaczyć wartość logiczną dowolnego zdania logicznie złożonego, jeżeli znane są wartości logiczne wszystkich składowych zdań logicznie prostych. Przykład. Zdanie: jeżeli nieprawda, że Poznań leży nad Wisłą, to jeżeli Poznań leży nad Wartą, to przez Poznań przepływa rzeka. p - Poznań leży nad Wisłą, q - Poznań leży nad Wartą, r - przez Poznań przepływa rzeka. Logiczny schemat zdania: A = p (q r). Wartościowanie: w(p) = 0, w(q) = w(r) = 1. Mamy w(a) = 0 (1 1) = 1 1 = 1. Zatem zdanie jest prawdziwe.

11 Elementy logiki. Klasyczny rachunek zdań. 11 Tablica prawdziwościowa formuły: A = p q p r. Oznaczmy: B = p q, C = p r. p q r q p B C A

12 Elementy logiki. Klasyczny rachunek zdań Tautologie KRZ, logiczna równoważność i logiczne wynikanie Definicja 2. Tautologią KRZ nazywamy formułę KRZ, która przyjmuje wartość logiczną 1 dla każdego wartosciowania zmiennych występujących w tej formule. Tautologie KRZ są logicznymi schematami zdań logicznie prawdziwych, tzn. prawdziwych na mocy samej logiki, niezależnie od wartości logicznych składowych zdań prostych. Przykład. Zdanie Poznań leży nad Wartą jest prawdziwe, ale nie jest logicznie prawdziwe. Jego schemat logiczny p nie jest tautologią. Zdanie jeżeli Poznań leży nad Wartą, to Poznań leży nad Wartą jest logicznie prawdziwe. Jego schemat logiczny p p jest tautologią. w(p) = 1. Wtedy w(p p) = 1 1 = 1. w(p) = 0. Wtedy w(p p) = 0 0 = 1.

13 Elementy logiki. Klasyczny rachunek zdań. 13 Definicja 3. Mówimy, że formuła A jest logicznie równoważna formule B (w KRZ), jeżeli dla każdego wartościowania w (zmiennych występujących w tych formułach) w(a) = w(b). Fakt 1. A jest logicznie równoważne B wtetdy i tylko wtedy, gdy formuła A B jest tautologią. Dowód. Oczywiście dla dowolnego wartościowania w: w(a) = w(b) wtw, gdy w(a B) = 1. Stąd wynika równoważność warunków: (L) dla każdego wartościowania w w(a) = w(b), (P) dla każdego wartościowania w w(a B) = 1, co kończy dowód faktu. Q.E.D.

14 Elementy logiki. Klasyczny rachunek zdań. 14 Prawa łączności koniunkcji, alternatywy i równoważności: (p q) r p (q r) (p q) r p (q r) [(p q) r] [p (q r)] Prawa przemienności koniunkcji, alternatywy i równoważności: p q q p p q q p (p q) (q p) Na mocy praw łączności możemy pomijać nawiasy w formułach p 1 p 2 p n oraz p 1 p 2 p n. Na mocy praw łączności i przemienności kolejność występowania zmiennych nie wpływa na wartość logiczną takich formuł. To samo można stwierdzić o formułach postaci A 1 A 2 A n i A 1 A 2 A n.

15 Elementy logiki. Klasyczny rachunek zdań. 15 Prawa idempotentności koniunkcji i alternatywy: p p p p p p Prawa rozdzielności koniunkcji względem alternatywy i alternatywy względem koniunkcji: p (q r) (p q) (p r) p (q r) (p q) (p r) Pierwsze prawo rozdzielności przypomina arytmetyczne prawo rozdzielności mnożenia względem dodawania: a (b + c) = a b + a c, lecz drugie prawo rozdzielności nie ma odpowiednika w arytmetyce. Prawa De Morgana: (p q) p q (p q) p q

16 Elementy logiki. Klasyczny rachunek zdań. 16 Prawo podwójnej negacji: p p Prawo transpozycji: (p q) ( q p) Prawo eksportacji-importacji: [p q r] [p (q r)] Prawo wyłączonego środka: p p Prawo sprzeczności: (p p) Prawa definiowania jednych spójników przez inne: (p q) (p q) (q p) (p q) p q p q ( p q) p q ( p q) Prawa z ustalonym argumentem: p 1 p, p 0 0, p 1 1, p 0 p (1 p) p, (0 p) 1, (p 1) 1, (p 0) p

17 Elementy logiki. Klasyczny rachunek zdań. 17 Definicja 4. Mówimy, że wartościowanie w spełnia formułę A, jeżeli w(a) = 1. Formułę nazywamy spełnialną, jeżeli istnieje wartościowanie, które spełnia tę formułę. Zbiór formuł nazywamy spełnialnym, jeżeli istnieje wartościowanie, które spełnia wszystkie formuły z tego zbioru (tzn. spełnia ten zbiór). Fakt 2. Formuła A jest spełnialna wtw, gdy formuła A nie jest tautologią. Formuła A jest tautologią wtw, gdy formuła A nie jest spełnialna. Definicja 5. Mówimy, że formuła A logicznie wynika ze zbioru formuł S (w KRZ), jeżeli każde wartościowanie spełniające zbiór S spełnia formułę A. Fakt 3. Formuła A logicznie wynika ze zbioru formuł S wtw, gdy zbiór S { A} nie jest spełnialny. Fakt 4. Formuła A logicznie wynika ze zbioru {A 1,..., A n } wtw, gdy formuła A 1 A n A jest tautologią.

18 Elementy logiki. Klasyczny rachunek zdań. 18 Prawo odrywania: (p q) p q Prawo odrzucania: (p q) q p Prawo sylogizmu hipotetycznego: (p q) (q r) (p r) Prawa symplifikacji: p q p, p q q Prawa addycji: p p q, q p q Logiczne wynikanie zapisujemy też w postaci schematów wnioskowania: A 1 ;... ; A n, A gdzie formuły A 1,..., A n nazywamy przesłankami, a formułę A wnioskiem. Schemat wnioskowania nazywamy logiczną regułą wnioskowania KRZ, jeżeli wniosek logicznie wynika z przesłanek (tzn. ze zbioru przesłanek).

19 Elementy logiki. Klasyczny rachunek zdań. 19 Reguła odrywania (nazwa łacińska: modus ponens) (MP) p q; p q p q p Reguła sylogizmu hipotetycznego: q (SYL) p q; q r p r p q q r p r

20 Elementy logiki. Klasyczny rachunek zdań. 20 Reguła odrzucania: p q; q p p q q p Reguła wprowadzania równoważności: p q; q p p q p q q p p q

21 Elementy logiki. Klasyczny rachunek zdań Podstawianie w KRZ Tautologie i logiczne reguły wnioskowania KRZ są zamknięte ze względu na podstawianie dowolnych formuł za zmienne zdaniowe. σ = [p 1 /A 1,..., p n /A n ] oznacza operację równoczesnego podstawiania formuły A i za zmienną p i dla i = 1,..., n. Taką operację nazywamy podstawieniem. Aσ oznacza wynik podstawienia σ w formule A. Przykład. (p p q)[p/q, q/q r] = q q (q r). UWAGA: Wykonując podstawienie Aσ, formułę A i podstawiamy za każde wystąpienie zmiennej p i w formule A, lecz nie za te wystąpienia, które pojawiają się w wyniku podstawiania (występują w formułach A j ). Dlatego A[p/B, q/c] jest na ogół różne od A[p/B][q/C]. (p p q)[p/q][q/q r] = (q q q)[q/q r] = q r q r q r

22 Elementy logiki. Klasyczny rachunek zdań. 22 Fakt 5. Jeżeli A jest tautologią KRZ, to dla każdego podstawienia σ formuła Aσ jest tautologią KRZ. Dowód. Niech σ = [p 1 /A 1,..., p n /A n ]. Niech A będzie tautologią. Niech w będzie dowolnym wartościowaniem zmiennych w Aσ. Określamy wartościowanie w zmiennych w A: w (p i ) = w(a i ) dla p i występujących w A, w (q) = w(q) dla pozostałych zmiennych w A. Oczywiście w(aσ) = w (A). Ponieważ A jest tautologią, więc w (A) = 1, czyli w(aσ) = 1. Zatem Aσ przyjmuje wartość 1 dla każdego wartościowania w. Q.E.D. Przykład. p q q p jest tautologią. Zatem tautologią jest każda formuła postaci A B B A, ponieważ powstaje z poprzedniej przez podstawienie [p/a, q/b].

23 Elementy logiki. Klasyczny rachunek zdań. 23 Fakt 6. Jeżeli A logicznie wynika ze zbioru {A 1,..., A n }, to dla każdego podstawienia σ formuła Aσ logicznie wynika ze zbioru {A 1 σ,..., A n σ}. Dowód. Zakładamy, że A logicznie wynika z {A 1,..., A n }. Niech σ będzie podstawieniem. Na mocy faktu 4, formuła A 1 A n A jest tautologią. Mamy: (A 1 A n A)σ = A 1 σ A n σ Aσ. Na mocy faktu 5, A 1 σ A n σ Aσ jest tautologią. Na mocy faktu 4, Aσ logicznie wynika ze zbioru {A 1 σ,..., A n σ}. Q.E.D. Przykład. Skoro MP jest logiczną regułą wnioskowania, to jest nią też każdy schemat: A B; A B

24 Elementy logiki. Klasyczny rachunek zdań Postacie normalne formuł KRZ Formuły p i p, gdzie p jest dowolną zmienną zdaniową, nazywamy literałami; p jest literałem pozytywnym, a p negatywnym. Literały p, p są przeciwne (jeden względem drugiego). Alternatywa elementarna (albo: klauzula) jest to alternatywa skończenie wielu literałów, np. p q r, q. Koniunkcja elementarna jest to koniunkcja skończenie wielu literałów, np. p q r, q. Formuła w koniunkcyjnej postaci normalnej (kpn) jest to koniunkcja skończenie wielu klauzul, np. (p q r) ( p r). Formuła w alternatywnej postaci normalnej (apn) jest to alternatywa skończenie wielu koniunkcji elementarnych, np. (p q r) ( p r). Twierdzenie 1. Każda formuła KRZ jest logicznie równoważna pewnej formule w kpn i pewnej formule w apn.

25 Elementy logiki. Klasyczny rachunek zdań. 25 Przykład. A = p q q r. p q r p q r q r A apn kpn p q r p q r p q r p q r p q r p q r p q r p q r apn: (p q r) (p q r) (p q r) ( p q r) ( p q r) ( p q r) kpn: ( p q r) (p q r)

26 Elementy logiki. Klasyczny rachunek zdań. 26 Przypadki szczególne: (1) w(a) = 0 dla każdego wartościowania w. Wtedy A jest logicznie równoważne formule p p, która jest w apn. (2) w(a) = 1 dla każdego wartościowania w. Wtedy A jest logicznie równoważne formule p p, która jest w kpn. Sprowadzanie do apn i kpn metodą przekształceń równoważnościowych. Podformuły danej formuły zastępujemy równoważnymi formułami, stosując następujące prawa (zastępujemy lewą stronę prawą stroną). A A (A B) (A B) (B A), (A B) A B (A B) A B, (A B) A B A (B C) (A B) (A C), (B C) A (B A) (C A) A (B C) (A B) (A C), (B C) A (B A) (C A)

27 Elementy logiki. Klasyczny rachunek zdań. 27 Przykład. Sprowadzamy formułę A = p q q r do kpn. [p q q r] [q r p q] [ (p q) (q r)] [ (q r) (p q)] [( p q) (q r)] [ q r p q] (negacyjna postać normalna) [( p q) q] [( p q) r] [ q r p q] ( p q) ( q q) ( p r) ( q r) ( q r p q) Sprowadzamy A do apn. Powtarzamy trzy pierwsze kroki i kontynuujemy. {[( p q) (q r)] q} {[( p q) (q r)] r} {[( p q) (q r)] p} {[( p q) (q r)] q} ( p q q) (q r q) ( p q r) (q r r) ( p q p) (q r p) ( p q q) (q r q)

28 Elementy logiki. Klasyczny rachunek zdań. 28 Twierdzenie 2. Formuła w kpn jest tautologią KRZ wtw, gdy w każdej składowej klauzuli występuje para przeciwnych literałów. Dowód. Twierdzenie wynika z dwóch faktów. (1) Formuła A 1 A 2 A n jest tautologią wtw, gdy każda formuła A i jest tautologią. (2) Klauzula jest tautologią wtw, gdy występuje w niej para przeciwnych literałów. (1) jest oczywiste. (2). Jeżeli w klauzuli występują przeciwne literały, to dla każdego wartościowania jeden z nich ma wartość 1, czyli cała klauzula ma wartość 1. Jeżeli w klauzuli nie występują przeciwne literały, to można znaleźć wartościowanie, dla którego wszystkie literały mają wartość 0, czyli cała klauzula ma wartość 0. Q.E.D. Przykład. C = p q r. Określamy w(p) = 0, w(q) = 1, w(r) = 0. Wtedy w(c) = 0.

29 Elementy logiki. Klasyczny rachunek zdań. 29 Twierdzenie 3. Formuła w apn nie jest spełnialna wtw, gdy w każdej składowej koniunkcji elementarnej występuje para przeciwnych literałów. Przykład. A = p (q r) (p q) r. Sprowadzamy A do kpn. [p (q r)] [(p q) r] [ p (q r)] [(p r) (q r)] [ p ( q r)] [(p r) (q r)] [( p q) ( p r)] [(p r) (q r)] ( p q p r) ( p q q r) ( p r p r) ( p r q r) Formuła A jest tautologią. Sprowadzamy A do apn. p ( q r) (p q) r Formuła A jest spełnialna.

30 Elementy logiki. Klasyczny rachunek zdań Formalne systemy dedukcyjne KRZ Przedstawimy system dedukcyjny KRZ w stylu Fregego-Hilberta. Niektóre tautologie KRZ przyjmujemy jako aksjomaty. Wszystkie pozostałe tautologie i wszystkie logiczne reguły wnioskowania KRZ można wyprowadzić z tych aksjomatów, posługując się dwiema regułami dowodzenia: regułą odrywania i regułą podstawiania. (MP) A B; A A, (SUB) B Aσ Te reguły przyjmujemy dla wszelkich formuł A, B i każdego podstawienia σ. Jeżeli przesłanki tych reguł są tautologiami, to wniosek jest tautologią. Aksjomaty implikacji (A1) p (q p) (prawo poprzednika) (A2) [p (q r)] [(p q) (p r)] (prawo Fregego)

31 Elementy logiki. Klasyczny rachunek zdań. 31 Aksjomat negacji (A3) ( q p) (p q) (odwrotne prawo transpozycji) Aksjomaty koniunkcji (A4) p q p, (A5) p q q (prawa symplifikacji) (A6) (p q) [(p r) (p q r)] (prawo mnożenia następników) Aksjomaty alternatywy (A7) p p q, (A8) q p q (prawa addycji) (A9) (p r) [(q r) (p q r)] (prawo dodawania poprzedników) Aksjomaty równoważności (A10) (p q) (p q), (A11) (p q) (q p) (A12) (p q) [(q p) (p q)]

32 Elementy logiki. Klasyczny rachunek zdań. 32 Dowód formalny można przedstawić jako skończony ciąg formuł, w którym każda formuła jest aksjomatem systemu lub wnioskiem z poprzednich formuł na mocy reguł dowodzenia systemu. Ostatnia formuła tego ciągu jest dowodzonym twierdzeniem. Twierdzenia systemów formalnych nazywamy też tezami. (T1) p p (prawo tożsamości) 1. [p (q r)] [(p q) (p r)] (A2) 2. [p (q p)] [(p q) (p p)] SUB 1 [r/p] 3. p (q p) (A1) 4. (p q) (p p) MP 2,3 5. (p (p p)) (p p) SUB 4 [q/p p] 6. p (p p) SUB 3 [q/p] 7. p p MP 5,6

33 Elementy logiki. Klasyczny rachunek zdań. 33 (T2) p q q p 1. (p q) [(p r) (p q r)] (A6) 2. (p q q) [(p q p) (p q q p)] SUB 1 [p/p q, r/p] 3. p q q (A5) 4. (p q p) (p q q p) MP 2,3 5. p q p (A4) 6. p q q p MP 4,5 (T2 ) q p p q 1. p q q p (T2) 2. q p p q SUB 1 [p/q, q/p] (T2 ) p q q p. W (A12) podstaw p/p q, q/q p. Potem zastosuj (T2), (T2 ) i dwa razy MP.

34 Elementy logiki. Klasyczny rachunek zdań. 34 W formalnych dowodach reguł przesłanki reguły grają rolę założeń dowodu. Istotnie ograniczamy stosowanie SUB: nie wolno podstawiać w założeniach, ani żadnych formułach, które od nich pochodzą. Zatem SUB wolno stosować tylko do aksjomatów oraz już udowodnionych tez i reguł systemu. 1. A B (założenie) 2. B C (założenie) (SYL) A B; B C A C 3. [A (B C)] [(A B) (A C)] (A2), SUB 4. (B C) [A (B C)] (A1), SUB 5. A (B C) MP 4,2 6. A C 2 MP 3,5,1

35 Elementy logiki. Klasyczny rachunek zdań. 35 Jeżeli przesłanki reguły (SYL) można udowodnić, to i wniosek można udowodnić: wystarczy skopiować powyższy dowód. Tak jest dla wszelkich reguł udowodnionych w systemie. Wobec tego, udowodnione reguły możemy stosować w następnych dowodach jako skróty; ich stosowanie nie zmienia siły systemu. (KOM) A (B C) B (A C) 1. A (B C) (założenie) (reguła komutacji) 2. [A (B C)] [(A B) (A C)] (A2), SUB 3. (A B) (A C) MP 2,1 4. B (A B) (A1), SUB 5. B (A C) SYL 4,3

36 Elementy logiki. Klasyczny rachunek zdań. 36 (T3) (p q) [(q r) (p r)] (prawo sylogizmu hipotetycznego) 1. [p (q r)] [(p q) (p r)] (A2) 2. (q r) [p (q r)] (A1), SUB 3. (q r) [(p q) (p r)] SYL 2,1 4. (p q) [(q r) (p r)] KOM 3 (T4) p (p q) (prawo Dunsa Szkota) 1. ( q p) (p q) (A3) 2. p ( q p) (A1), SUB 3. p (p q) SYL 2,1 Tezy tego systemu pokrywają się z tautologiami KRZ. Reguły dowodliwe w tym systemie pokrywają się z logicznymi regułami wnioskowania KRZ.

37 Elementy logiki. Klasyczny rachunek zdań. 37 Przedstawimy system sekwencyjny dowodzenia praw KRZ. W takich systemach procedura poszukiwania dowodu może być całkowicie zautomatyzowana. Sekwent: skończona lista formuł A 1,..., A n, interpretowana jako alternatywa A 1 A n. Aksjomaty: wszystkie sekwenty zawierające parę sprzecznych formuł A, A (w dowolnej kolejności). Reguły dowodzenia: (R ) (R ) X, A, Y; X, B, Y X, A B, Y X, A, Y X, A, Y (R ) X, A, B, Y X, (A B), Y

38 Elementy logiki. Klasyczny rachunek zdań. 38 (R ) (R ) X, A, B, Y X, A B, Y (R ) X, A, Y; X, B, Y X, (A B), Y X, A, B, Y X, A, Y; X, B, Y (R ) (R ) X, A B, Y X, (A B), Y X, A, B, Y; X, A, B, Y X, A, B, Y; X, A, B, Y (R ) X, A B, Y X (A B), Y W tych regułach litery X, Y oznaczają dowolne konteksty, czyli skończone listy formuł (mogą być puste). W przypadku reguły z jedną przesłanką wniosek jest logicznie równoważny tej przesłance; w przypadku reguły z dwiema przesłankami wniosek jest logicznie równoważny koniunkcji przesłanek (listy interpretujemy jako alternatywy).

39 Elementy logiki. Klasyczny rachunek zdań. 39 p, q, p p, q, p q, q, p q, q, p p, q p q, q p (p q), q p (p q) ( q p) p, p p, q p, p q (p q), p q p q p q q, p q, q q, p q Formuła w korzeniu drzewa jest logicznie równoważna koniunkcji wszystkich alternatyw elementarnych na liściach drzewa. Zatem nasz system może służyć do sprowadzania formuł do kpn. Z lewej strony: drzewo dowodu prawa (p q) ( q p). Z prawej strony: poszukiwanie dowodu formuły p q p q zakończyło się porażką, ponieważ dwa sekwenty elementarne na liściach drzewa nie są aksjomatami.

40 Elementy logiki. Klasyczny rachunek zdań Funkcje boolowskie Definicja 6. Niech n 1. Funkcję n argumentową, której argumenty i wartości są wartościami logicznymi 0,1, nazywamy n argumentową funkcją boolowską. Inne nazwy: funkcja logiczna, funkcja przełączająca. Funkcje boolowskie są stosowane w elektronice jako funkcje przetwarzania sygnałów (stanów). 1 to stan czynny (sygnał, prąd płynie), 0 to stan bierny (brak sygnału, prąd nie płynie). FB n oznacza zbiór wszystkich n argumentowych funkcji boolowskich. W tym podrozdziale zmienne x, y, z (z indeksami) reprezentują wartości logiczne. W n oznacza zbiór wszystkich wartościowań n zmiennych. W oznacza liczbę elementów skończonego zbioru W.

41 Elementy logiki. Klasyczny rachunek zdań. 41 Funkcje jednoargumentowe (n = 1). f 1 0 f 1 1 f 1 2 f 1 3 (x) = 0 funkcja zero (x) = x funkcja negacji x f 1 0 (x) f 1 1 (x) f 1 2 (x) f 1 3 (x) (x) = x funkcja identycznościowa (x) = 1 funkcja jeden Fakt 7. FB n = 2 (2n). Dowód. W n jest zbiorem wszystkich wartościowań zmiennych x 1,..., x n ; wartościowania można przedstawić jako ciągi binarne długości n. Stąd W n = 2 n. Funkcje z FB n można przedstawić jako ciągi binarne długości 2 n, co daje powyższą równość. Q.E.D.

42 Elementy logiki. Klasyczny rachunek zdań. 42 Zatem FB 1 = 4, FB 2 = 16, FB 3 = 256. Wypiszemy funkcje dwuargumentowe (n = 2). x y f 2 0 f 2 1 f 2 2 f 2 3 f 2 4 f 2 5 f 2 6 f x y f 2 8 f 2 9 f 2 10 f 2 11 f 2 12 f 2 13 f 2 14 f

43 Elementy logiki. Klasyczny rachunek zdań. 43 f 2 8 f 2 9 (x, y) = x y funkcja koniunkcji (x, y) = x y funkcja równoważności f 2 11 (x, y) = x y funkcja implikacji f 2 14 (x, y) = x y funkcja alternatywy UWAGA: W elektronice stosuje się notację x y albo xy zamiast x y, x + y zamiast x y i x lub x zamiast x. Wyrażenie (x y z) ( x y z) zapisujemy xy z + x yz. Będziemy stosować tylko notację logiczną. Fakt 8. Każdą funkcję boolowską można przedstawić jako wyrażenie w apn i jako wyrażenie w kpn. Dowód. Tak jest, ponieważ do funkcji boolowskich możemy zastosować poznaną wcześniej metodę wyznaczania apn i kpn za pomocą tablicy. Q.E.D.

44 Elementy logiki. Klasyczny rachunek zdań. 44 Przedstawiamy w ten sposób cztery pierwsze funkcje dwuargumentowe. f 2 0 f 2 1 f 2 2 f 2 3 (x, y) = x x = ( x y) ( x y) (x y) (x y) (x, y) = x y = ( x y) ( x y) (x y) (x, y) = x y = ( x y) ( x y) (x y) (x, y) = ( x y) ( x y) = ( x y) ( x y) Wyrażenie w apn dla f 2 3 (x, y) można uprościć, stosując prawa algebry logiki: x (y z) = (x y) (x z), x x = 1, x 1 = x f 2 3 (x, y) = x (y y) = x 1 = x

45 Elementy logiki. Klasyczny rachunek zdań. 45 Dla niewielkiej liczby zmiennych tę metodę upraszczania apn można wykonywać graficznie, posługując się tablicami Karnaugha. Tablica Karnaugha dla dwóch zmiennych. f y y x x y x y x x y x y f 2 3 y y x 0 0 x 1 1 Odczyt: f 2 3 (x, y) = x Sąsiednie pola tablicy odpowiadają koniunkcjom elementarnym, które różnią się jednym literałem: w jednej z nich ten literał wystepuje pozytywnie, a w drugiej negatywnie. Alternatywa tych koniunkcji redukuje się do koniunkcji pozostałych literałów.

46 Elementy logiki. Klasyczny rachunek zdań. 46 Funkcja: f (x, y, z) = (x y) ( x z) ( y z) Tablica Karnaugha dla trzech zmiennych; podwójne linie są sklejone, czyli tablica ma kształt pierścienia. Odczyt: f (x, y, z) = (x y) z f y y y y x x z z z z Dalsze informacje o tablicach Karnaugha można znaleźć w podręczniku: J. Jaworski, Z. Palka i J. Szymański, Matematyka dyskretna dla informatyków. I. Elementy kombinatoryki. Wydawnictwo Naukowe UAM, Poznań, 2007.

47 Elementy logiki. Klasyczny rachunek zdań. 47 Definicja 7. Niech f będzie n argumentową funkcją boolowską, a F zbiorem funkcji boolowskich. Mówimy, że funkcja f jest przedstawialna przez funkcje ze zbioru F, jeżeli istnieje wyrażenie E(x 1,..., x n ) zbudowane z symboli funkcji ze zbioru F i zmiennych x 1,..., x n (niekoniecznie wszystkich) i takie, że równość f (x 1,..., x n ) = E(x 1,..., x n ) jest prawdziwa dla wszystkich wartościowań zmiennych (czyli jest tożsamością w algebrze logiki). Definicja 8. Zbiór funkcji boolowskich F nazywamy zupełnym, jeżeli każda funkcja boolowska jest przedstawialna przez funkcje ze zbioru F. Zbiór {,, } jest zupełny. Można ograniczyć się do dwóch funkcji. Fakt 9. Zbiory {, }, {, } i {, } są zupełne.

48 Elementy logiki. Klasyczny rachunek zdań. 48 Zbiór {, } jest zupełny, ponieważ dowolną funkcję boolowską można przedstawić w kpn, a następnie wyeliminować alternatywę, stosując prawa: x 1 x k = ( x 1 x k ) Zbiór {, } jest zupełny, ponieważ każdą funkcję boolowską możemy przedstawić w apn, a następnie wyeliminować koniunkcję, stosując prawa: x 1 x k = ( x 1 x k ) Przykład. f (x, y) = x y = (x y) ( x y) (apn). Stąd f (x, y) = ( x y) (x y). Także f (x, y) = ( x y) ( y x) (kpn). Stąd f (x, y) = (x y) (y x).

49 Elementy logiki. Klasyczny rachunek zdań. 49 Wykażemy zupełność zbioru {, }. Z tożsamości x y = x y otrzymujemy x y = x y (podstawiamy x/ x, usuwamy podwójną negację i przestawiamy strony tożsamości). Każdą funkcję boolowską można przedstawić przez funkcje,. W takim wyrażeniu eliminujemy kolejno wszystkie wystąpienia, posługując się powyższą definicją przez,. Przykład. f (x, y, z) = x y z. Przedstawiamy tę funkcję przez, i eliminujemy. f (x, y, z) = x (y z) = x ( y z) = x ( y z) = x (y z) Definicja 9. Mówimy, że funkcja boolowska zachowuje 1 (odp. 0), jeżeli przyjmuje wartość 1 (odp. 0) dla wartościowania, które przypisuje 1 (odp. 0) każdej zmiennej.

50 Elementy logiki. Klasyczny rachunek zdań. 50 Przykład. Funkcje,,, zachowują 1, ponieważ 1 1 = 1, 1 1 = 1 itd. Funkcje, zachowują 0, ale funkcje, nie zachowują 0. Funkcja nie zachowuje ani 1, ani 0. Fakt 10. Jeżeli wszystkie funkcje ze zbioru F zachowują 1 (odp. 0), to każda funkcja przedstawialna przez funkcje ze zbioru F zachowuje 1 (odp. 0). Dowód. Każdą funkcję przedstawialną przez funkcje z F możemy otrzymać z funkcji z F i funkcji rzutowania g(x 1,..., x n ) = x i stosując wielokrotnie operację złożenia funkcji: h(x 1,..., x n ) = f (g 1 (x 1,..., x n ),..., g k (x 1,..., x n )) Operacja złożenia prowadzi od funkcji f, g 1,..., g k zachowujących 1 (odp. 0) do funkcji h zachowującej 1 (odp. 0). Funkcje rzutowania zachowują 1 (odp. 0). Zatem, jeżeli każda funkcja z F zachowuje 1 (odp. 0), to każda funkcja otrzymana w ten sposób też zachowuje 1 (odp. 0). Q.E.D.

51 Elementy logiki. Klasyczny rachunek zdań. 51 Wniosek. Żaden zbiór funkcji zachowujących 1 (odp. 0) nie jest zupełny. Na przykład, zbiory {, }, {, } nie są zupełne. Istnieją dwie funkcje f FB 2 takie, że zbiór { f } jest zupełny. x y = (x y) = x y, x y = (x y) = x y Funkcję nazywamy strzałką Sheffera lub funkcją NAND, a funkcję binegacją lub funkcją NOR. Mamy: x = (x x) = x x i x y = (x y) = (x y) (x y). Ponieważ każdą funkcję boolowską można przedstawić przez,, więc każdą funkcję boolowską można przedstawić przez. Dla postępujemy podobnie (ćwiczenie). Przykład. f (x, y, z) = x y z. Przedstawiamy f przez, : f (x, y, z) = (x y z). f (x, y, z) = (x y) z = ((x y) (x y)) (z z).