Logika. Zadania z tematu 9. Klasyczny rachunek predykatów część II Zadanie 1.Wykazać, że podana formuÅ‚a nie jest tautologiÄ… ani kontrtautologiÄ…: a) "x ( P(x) '" Q(x) ), b) "x"y R(x,y), c) "x"y (R(x,y) (" R(y,x) ), d) "x"y (R(x,y) Ò! ~ R(y,x) ), e) "x"y R(x,y) Ò! "x R(x,x), f) [ "x P(x) '" "x Q(x) ]Ò! "x [ P(x) '" Q(x) ], g) [ "x P(x) Ò! "x Q(x) ] Ò! "x [ P(x) Ò! Q(x) ], h) "x"y R(x,y) Ò! "x R(x,x), i) "x R(x,x) Ò! "x"y R(x,y), j) "x"y (R(x,y) Ò! R(y,x) ) Ò! "x R(x,x), k) "x [ "y R(x,y) Ò! P(x) ], l) "x"y"z [ (R(x,y) '" R(y,z) ) Ò! R(x,z) ]. Zadanie 2. Wykazać, że reguÅ‚a nie jest dedukcyjna: "x P(x) "x [P(x) Ò! Q(x)] "x <" [P(x) '" Q(x)] a) , b) , c) ~, "x P(x) "x [<" P(x) Ò!<" Q(x)] "x <" P(x) "x R(x, x) "x"y [ R(x, y) Ò! R(y, x)] d) , e) . "x"y R(x, y) "x R(x, x) Odpowiedzi Zadanie 1. W każdym z rozwiÄ…zaÅ„ U1 stanowi kontrmodel formuÅ‚y, tzn. takÄ… interpretacjÄ™, przy której formuÅ‚a staje siÄ™ zdaniem faÅ‚szywym, a U2 - model, czyli takÄ… interpretacjÄ™, która formule nadaje postać zdania prawdziwego. a) U1 = U zbiór liczb, R(x, y) x jest małżonkiem y . Jeżeli dla każdych dwóch ludzi jest tak, że jeden jest małżonkiem drugiego, to drugi jest małżonkiem pierwszego, to istnieje ktoÅ›, kto jest swoim wÅ‚asnym małżonkiem. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x ma tyle samo lat co y . Jeżeli dla każdych dwóch ludzi jest tak, że jeden ma tyle samo lat co drugi, to drugi ma tyle samo lat co pierwszy, to istnieje ktoÅ›, kto ma tyle samo lat, co on sam. (prawda) b) U1 = U zbiór liczb, , P(x) x jest parzyste, Q(x) x jest nieparzyste . Istnieje liczba bÄ™dÄ…ca jednoczeÅ›nie parzysta i nieparzysta. (faÅ‚sz) U2 = U zbiór ludzi, P(x) x jest kobietÄ…, Q(x) x ma 20 lat . Istnieje kobieta majÄ…ca 20 lat. (prawda) c) U1 = U zbiór ludzi, R(x, y) x jest rodzicem y . Każdy czÅ‚owiek jest czyimÅ› rodzicem. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest dzieckiem y . Każdy czÅ‚owiek jest czyimÅ› dzieckiem. (prawda) d) U1 = U zbiór ludzi, R(x, y) x kocha y Dla każdych dwóch ludzi jest tak, że jeden kocha drugiego lub drugi pierwszego. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest nie niższy od y Dla każdych dwóch ludzi jest tak, że jeden jest nie niższy od drugiego lub drugi od pierwszego. (prawda) e) U1 = U zbiór ludzi, R(x, y) x kocha y Dla każdych dwóch ludzi jest tak, że jeÅ›li jeden kocha drugiego, to drugi nie kocha pierwszego. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest starszy od y Dla każdych dwóch ludzi jest tak, że jeÅ›li jeden jest starszy od drugiego, to drugi nie jest starszy od pierwszego. (prawda) f) U1 = U zbiór ludzi, R(x, y) x jest starszy od y Jeżeli istnieje dwoje ludzi, takich że jeden jest starszy od drugiego, to istnieje ktoÅ›, kto jest starszy od samego siebie. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest w tym samym wieku co y Jeżeli istnieje dwoje ludzi, takich że jeden jest w tym samym wieku co drugi, to istnieje ktoÅ›, kto jest w tym samym wieku, co on sam. (prawda) Logika. Zadania z tematu 9. 2 g) U1 = U zbiór ludzi, P(x) x ma 20 lat, Q(x) x ma 35 lat . JeÅ›li istnieje ktoÅ›, kto ma 20 lat i istnieje ktoÅ›, kto ma 35 lat, to istnieje ktoÅ›, kto ma jednoczeÅ›nie 20 lat i 35 lat. (faÅ‚sz) U2 = U zbiór ludzi, P(x) x urodziÅ‚ siÄ™ w lipcu, Q(x) x ma 20 lat . JeÅ›li istnieje ktoÅ›, kto urodziÅ‚ siÄ™ w lipcu i istnieje ktoÅ›, kto ma 20 lat, to istnieje ktoÅ›, kto urodziÅ‚ siÄ™ w lipcu i ma jednoczeÅ›nie 20 lat. (prawda) h) U1 = U zbiór ludzi, P(x) x jest kobietÄ…, Q(x) x jest nauczycielem . JeÅ›li jest tak, że jeÅ›li każdy czÅ‚owiek jest kobietÄ…, to każdy czÅ‚owiek jest nauczycielem, to każda kobieta jest nauczycielem. (faÅ‚sz) U2 = U zbiór liczb, P(x) x jest podzielne przez 4, Q(x) x jest parzyste . JeÅ›li jest tak, że jeÅ›li każda liczba jest podzielna przez 4, to każda liczba jest parzysta, to każda liczba podzielna przez 4 jest parzysta. (prawda) i) U1 = U zbiór liczb, R(x, y) x jest mniejsza niż y . JeÅ›li każda liczba jest mniejsza od jakiejÅ› liczby, to istnieje liczba mniejsza od siebie samej. (faÅ‚sz) U2 = U zbiór liczb, R(x, y) x jest mniejsza lub równa y . JeÅ›li każda liczba jest mniejsza lub równa w stosunku do jakiejÅ› liczby, to istnieje liczba mniejsza lub równa w stosunku do siebie samej. (prawda) j) U1 = U zbiór liczb, R(x, y) x jest równa y . JeÅ›li istnieje liczba równa sobie samej, to każde dwie liczby sÄ… sobie równe. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest starszy od y . JeÅ›li istnieje ktoÅ›, kto jest starszy od samego siebie, to dla każdych dwóch ludzi jeden jest starszy od drugiego. (prawda) k) U1 = U zbiór ludzi, R(x, y) x jest małżonkiem y . Jeżeli dla każdych dwóch ludzi jest tak, że jeden jest małżonkiem drugiego, to drugi jest małżonkiem pierwszego, to istnieje ktoÅ›, kto jest swoim wÅ‚asnym małżonkiem. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x ma tyle samo lat co y . Jeżeli dla każdych dwóch ludzi jest tak, że jeden ma tyle samo lat co drugi, to drugi ma tyle samo lat co pierwszy, to istnieje ktoÅ›, kto ma tyle samo lat, co on sam. (prawda) l) U1 = U zbiór ludzi, R(x, y) x jest małżonkiem y, P(x) x jest mężczyznÄ… . Każdy czÅ‚owiek, który ma rówieÅ›nika, jest mężczyznÄ…. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest matkÄ… y, P(x) x jest kobietÄ… . Każdy czÅ‚owiek, który jest czyjÄ…Å› matkÄ…, jest kobietÄ…. (prawda) m) U1 = U zbiór ludzi, R(x, y) x kocha y . Dla każdych trzech ludzi jest tak, że jeÅ›li pierwszy kocha drugiego, drugi trzeciego, to pierwszy kocha trzeciego. (faÅ‚sz) U2 = U zbiór ludzi, R(x, y) x jest starszy od y . Dla każdych trzech ludzi jest tak, że jeÅ›li pierwszy jest starszy od drugiego, a drugi od trzeciego, to pierwszy jest starszy od trzeciego. (prawda) Zadanie 2. W każdym przypadku należy znalezć strukturÄ™, w której przesÅ‚anka jest prawdziwa, a wniosek faÅ‚szywy. a) U = U zbiór ludzi, P(x) x jest kobietÄ… . PrzesÅ‚anka: Niektórzy ludzie sÄ… kobietami. (prawda) Wniosek: Każdy czÅ‚owiek jest kobietÄ…. (faÅ‚sz) b) U = U zbiór liczb, P(x) x jest podzielna przez 4, Q(x) x jest parzyste . PrzesÅ‚anka: Każda liczba podzielna przez 4 jest parzysta. (prawda) Wniosek: Każda liczba, która nie jest podzielna przez 4, nie jest parzysta. (faÅ‚sz) c) U = U zbiór liczb, P(x) x jest parzyste, Q(x) x jest nieparzyste . PrzesÅ‚anka: Å»adna liczba nie jest jednoczeÅ›nie parzysta i nieparzysta. (prawda) Wniosek: Å»adna liczba nie jest parzysta. (faÅ‚sz) d) U = U zbiór ludzi, R(x, y) x ma tyle samo lat co y . PrzesÅ‚anka: Każdy czÅ‚owiek ma tyle samo lat co on sam. (prawda) Wniosek: Każdych dwoje ludzi ma tyle samo lat. (faÅ‚sz) e) U = U zbiór mężczyzn, R(x, y) x jest bratem y . PrzesÅ‚anka: Dla każdych dwóch mężczyzn, jeÅ›li jeden jest bratem drugiego, to drugi jest bratem pierwszego (prawda) Wniosek: Każdy mężczyzna jest swoim wÅ‚asnym bratem (faÅ‚sz)