ROZWIĄZANIA ĆWICZEŃ. Niektórzy mężczyźni są feministami. Kinga Dunin jest feministką. Kinga Dunin jest mężczyzną.

Wielkość: px
Rozpocząć pokaz od strony:

Download "ROZWIĄZANIA ĆWICZEŃ. Niektórzy mężczyźni są feministami. Kinga Dunin jest feministką. Kinga Dunin jest mężczyzną."

Transkrypt

1 ROZWIĄZANIA ĆWICZEŃ ROZDZIAŁ. WPROWADZENIE Ćwiczenie.A Wniosek musi być prawdziwy. Wartość logiczna wniosku nie jest wówczas zdeterminowana może on być fałszywy, lecz może on być też prawdziwy. Oto przykłady wnioskowań logicznie nieprawidłowych, w których przynajmniej jedna przesłanka jest fałszywa: Niektórzy mężczyźni są feministami. Janusz Korwin-Mikke jest feministą. Janusz Korwin-Mikke jest mężczyzną. Niektórzy mężczyźni są feministami. Kinga Dunin jest feministką. Kinga Dunin jest mężczyzną. W pierwszym przypadku wniosek jest prawdziwy, w drugim fałszywy. Nie. Nie. (e) Przesłanka, na której opiera się to wnioskowanie, musi być fałszywa. Załóżmy na chwilę wbrew temu, co chcemy wykazać że przesłanka ta jest prawdziwa. Gdyby tak było, to ponieważ wnioskowanie jest prawidłowe wniosek musiałby być prawdziwy! Wniosek jest jednakże fałszywy. To znaczy, że przesłanka nie może być prawdziwa, lecz musi być fałszywa. Ćwiczenie.B Czy Roman Giertych rozgotował kalafior? pytanie Nie ma takiej siły, która mogłaby go powstrzymać. wyrażenie okazjonalne Był tam Leszek Miller. wyrażenie okazjonalne Jego przyjaciele rozeszli się po lesie. wyrażenie okazjonalne (e) Jan Maria Rokita podstępnie podkradł się do mojej spiżarni. wyrażenie okazjonalne (f) Czy Andrzej Lepper przylepił się do słoika z miodem? pytanie (g) Co by to było, gdyby dzieci wiedziały więcej od polityków?! pytanie retoryczne W każdym z tych zdań używamy nieostrych pojęć naturalnych. Katarzyna Paprzycka Logika nie gryzie. Część I: Samouczek logiki zdań.

2 Rozwiązania ćwiczeń do rozdziału 2 3 ROZDZIAŁ 2. PIĘĆ SPÓJNIKÓW ZDANIOWYCH Ćwiczenie 2.A parafraza zdań złożonych (e) Janosik i Pyzdra odbierali dobra bogatym. Janosik odbierał dobra bogatym i Pyzdra odbierał dobra bogatym. Giertych wprowadzi reformę mundurków szkolnych lub oświaty. Giertych wprowadzi reformę mundurków szkolnych lub Giertych wprowadzi reformę oświaty Rząd Kaczyńskiego zajmie się reformę zdrowia, jeżeli upora się z lustracją. Jeżeli rząd Kaczyńskiego upora się z lustracją, to rząd Kaczyńskiego zajmie się reformą zdrowia. Lepper albo brał łapówki, albo jest o to podejrzewany. Albo Lepper brał łapówki, albo Lepper jest podejrzewany o branie łapówek. Ksiądz Rydzyk przeprosił za skandaliczne wypowiedzi i nie wypowiedział słowa przepraszam. Ksiądz Rydzyk przeprosił za skandaliczne wypowiedzi i nieprawda, że ksiądz Rydzyk wypowiedział słowo przepraszam. Ćwiczenie 2.B zdania proste i złożone W zdaniach złożonych zaznaczono spójniki zdaniowe. (e) (f) (g) (h) Tomasz jest kulturalnym mężczyzną, mającym awersję do kobiet w dużych kapeluszach. Tomasz zaprosił Zuzannę do kina. Jeżeli Zuzanna nie przyjdzie o umówionej porze, to Tomasz będzie zrozpaczony. Zuzanna przyszła na czas. Tomasz nie wierzył własnym oczom. Zuzanna włożyła największy kapelusz, jaki Tomasz widział w całym swoim życiu bogatym w doświadczenia z kobietami w dużych kapeluszach. Tomasz prosił Zuzannę by zdjęła tę okropność. Zuzanna zgodziła się nawet pozbyć się kapelusza wtedy i tylko wtedy, gdy Tomasz pozbędzie się butów kowbojskich lub przynajmniej nie będzie ich wkładał na wspólne spotkania. Ćwiczenie 2.C legenda symbolizacji Tomasz zaprosił Zuzannę do kina. Jeżeli Zuzanna przyjmie zaproszenie Tomasza, to włoży ona duży kapelusz. Zuzanna włoży duży kapelusz wtedy i tylko wtedy, gdy zechce dać Tomaszowi nauczkę. Jeżeli Zuzanna zechce dać Tomaszowi nauczkę, to on nie zaprosi jej do kina. Legenda symbolizacji K : Tomasz zaprosi Zuzannę do kina. P : Zuzanna przyjmie zaproszenie Tomasza. W : Zuzanna włoży duży kapelusz. N : Zuzanna zechce dać Tomaszowi nauczkę.

3 Rozwiązania ćwiczeń do rozdziału 2 32 Jeżeli Anna umówi się z Jackiem, to Beata umówi się z Grzegorzem. Jeżeli Beata umówi się z Grzegorzem, to Anna umówi się z Jackiem. Albo Cecylia albo Danuta umówi się z Hilarym. Jeżeli Cecylia umówi się z Hilarym, to Anna nie umówi się z Jackiem; jeżeli Danuta umówi się z Hilarym, to Beata nie umówi się z Grzegorzem. Legenda symbolizacji A : Anna umówi się z Jackiem. B : Beata umówi się z Grzegorzem. C : Cecylia umówi się z Hilarym. D : Danuta umówi się z Hilarym. Ćwiczenie 2.D negacje N: Alicja pójdzie do nieba. P: Bogdan pójdzie do piekła. ~N Alicja nie pójdzie do nieba. ~~N Nieprawdą jest, że Alicja nie pójdzie do nieba. ~~P Nieprawda, że Bogdan nie pójdzie do piekła. ~~~P Fałszem jest twierdzenie, że nieprawdą jest, iż Bogdan nie pójdzie do piekła. Ćwiczenie 2.E negacje 2 A: Alicja zrobi obiad B: Bogdan zrobi obiad. Alicja nie zrobi obiadu. ~A Byłoby fałszem powiedzieć, że Bogdan zrobi obiad. ~B Byłoby kłamstwem powiedzieć, że Alicja nie zrobi obiadu. ~~A Absurdalne jest przekonanie, że Bogdan zrobi obiad. ~B (e) Kłamałabym mówiąc, że fałszem jest to, iż Bogdan nie zrobi obiadu. ~~~B (f) Nie kłamałabym mówiąc, że nieprawdą jest, iż Alicja nie zrobi obiadu. ~~~~A Ćwiczenie 2.F koniunkcje A: Alicja pójdzie do nieba. B: Bolek pójdzie do nieba. C: Cezary pójdzie do piekła. A B Alicja i Bolek pójdą do nieba. A C Alicja pójdzie do nieba, a* Cezary do piekła. B C Bolek pójdzie do nieba, lecz* Cezary do piekła. (A B) C Alicja i Bolek pójdą do nieba, natomiast* Cezary do piekła. (e) A ~B Alicja pójdzie do nieba, ale* Bolek do nieba nie pójdzie. (f) ~A B Alicja nie pójdzie do nieba, choć* Bolek pójdzie do nieba. * Język polski częściowo wymusza na nas użycie pewnych spójników koniunkcji, ale w dużej mierze pozostawia ich wybór kwestią otwartą. Który ze spójników będzie użyty, zależy od wielu czynników badanych np. przez językoznawców. Powyższe zdania są zatem tylko niektórymi z możliwych sposobów odczytania tych zdań.

4 Rozwiązania ćwiczeń do rozdziału 2 33 Ćwiczenie 2.G koniunkcje 2 A: Alicja zrobi obiad B: Bogdan zrobi obiad. C: Cezary zrobi kolację. Alicja i Bogdan zrobią obiad. A B Alicja zrobi obiad, choć Cezary nie zrobi kolacji. A ~C Bogdan nie zrobi obiadu, mimo że Alicja też obiadu nie zrobi. ~B ~A Alicja zrobi obiad, a Cezary zrobi kolację. A C (g) Chociaż Cezary nie zrobi kolacji, Bogdan zrobi obiad. ~C B (h) Bogdan nie zrobi obiadu, a co więcej Cezary nie zrobi kolacji. ~B ~C (i) Alicja i Bogdan zrobią obiad, ale Cezary nie zrobi kolacji. (A B) ~C (j) Zarówno Alicja, jak i Bogdan z ochotą zrobią obiad. A B (k) Cezary nie kiwnie nawet palcem, by zrobić kolację, a Bogdan by zrobić obiad. ~C ~B (l) Próżno oczekiwać, by Alicja zrobiła obiad, ale przynajmniej Cezary zrobi kolację. ~A C Ćwiczenie 2.H alternatywy A: Ala odkurzy dom. B: Boguś odkurzy dom. C: Czesia zrobi kolację. D: Damian umyje naczynia. K: Boguś zrobi kolację. N: Boguś umyje naczynia. D N Damian lub Boguś umyją naczynia. A B Ala bądź Boguś odkurzą dom. B C Boguś odkurzy dom albo Czesia zrobi kolację. K N Boguś zrobi kolację albo umyje naczynia. (e) D ~K Albo Damian umyje naczynia, albo Boguś nie zrobi kolacji. (f) ~B C Albo Boguś nie odkurzy domu, albo Czesia zrobi kolację. (g) (C D) (K N) (h) (C N) (K D) (i) (A B) (K N) Albo Czesia zrobi kolację, a Damian umyje naczynia, albo Boguś zrobi kolację i zarazem umyje naczynia. Albo Czesia zrobi kolację, a Boguś umyje naczynia, albo Boguś zrobi kolację, a Damian umyje naczynia. Albo Ala lub Boguś odkurzą dom, albo Boguś zrobi kolację bądź umyje naczynia.

5 Rozwiązania ćwiczeń do rozdziału 2 34 Ćwiczenie 2.I alternatywy 2 A: Ala zda logikę. B: Boguś zda logikę. C: Czesia zda prawo karne. D: Damian zda prawo karne. K: Boguś zda prawo karne. M: Ala zda matematykę. Ala bądź Boguś zdali logikę. A B Prawo karne zdali Czesia lub Damian. C D Boguś zdał logikę lub prawo karne. B K Ala zdała logikę bądź matematykę. A M (e) Albo Ala zda logikę, albo Damian nie zda prawa karnego. A ~D (f) Albo Boguś nie zda logiki, albo nie zda prawa karnego. ~B ~K (g) Albo Czesia zda prawo karne, albo Damian lub Boguś zdadzą prawo karne. C (D K) (h) Albo Ala i Boguś zdadzą logikę, albo Czesia i Damian zdadzą prawo karne. (A B) (C D) (i) Albo Ala zda logikę lub matematykę, albo Boguś zda logikę lub prawo karne. (A M) (B K) (j) Albo Ala zda logikę, a Damian zda prawo karne, albo Boguś nie zda logiki. (A D) ~B Ćwiczenie 2.J równoważności A: Ala odkurzy dom. B: Boguś odkurzy dom. C: Czesia zrobi kolację. D: Damian umyje naczynia. K: Boguś zrobi kolację. N: Boguś umyje naczynia. D K Damian umyje naczynia wtedy i tylko wtedy, gdy Boguś zrobi kolację. A D Ale odkurza dom zawsze i tylko wtedy, gdy Damian myje naczynia. B C Boguś odkurzy dom dokładnie wówczas, gdy Czesia zrobi kolację. K N Boguś zrobi kolację wtedy, ale tylko wtedy, gdy umyje też naczynia. (e) D ~K Damian umyje naczynia wtedy, ale tylko wtedy, gdy Boguś nie zrobi kolacji. (f) B ~C Boguś odkurzy dom wtedy i tylko wtedy, gdy Czesia nie zrobi kolacji. (g) C (B N) Czesia zrobi kolację wtedy, ale tylko wtedy, gdy Boguś odkurzy dom i umyje naczynia. (h) (A B) (C K) Ala lub Boguś odkurzą dom wtedy i tylko wtedy, gdy Czesia lub Boguś zrobią kolację. Ćwiczenie 2.K równoważności 2 A: Ala zda logikę. B: Boguś zda logikę. C: Czesia zda prawo karne. D: Damian zda prawo karne. K: Boguś zda prawo karne. M: Ala zda matematykę. Ala zda logikę wtedy i tylko wtedy, gdy Boguś zda logikę. A B Czesia zda prawo karne wtedy, ale tylko wtedy, gdy Ala zda logikę. C A Damian zda prawo karne wtedy i tylko wtedy, gdy Boguś nie zda logiki. D ~B Boguś zda logikę dokładnie wtedy, gdy Ala nie zda logiki. B ~A (e) Czesia zda prawo karne dokładnie wtedy, gdy Damian i Boguś je zdadzą. C (D K) (f) Ala zda logikę bądź matematykę wtedy i tylko wtedy, gdy Boguś zda logikę. (A M) B

6 Rozwiązania ćwiczeń do rozdziału 2 35 Ćwiczenie 2.L implikacje A: Ala odkurzy dom. B: Boguś odkurzy dom. C: Czesia zrobi kolację. D: Damian umyje naczynia. K: Boguś zrobi kolację. N: Boguś umyje naczynia. D K Jeżeli Damian umyje naczynia, to Boguś zrobi kolację. K D Damian umyje naczynia, jeżeli Boguś zrobi kolację. B C Czesia zrobi kolację pod warunkiem, że Boguś odkurzy dom. K N Jeżeli Boguś zrobi kolację, to umyje też naczynia. (e) A ~B O ile Ala odkurzy dom, to Boguś tego nie zrobi. (f) ~D N Jeżeli Damian nie umyje naczyń, to umyje je Boguś. (g) ~B ~C Czesia nie zrobi kolacji, jeżeli Boguś nie odkurzy domu. (h) C (A B) Jeżeli Czesia zrobi kolację, to Ala lub Boguś odkurzą dom. (i) (A B) (D N) Damian bądź Boguś umyją naczynia, jeżeli Ala albo Boguś odkurzą dom. (j) (C K) D Damian umyje naczynia, o ile Czesia lub Boguś zrobią kolację. (k) A (K N) Jeżeli Ala odkurzy dom, to Boguś zrobi kolację i umyje naczynia. (l) (A C) N Jeżeli Ala odkurzy dom, a Czesia zrobi kolację, to Boguś umyje naczynia. (m) (C D) (A B) (n) A (C N) (o) (C N) A O ile Czesia zrobi kolację, a Damian umyje naczynia, to Ala albo Boguś odkurzą dom. Jeżeli Ala odkurzy dom, to jeśli Czesia zrobi kolację, to Boguś umyje naczynia. Jeżeli Ala odkurzy dom, to Boguś umyje naczynia, o ile Czesia zrobi kolację. Jeżeli jeśli Czesia zrobi kolację, to Boguś umyje naczynia, to Ala odkurzy dom. Jeżeli Boguś umyje naczynia pod warunkiem, że Czesia zrobi kolację, to Ala odkurzy dom.

7 Rozwiązania ćwiczeń do rozdziału 2 36 Ćwiczenie 2.M implikacje 2 A: Ala zrobi kolację. B: Boguś zrobi kolację. C: Cezary zrobi obiad. D: Danusia zrobi obiad. Jeżeli Danusia zrobi obiad, to Boguś zrobi kolację. D B Jeżeli Danusia zrobi obiad, to Cezary nie zrobi obiadu. D ~C (e) (f) (g) (h) (i) (j) Cezary zrobi obiad, jeśli Boguś zrobi kolację. Jeżeli Boguś zrobi kolację, to Cezary zrobi obiad. Cezary zrobi obiad, jeśli Danusia nie zrobi obiadu. Jeżeli Danusia nie zrobi obiadu, to Cezary zrobi obiad. Przyjmując, że Boguś zrobi kolację, to Danusia zrobi obiad. Jeżeli Boguś zrobi kolację, to Danusia zrobi obiad. Danusia zrobi obiad pod warunkiem, że Ala zrobi kolację. Jeżeli Ala zrobi kolację, to Danusia zrobi obiad. O ile Ala zrobi kolację, to Cezary zrobi obiad. Jeżeli Ala zrobi kolację, to Cezary zrobi obiad. Cezary nie zrobi obiadu, jeżeli Boguś nie zrobi kolacji. Jeżeli Boguś nie zrobi kolacji, to Cezary nie zrobi obiadu. Ala zrobi kolację wtedy, gdy Cezary lub Danusia zrobią obiad. Jeżeli Cezary lub Danusia zrobią obiad, to Ala zrobi kolację. Przy założeniu, że Danusia lub Cezary zrobią obiad, Ala lub Boguś zrobią kolację. Jeżeli Danusia lub Cezary zrobią obiad, to Ala lub Boguś zrobią kolację. B C ~D C B D A D A C ~B ~C (C D) A (D C) (A B) Ćwiczenie 2.N implikacje 3 Ć: Ala ćwiczy regularnie. D: Ala jest na diecie. L: Ala czuje się lepiej. T: Ala tyje. B: Boguś biega regularnie. H: Boguś chudnie. Ś: Boguś czuje się świetnie. U: Boguś uważa, co je. Ala poczuje się lepiej, jeśli będzie regularnie ćwiczyć. Ć L Ala przejdzie na dietę pod warunkiem, że Boguś zacznie uważać, co je. U D Boguś będzie uważał, co je, wtedy, gdy Ala będzie na diecie. D U O ile Boguś biega regularnie, to czuje się świetnie i chudnie. B (Ś H) (e) Przy założeniu, że Boguś uważa, co je i biega regularnie, to czuje się świetnie. (U B) Ś (f) Ala nie tyje, przyjąwszy, że ćwiczy regularnie. Ć ~T (g) O ile Ala nie tyje, to czuje się ona lepiej, a Boguś świetnie. ~T (L Ś) (h) Przyjmując, że Ala nie tyje, to jeśli Boguś biega regularnie, to czuje się on świetnie. ~T (B Ś) (i) Ala nie tyje pod warunkiem, że trzyma dietę i ćwiczy regularnie. (D Ć) ~T

8 Rozwiązania ćwiczeń do rozdziału 3 37 Ćwiczenie 2.P symbolizacje A: Ala robi kolację. P: Ala pracuje do późna. W: Szef Ali wymaga, aby pracowała do późna. G: Lech jest głodny. L: Lech robi kolację. Ś: Jest święto. Ź: Lech pracuje do późna. Lech nie zrobi kolacji. ~L Nieprawdą jest, że Ala nie zrobi kolacji. ~~A Lech pracuje do późna w nocy wtedy i tylko wtedy, gdy Ala pracuje do późna. Ź P Jeżeli Ali szef wymaga od niej, aby pracowała do późna, to do późna pracuje. W P (e) Ala pracuje do późna, o ile jej szef tego wymaga. W P (f) Jeżeli Ali szef nie wymaga od niej, aby pracowała do późna, to do późna nie pracuje. ~W ~P (g) Kolację zrobi albo Lech, albo Ala. L A (h) Jeżeli Ala nie pracuje do późna, to ona robi kolację. ~P A (i) Ala robi kolację wtedy, gdy Lech pracuje do późna. Ź A (j) Lech nie zrobi kolacji, o ile nie jest głodny. ~G ~L (k) Ala robi kolację zawsze i tylko wtedy, gdy Lech nie jest głodny. A ~G (l) Szef Ali wymaga od niej, by pracowała do późna zawsze i tylko wtedy, gdy nie ma świąt. W ~Ś (m) Lech zrobił kolację, a pomimo to jest głodny. L G (n) Szef Ali nie wymaga od niej by pracowała do późna, chociaż nie ma święta. ~W ~Ś (o) Lech chodzi głodny, gdy Ala pracuje do późna. P G ROZDZIAŁ 3. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO I Przykład ćwiczenie P (K B) Albo Asia dostanie psa, albo zarówno Asia, jak i Basia dostanie kota. Asia dostanie psa lub Asia i Basia dostaną kota. Przykład 2 ćwiczenie (L J) Z Albo prawdą jest, że jeżeli Ludwik posłucha Jarka, to cieszyć się będzie Janek, albo że cieszyć się będzie Zbyszek. W języku polskim wyrazilibyśmy to zdanie raczej w następujący sposób: Albo cieszyć się będzie Zbyszek, albo o ile Ludwik posłucha Jarka to cieszyć się będzie Janek. Przykład 3 ćwiczenie S [~D (J W)] [(S ~D) J] W Zosia włoży swą nową sukienkę, a jeżeli Zosia nie będzie się już dąsać, to Jacek lub Wacek zaproszą ją do kina. Albo jeżeli Zosia włoży swą nową sukienkę i nie będzie się już dąsać, to Jacek zaprosi ją do kina albo Wacek zaprosi Zosię do kina.

9 Rozwiązania ćwiczeń do rozdziału 3 38 Przykład 5 i 6 (A B) C (B ~C) ~A Ala pójdzie do kina wtedy i tylko wtedy, gdy Beata pójdzie do teatru, a Cezary tak czy owak zostanie w domu. Ala pójdzie do kina wtedy i tylko wtedy, gdy Beata pójdzie do teatru; jednakże Cezary zostanie w domu. Albo Cezary nie zostanie w domu o ile Beata pójdzie do teatru, albo Ala nie pójdzie do kina. Ćwiczenie 3.A spójnik główny bez negacji (A B) (C D) A (B (C D)) ((A B) C) D A ((B C) D) (e) (A (B C)) D (f) (A A) (A B) (g) A (A (A B)) (h) ((A A) A) B (i) (((A B) C) (A C)) (A (B C)) (j) (((A B) (B C)) (C D)) (B ((A B) C)) (k) (((A B) (C D)) C) ((A ((C D) B)) D) Ćwiczenie 3.B spójnik główny bez negacji 2 A: Anna zostanie ukarana. B: Bogdan zostanie ukarany. C: Cecylia zostanie ukarana. A: Ala zrobi obiad. B: Beata umyje naczynia. C: Cezary odkurzy dom. (A B) C A (B C) A (B C) (A B) C Albo Anna i Bogdan zostaną ukarani, albo ukarana będzie Cecylia. Anna zostanie ukarana i kara też spotka Bogdana lub Cecylię. Jeżeli Anna zostanie ukarana, to kara spotka też Bogdana i Cecylię. Jest prawdą zarówno to, że jeżeli Anna zostanie ukarana, to kara spotka Bogdana, jak i to, że Cecylia będzie ukarana. Albo Ala zrobi obiad, a Beata umyje naczynia, albo Cezary odkurzy dom. Ala zrobi obiad, natomiast albo Beata umyje naczynia, albo Cezary odkurzy dom. Jeżeli Ala zrobi obiad, to zarówno Beata umyje naczynia, jak i Cezary odkurzy dom. Jeżeli Ala zrobi obiad, to Beata umyje naczynia, ale tak czy owak Cezary odkurzy dom.

10 Rozwiązania ćwiczeń do rozdziału 3 39 (e) (A B) C Jeżeli Anna lub Bogdan zostaną ukarani, to kara spotka też Cecylię. Jeżeli Ala zrobi obiad lub Beata umyje naczynia, to Cezary odkurzy dom. (f) A (B C) (g) (B A) (B C) Albo Anna zostanie ukarana, albo o ile ukarany zostanie Bogdan, to kara spotka też Cecylię. Albo ukarani zostaną Bogdan i Anna, albo też Bogdan i Cecylia. Albo Ala zrobi obiad, albo jeżeli Beata umyje naczynia, to Cezary odkurzy dom. Albo Beata umyje naczynia, a Ala zrobi obiad, albo Beata umyje naczynia, a Cezary odkurzy dom. Ćwiczenie 3.C spójnik główny bez negacji 3. A (B C) 2. (A B) C A: Ala odkurzy dom. B: Boguś zrobi obiad. C: Czesia zrobi kolację. D: Damian umyje naczynia. Albo Ala odkurzy dom, albo zarówno Boguś zrobi obiad, jak i Czesia zrobi kolację. Albo Ala odkurzy dom, albo Boguś zrobi obiad, ale tak czy inaczej Czesia zrobi kolację.. D (B C) 2. B (D C) Jeżeli Damian umyje naczynia, to Boguś zrobi obiad, a Czesia zrobi kolację. Boguś zrobi obiad, natomiast jeżeli Damian umyje naczynia, to Czesia zrobi kolację.. Ala odkurzy dom lub [Boguś zrobi obiad i (Czesia zrobi kolację, jeśli Damian umyje naczynia)]. A [B (D C)] Albo Ala odkurzy dom, albo zarazem Boguś zrobi obiad i jeśli Damian umyje naczynia, to Czesia zrobi kolację. 2. Ala odkurzy dom lub [(Boguś zrobi obiad i Czesia zrobi kolację), jeśli Damian umyje naczynia]. A [D (B C)] Albo Ala odkurzy dom, albo jeżeli Damian umyje naczynia, to zarazem Boguś zrobi obiad i Czesia zrobi kolację. 3. (Ala odkurzy dom lub Boguś zrobi obiad) i (Czesia zrobi kolację, jeśli Damian umyje naczynia). (A B) (D C) Jest prawdą to, że albo Ala odkurzy dom, albo Boguś zrobi obiad, jak i to, że jeżeli Damian umyje naczynia, to Czesia zrobi kolację. 4. [(Ala odkurzy dom lub Boguś zrobi obiad) i Czesia zrobi kolację], jeśli Damian umyje naczynia. D [(A B) C] Jeżeli Damian umyje naczynia, to zarówno albo Ala odkurzy dom, albo Boguś zrobi obiad, jak i Czesia zrobi kolację. 5. [Ala odkurzy dom lub (Boguś zrobi obiad i Czesia zrobi kolację)], jeśli Damian umyje naczynia. D [A (B C)] Jeżeli Damian umyje naczynia, to albo Ala odkurzy dom, albo zarazem Boguś zrobi obiad, jak i Czesia zrobi kolację.

11 Rozwiązania ćwiczeń do rozdziału 3 3 Ćwiczenie 3.D spójnik główny z negacją (I) (II) ~(B A) ~(B A) (~B) A ~B A ~((~B) A) ~(~B A) (~(B A)) (~C) ~(B A) ~C (e) (~((~A) B)) (~C) (e) ~(~A B) ~C (f) (~A) (~(B A)) (f) ~A ~(B A) (g) (~(A B)) (~A) (g) ~(A B) ~A (h) ~((A B) (~A)) (h) ~((A B) ~A) (i) (~(~A)) ((~B) C) (i) ~~A (~B C)

12 Rozwiązania ćwiczeń do rozdziału 3 3 Ćwiczenie 3.E spójnik główny z negacją 2 A: Anna zostanie ukarana. B: Bogdan zostanie ukarany. A ~B Nieprawda, że zarówno Anna, jak i Bogdan zostaną ukarani. ~A B Zarówno Anna nie zostanie ukarana, jak i Bogdan nie zostanie ukarany. ~A ~B Anna nie zostanie ukarana, a Bogdan zostanie ukarany. ~(A B) Anna zostanie ukarana, a Bogdan nie zostanie ukarany. A ~B Anna i Bogdan nie zostaną obydwoje ukarani. ~A B Anna zostanie ukarana, ale nie Bogdan. ~A ~B Anna nie zostanie ukarana, choć Bogdan zostanie ukarany. ~(A B) Ani Anna nie zostanie ukarana, ani Bogdan nie zostanie ukarany. A ~B Jeżeli Anna nie zostanie ukarana, to Bogdan nie zostanie ukarany. ~A B Nieprawda, że jeżeli Anna zostanie ukarana, to Bogdan też zostanie ukarany. ~A ~B Jeżeli Anna zostanie ukarana, to Bogdan nie zostanie ukarany. ~(A B) Jeżeli Anna nie zostanie ukarana, to Bogdan zostanie ukarany. A ~B Albo Anna nie zostanie ukarana, albo Bogdan zostanie ukarany. ~A B Albo Anna zostanie ukarana, albo Bogdan nie zostanie ukarany. ~A ~B Nieprawda, że Anna czy Bogdan zostaną ukarani. ~(A B) Albo Anna nie zostanie ukarana, albo Bogdan nie zostanie ukarany.

13 Rozwiązania ćwiczeń do rozdziału 3 32 Ćwiczenie 3.F spójnik główny z negacją 3 A ~B Anna dostanie pracę, ale Bogdan nie. ~A ~B Anna nie dostanie pracy i Bogdan również nie dostanie pracy. (Ani Anna, ani Bogdan nie dostaną pracy.) ~(A B) Nieprawda, że Anna i Bogdan oboje dostaną pracę. ~A B Anna nie dostanie pracy, ale Bogdan pracę dostanie. (e) (~A B) ~C (f) (~A ~B) C Jeżeli Anna nie dostanie pracy, a Bogdan pracę dostanie, to Cezary nie dostanie pracy. Jeżeli zarówno Anna, jak i Bogdan nie dostaną pracy, to Cezary dostanie pracę. (g) ~A C Jeżeli Anna nie dostanie pracy, to Cezary dostanie pracę. (h) ~(A C) (i) ~(~A C) (j) ~A (B C) (k) ~A (~B C) (l) (m) ~C (~A ~B) A (~B ~C) (n) (~A B) ~(A B) (o) (C ~A) ~(C A) (p) ~(A B) ~(A C) (q) ~((~A ~B) (~A ~C)) (r) (~A ~B) (~B C) (s) [(~A ~B) (~B C)] (~A C) Nie jest prawdą, że jeżeli Anna dostanie pracę, to Cezary też dostanie pracę. Nie jest prawdą, że jeżeli Anna nie dostanie pracy, to Cezary dostanie pracę. Jeżeli Anna nie dostanie pracy, to pracę dostanie Bogdan lub Cezary. Jeżeli Anna nie dostanie pracy, to o ile pracy nie dostanie Bogdan, to dostanie ją Cezary. (Jeżeli Anna nie dostanie pracy, to pracę dostanie Cezary, o ile nie dostanie jej Bogdan.) Jeżeli Cezary nie dostanie pracy, to zarówno Anna, jak i Bogdan nie dostaną pracy. Anna dostanie pracę wtedy, ale tylko wtedy, gdy nie dostaną pracy ani Bogdan, ani Cezary. Jeżeli Anna nie dostanie pracy, a dostanie ją Bogdan, to nie jest prawdą, że Anna dostanie pracę wtedy i tylko wtedy, gdy pracę dostanie Bogdan. Jeżeli Cezary dostanie pracę, a Anna nie dostanie pracy, to nie jest prawdą to, że jeżeli Cezary dostanie pracę, to Anna dostanie pracę. Jeżeli nie jest prawdą, że Anna i Bogdan oboje dostaną pracę, to nie jest też prawdą, że Anna i Cezary oboje dostaną pracę. Fałszem jest teza, że jeżeli ani Anna, ani Bogdan nie dostaną pracy, to ani Anna, ani Cezary nie dostaną pracy. Jeżeli Anna nie dostanie pracy, to Bogdan nie dostanie pracy, a zarazem jeżeli Bogdan nie dostanie pracy, to Cezary pracę dostanie. Jeżeli Bogdan nie dostanie pracy, o ile Anna nie dostanie pracy, a Cezary pracę dostanie, o ile Bogdan pracy nie dostanie, to Cezary dostanie pracę, o ile Anna pracy nie dostanie.

14 Rozwiązania ćwiczeń do rozdziału 3 33 Ćwiczenie 3.G spójnik główny z negacją 4 ~(~A ~B) C ~(~(A ~B) C) ~(~(A ~B) C) D ~~(A ~(B ~C)) ~D (e) ~(~(A ~B) (~C D)) (f) ~(~(~A ~B) ~(A B)) ~(~A ~A) (g) ~(~(A (B A)) ~~~(~B ~A)) (h) ~~(~A ~(B ~C)) ~((~C B) A) Ćwiczenie 3.H symbolizacje B: Ala będzie biegać. Ć: Ala będzie ćwiczyć. D: Ala popadnie w depresję. L: Ala będzie leniwa. M: Ala będzie właściwie umotywowana. O: Ala będzie się odchudzać. P: Ala przytyje. S: Ala będzie jeździć do pracy samochodem. W: Ala będzie pływać. (e) (f) (g) Jeżeli Ala będzie biegać lub ćwiczyć, to nie popadnie w depresję. (B Ć) ~D Jeżeli Ala będzie leniwa i popadnie w depresję, to będzie jeździć do pracy samochodem. (L D) S Nie jest prawdą, że jeżeli Ala popadnie w depresję, to przytyje. ~(D P) Ala będzie właściwie umotywowana i będzie się odchudzać, ale będzie też jeździć do pracy samochodem. (M O) S lub: M (O S) Albo Ala będzie jeździć do pracy samochodem i będzie się odchudzać, albo będzie ćwiczyć. (S O) Ć Ala będzie albo biegać, albo pływać, ale nie będzie się odchudzać. (B W) ~O Ala będzie biegać albo pływać, ale tak czy owak będzie ćwiczyć. (B W) Ć

15 Rozwiązania ćwiczeń do rozdziału 3 34 (h) (i) (j) Albo Ala będzie leniwa i będzie jeździć do pracy samochodem, albo będzie właściwie umotywowana i będzie ćwiczyć. (L S) (M Ć) Ala będzie ćwiczyć, ale nie będzie pływać; jednakże jeżeli Ala będzie właściwie umotywowana, to będzie biegać. (Ć ~W) (M B) Ala nie będzie biegać, nie będzie ćwiczyć, a już na pewno nie będzie się odchudzać. (~B ~Ć) ~O lub: ~B (~Ć ~O) Ćwiczenie 3.I symbolizacje 2 B: Ala będzie biegać. Ć: Ala będzie ćwiczyć. D: Ala popadnie w depresję. L: Ala będzie leniwa. M: Ala będzie właściwie umotywowana. O: Ala będzie się odchudzać. P: Ala przytyje. S: Ala będzie jeździć do pracy samochodem. W: Ala będzie pływać. Z: Ala będzie zmęczona. (e) (f) (g) (h) (i) (j) Ala będzie się odchudzać wtedy i tylko wtedy, gdy będzie leniwa i nie będzie ćwiczyć. O (L ~Ć) Jeżeli Ala nie będzie się odchudzać, to przytyje, a jeżeli nie będzie ćwiczyć, to popadnie w depresję. (~O P) (~Ć D) Jeżeli Ala popadnie w depresję, to nie będzie ćwiczyć i nie będzie się odchudzać. D (~Ć ~O) Jeżeli Ala popadnie w depresję, to nie będzie ćwiczyć; tak czy owak Ala nie będzie się odchudzać. (D ~Ć) ~O Ala nie popadnie w depresję wtedy i tylko wtedy, gdy nie przytyje; jednakże Ala nie będzie ćwiczyć i nie będzie się odchudzać. (~D ~P) (~Ć ~O) Ala nie popadnie w depresję wtedy i tylko wtedy, gdy będzie ćwiczyć i będzie albo biegać, albo pływać. ~D (Ć (B W)) Ala przytyje wtedy i tylko wtedy, gdy nie będzie właściwie umotywowana i będzie jeździć do pracy samochodem. P (~M S) Ala nie przytyje i nie popadnie w depresję pod warunkiem, że będzie biegać lub pływać. (B W) (~P ~D) Jeżeli Ala nie będzie się odchudzać, to przytyje, a jeżeli nie będzie ćwiczyć, to popadnie w depresję. (~O P) (~Ć D) Albo Ala będzie biegać, o ile będzie właściwie umotywowana, albo będzie się odchudzać, jeżeli będzie leniwa. (M B) (L O)

16 Rozwiązania ćwiczeń do rozdziału 3 35 Ćwiczenie 3.J symbolizacje 3 B: Ala będzie biegać. Ć: Ala będzie ćwiczyć. D: Ala popadnie w depresję. L: Ala będzie leniwa. M: Ala będzie właściwie umotywowana. O: Ala będzie się odchudzać. P: Ala przytyje. S: Ala będzie jeździć do pracy samochodem. W: Ala będzie pływać. Z: Ala będzie zmęczona. (e) (f) (g) (h) (i) (j) (k) Jeżeli Ala będzie albo biegać i ćwiczyć, albo pływać, to nie przytyje. ((B Ć) W) ~P Jeżeli Ala będzie właściwie umotywowana, to będzie ćwiczyć pod warunkiem, że nie będzie zmęczona. M (~Z Ć) Jeżeli Ala będzie się odchudzać, to nie przytyje, a jeżeli nie będzie się odchudzać, to przytyje, o ile nie będzie ćwiczyć. (O ~P) (~O (~Ć P)) Ala nie przytyje, jeżeli będzie pływać lub biegać, ale jeżeli Ala będzie leniwa, to przytyje. [(W B) ~P] (L P) Ala będzie albo biegać i ćwiczyć, albo pływać i się odchudzać, ale tak czy inaczej jeżeli popadnie w depresję, to i tak przytyje. [(B Ć) (W O)] (D P) Jeżeli prawdą jest, że Ala przytyje wtedy i tylko wtedy, gdy nie będzie ćwiczyć, to będzie albo pływać, albo biegać, a nie będzie jeździć do pracy samochodem. (P ~Ć) ((W B) ~S) Jeżeli Ala nie będzie miała właściwej motywacji i nie będzie biegać, to jeśli również nie będzie ćwiczyć, to przytyje, o ile nie będzie się odchudzać. (~M ~B) (~Ć (~O P)) Jeśli Ala nie popadnie w depresję i nie będzie też leniwa, to będzie się odchudzać lub ćwiczyć pod warunkiem, że będzie właściwie umotywowana i nie będzie zmęczona. (~D ~L) [(M ~Z) (O Ć)] Ala nie będzie biegać, choć nie jest zmęczona, jeżeli nie będzie właściwie umotywowana. Parafraza: Jeżeli Ala nie będzie właściwie umotywowana, to nie będzie biegać, choć nie jest zmęczona. ~M (~B ~Z) Zakładając, że Ala będzie się odchudzać i że albo będzie biegać lub pływać, albo też będzie ćwiczyć, to nie przytyje, o ile nie popadnie w depresję. [O ((B W) Ć)] (~D ~P) Jeżeli Ala będzie zmęczona, to będzie się odchudzać; jeżeli Ala nie będzie zmęczona, to jeśli będzie właściwie umotywowana, to będzie biegać, a jeśli nie, to będzie ćwiczyć lub pływać. (Z O) {~Z [(M B) (~M (Ć W))]}

17 Rozwiązania ćwiczeń do rozdziału 4 36 ROZDZIAŁ 4. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO II Ćwiczenie 4.A ani-ani vs nie-obydwa C: Tomek dostanie czwórkę. D: Tomek dostanie dwójkę. P: Tomek dostanie piątkę. T: Tomek dostanie trójkę. I. (i) (ii) Tomek nie dostanie ani dwójki, ani piątki. ~D ~P ~(D P) Tomek nie dostanie jednocześnie dwójki i piątki. ~(D P) ~D ~P Tomek zarówno nie dostanie dwójki, jak i nie dostanie piątki. ~D ~P ~(D P) Tomek nie dostanie ani dwójki, ani trójki. ~D ~T ~(D T) (e) Tomek nie dostanie zarazem trójki i dwójki. ~(T D) ~T ~D (f) Tomek nie dostanie ani dwójki, ani trójki, ani czwórki. (~D ~T) ~C (g) Jeżeli Tomek nie dostanie trójki, to nie dostanie ani czwórki, ani piątki. ~((D T) C) ~(D T) ~C ~T (~C ~P) ~T ~(C P) (h) Jeżeli Tomek nie dostanie ani piątki, ani czwórki, to dostanie trójkę. (~P ~C) T ~(P C) T H: Stefan Hula wygra Puchar Świata. M: Adam Małysz wygra Puchar Świata. O: Mamy szanse na medal olimpijski. S: Kamil Stoch wygra Puchar Świata. II. (i) (ii) Pucharu Świata nie wygrają jednocześnie Adam Małysz i Kamil Stoch. Pucharu Świata nie wygra ani Stefan Hula, ani Kamil Stoch. ~(M S) ~M ~S ~H ~S ~(H S) Ani Stefan Hula, Kamil Stoch, ani nawet Adam Małysz nie wygra Pucharu Świata. (~H ~S) ~M ~((H S) M) ~(H S) ~M (e) (f) Jeżeli Adam Małysz nie wygra Pucharu Świata, to nie wygrają go ani Kamil Stoch, ani Stefan Hula. Jeżeli Adam Małysz wygra Puchar Świata, to nie wygrają go ani Kamil Stoch, ani Stefan Hula. Jeżeli ani Małysz, ani Hula nie wygra Pucharu Świata, to nie mamy szans na medal olimpijski. ~M (~S ~H) ~M ~(S H) M (~S ~H) M ~(S H) (~M ~H) ~O ~(M H) ~O (g) Ani Hula, ani Stoch nie wygra Pucharu Świata, ale mimo to mamy jeszcze szanse na medal olimpijski. (~H ~S) O ~(H S) O (h) Żaden z naszych trzech skoczków nie wygra Pucharu Świata. (~H ~S) ~M ~((H S) M) ~(H S) ~M (i) Nie wszyscy z naszych trzech skoczków wygrają Puchar Świata. ~((H S) M) ~(H S) ~M (~H ~S) ~M

18 Rozwiązania ćwiczeń do rozdziału 4 37 B: Teoria Bema jest prawdziwa. F: Teoria Festingera jest prawdziwa. H: Teoria Heidera jest prawdziwa. R: Teoria Rottera jest prawdziwa. III. (i) (ii) Ani teoria Festingera, ani teoria Bema nie jest prawdziwa. ~F ~B ~(F B) Teoria Festingera i teoria Bema nie są obie prawdziwe. ~(F B) ~F ~B Teoria Festingera i teoria Bema obie są nieprawdziwe. ~F ~B ~(F B) Nieprawdziwa jest zarówno teoria Festingera, jak i teoria Bema. ~F ~B ~(F B) (e) Ani teoria Festingera, ani teoria Heidera nie jest ~~F ~~H nieprawdziwa. F H ~(~F ~H) (f) Teorie Bema i Festingera nie są obie nieprawdziwe. B F ~~B ~~F ~(~B ~F) (g) Fałszywa jest albo teoria Festingera, albo teoria Heidera, o ile prawdziwa jest albo teoria Bema, (B R) ~(F H) (B R) (~F ~H) albo teoria Rottera. (h) Jeżeli teorie Heidera i Festingera nie są obie prawdziwe, to teorie Bema i Rottera też nie są ~(H F) ~(B R) (~H ~F) (~B ~R) obie prawdziwe. (i) Jeżeli ani teoria Heidera, ani teoria Festingera nie jest prawdziwa, to prawdziwa jest teoria Bema. (~H ~F) B ~(H F) B (j) Ani teorie Bema i Rottera nie są obie prawdziwe, ~(B R) ~(F H) ani teorie Festingera i Heidera nie są obie prawdziwe. (~B ~R) (~F ~H) ~[(B R) (F H)] Ćwiczenie 4.B albo-albo-ale-nie-jedno-i-drugie A: Teoria Adlera jest prawdziwa. F: Teoria Freuda jest prawdziwa. C: Staś pójdzie do pracy w czwartek. W: Staś pójdzie do pracy we wtorek. Tomek dostanie Dwóję lub Tróję, ale nie jedno i drugie. (D T) ~(D T) Albo Przytyję, albo Schudnę, ale nie jedno i drugie. (P S) ~(P S) W meczu zagra Dudek lub Boruc, ale nie obaj. (D B) ~(D B) Puchar Świata zdobędzie Małysz lub Jacobsen, ale nie obaj. (M J) ~(M J) (e) (f) (g) (h) Albo teoria Freuda, albo teoria Adlera jest prawdziwa, ale nie są prawdziwe obie naraz. Fałszywa jest albo teoria Freuda, albo teoria Adlera, ale nie są fałszywe obie naraz. Staś pójdzie do pracy albo w czwartek, albo we wtorek, ale nie w oba dni. Staś nie pójdzie do pracy albo w czwartek, albo we wtorek, ale nie w oba dni. (F A) ~(F A) (~F ~A) ~(~F ~A) (C W) ~(C W) (~C ~W) ~(~C ~W) Ćwiczenie 4.C chyba że Tomek dostanie Dwóję, chyba że zacznie się Uczyć. U D ~U D Przytyję, chyba że zacznę się Odchudzać. O P ~O P Na pewno Zdasz logikę, chyba że będziesz zbyt Leniwy, by robić ćwiczenia. (i) L Z (ii) ~L Z

19 Rozwiązania ćwiczeń do rozdziału 4 38 (e) (f) (g) Nie będziesz oglądać Telewizji, chyba że odrobisz lekcje. Teoria Freuda jest prawdziwa, chyba że albo teoria Junga, albo teoria Adlera jest prawdziwa. Beata pójdzie z Lechem na randkę, chyba że albo po raz kolejny Lech się Spóźni, albo znów nie przyniesie jej Kwiatów. Lech wygłosi Przemówienie lub Orędzie, chyba że Kancelaria nie zatrudni specjalisty od pisania przemówień. E ~T ~E ~T (J A) F ~(J A) F (S ~K) B ~(S ~K) B ~K (P O) ~~K (P O) K (P O) Ćwiczenie 4.D tylko jeżeli (e) (f) (g) (h) (i) Teoria Freuda jest prawdziwa, tylko jeśli istnieje Nieświadomość. F N Jeżeli teoria Freuda jest prawdziwa, to [znaczy, że] istnieje nieświadomość. ~N ~F Jeżeli nie istnieje nieświadomość, to teoria Freuda nie jest prawdziwa. Marian czerwieni się, tylko wtedy gdy Róża patrzy na niego. M R Jeżeli Marcin się czerwieni, to znaczy, że Róża patrzy na niego. ~R ~M Jeżeli Róża nie patrzy na Marcina, to Marcin się nie czerwieni. Zaliczysz logikę, tylko jeżeli Przyjdziesz na egzamin. Z P Jeżeli zaliczyłeś logikę, to znaczy, że przyszedłeś na egzamin. ~P ~Z Jeżeli nie przyjdziesz na egzamin, to nie zaliczysz logiki. Zaliczysz logikę, tylko jeżeli będziesz Systematycznie pracować. Z S Jeżeli zaliczyłaś logikę, to znaczy, że systematycznie pracowałaś. ~S ~Z Jeżeli nie pracowałaś systematycznie, to nie zaliczysz logiki. Adam Małysz wygra Zawody tylko wtedy, gdy weźmie w nich Udział. Z U Jeżeli Adam Małysz wygrał zawody, to znaczy, że wziął w nich udział. ~U ~Z Jeżeli Adam Małysz nie weźmie udziału w zawodach, to ich nie wygra. Puszek jest chomikiem, tylko jeśli jest Ssakiem. H S Jeżeli Puszek jest chomikiem, to jest też ssakiem. ~S ~H Jeżeli Puszek nie jest ssakiem, to nie jest chomikiem. Puszek jest chomikiem, tylko jeśli ma Torby polikowe. H T Jeżeli Puszek jest chomikiem, to ma torby polikowe. ~T ~H Jeżeli Puszek nie ma toreb polikowych, to nie jest chomikiem. Puszek jest chomikiem, tylko jeśli ma cztery Łapki. H Ł Jeżeli Puszek jest chomikiem, to ma cztery łapki ~Ł ~H Jeżeli Puszek nie ma czterech łapek, to nie jest chomikiem. Utoniesz, tylko jeżeli znajdziesz się w Wodzie. U W Jeżeli utonąłeś, to znaczy, że znajdowałeś się w wodzie. ~W ~U Jeżeli nie znajdziesz się w wodzie, to nie utoniesz.

20 Rozwiązania ćwiczeń do rozdziału 4 39 (j) (k) (l) (m) Odkurzysz, tylko jeśli Włączysz odkurzacz. O W Jeżeli odkurzyłeś, to włączyłeś odkurzacz. ~W ~O Jeżeli nie włączysz odkurzacza, to nie odkurzysz. Prezydent RP będzie godnie Reprezentował Polskę tylko wtedy, gdy pojawi się na Spotkaniu. R S Jeżeli Prezydent RP godnie reprezentował Polskę, to znaczy, że pojawił się na spotkaniu. ~S ~R Jeżeli Prezydent RP nie pojawi się na spotkaniu, to nie będzie godnie reprezentował Polski. Puszek jest chomikiem, tylko jeśli nie ma Dzioba. H ~D ~~D ~H D ~H Jeżeli Puszek jest chomikiem, to nie ma dzioba. Jeżeli nieprawdą jest, że Puszek nie ma dzioba, to nie jest chomikiem. Jeżeli Puszek ma dziób, to nie jest chomikiem. Zaliczysz logikę, tylko jeżeli zarówno wszystko zrozumiesz, jak i będziesz poprawnie wykonywać wszystkie Ćwiczenia. Z (R Ć) ~(R Ć) ~Z (~R ~Ć) ~Z Jeżeli zaliczyłaś logikę, to znaczy, że wszystko zrozumiałaś i poprawnie wykonywałaś wszystkie ćwiczenia. Jeżeli nie będzie tak, że zarówno wszystko zrozumiesz, jak i poprawnie wykonywasz wszystkie ćwiczenia, to nie zaliczysz logiki. Jeżeli nie wszystko zrozumiesz lub nie wykonywasz poprawnie wszystkich ćwiczeń, to nie zaliczysz logiki. Ćwiczenie 4.E tylko jeżeli 2 A: Ania jest na diecie. K: Kalinka jest na diecie. L: Lidka jest na diecie. R: Kalinka regularnie ćwiczy. Z: Kalinka jest zdrowa. W: Ania jest zdrowa. Kalinka będzie zdrowa, tylko jeśli będzie regularnie ćwiczyć. Z R Kalinka będzie zdrowa, tylko jeśli albo przejdzie na dietę, albo będzie regularnie ćwiczyć. Lidka przejdzie na dietę tylko wtedy, gdy Kalinka i Ania obie będą na diecie. Kalinka przejdzie na dietę lub będzie regularnie ćwiczyć, tylko jeśli Ania przejdzie na dietę. (e) Ania przejdzie na dietę tylko wtedy, gdy Lidka lecz nie Kalinka przejdzie na dietę. (f) Kalinka zacznie regularnie ćwiczyć, tylko jeżeli nie przejdzie na dietę. ~R ~Z Z (K R) ~(K R) ~Z (~K ~R) ~Z L (K A) ~(K A) ~L (~K ~A) ~L (K R) A ~A ~(K R) ~A (~K ~R) A (L ~K) ~(L ~K) ~A (~L ~~K) ~A (~L K) ~A R ~K ~~K ~R K ~R

21 Rozwiązania ćwiczeń do rozdziału 4 32 (g) (h) (i) Tylko jeśli Ania przejdzie na dietę, to przejdzie na dietę Lidka. Parafraza: Lidka przejdzie na dietę, tylko jeśli Ania przejdzie na dietę. Tylko jeżeli Kalinka będzie zdrowa lub będzie regularnie ćwiczyć, to Ania przejdzie na dietę. Parafraza: Ania przejdzie na dietę, tylko jeżeli Kalinka będzie zdrowa lub będzie regularnie ćwiczyć. Kalinka i Ania będą zdrowe, tylko jeśli obie przejdą na dietę. Zdanie to jest dwuznaczne: Interpretacja : Kalinka i Ania będą obie zdrowe, tylko jeżeli wspólnie przejdą na dietę. Interpretacja 2: Obie Kalinka i Ania będą zdrowe, tylko jeżeli każda z nich przejdzie na dietę. L A ~A ~L A (Z R) ~(Z R) ~A (~Z ~R) ~A Interpretacja : (Z W) (K A) ~(K A) ~(Z W) Interpretacja 2: (Z K) (W A) (~K ~Z) (~A ~W) Ćwiczenie 4.F tylko jeżeli 3 Otrzymasz ocenę bardzo dobrą, jeżeli dostaniesz 95% na egzaminie. Jeżeli dostaniesz 95% na egzaminie, to otrzymasz ocenę bardzo dobrą. Otrzymasz ocenę bdb, tylko jeżeli dostaniesz 95% na egzaminie. Jeżeli otrzymałeś ocenę bardzo dobrą, to znaczy, że dostałeś 95% na egzaminie. Jeżeli nie dostaniesz 95% na egzaminie, to nie otrzymasz oceny bardzo dobrej. Otrzymasz ocenę celującą, jeżeli dostaniesz % na egzaminie. Jeżeli dostaniesz % na egzaminie, to otrzymasz ocenę celującą. Otrzymasz ocenę celującą, tylko jeżeli dostaniesz % na egzaminie. Jeżeli otrzymałeś ocenę celującą, to znaczy, że dostałeś % na egzaminie. Jeżeli nie dostaniesz % na egzaminie, to nie otrzymasz oceny celującej. prawdziwe fałszywe prawdziwe fałszywe prawdziwe fałszywe prawdziwe fałszywe Ćwiczenie 4.G warunek konieczny i dostateczny Deszcz pada, tylko jeśli są chmury. To, że są chmury, jest warunkiem koniecznym dostatecznym tego, że pada deszcz. Deszcz pada, jeśli mży. To, że mży, jest warunkiem koniecznym dostatecznym tego, że pada deszcz. Puszek jest chomikiem, tylko jeśli ma torby polikowe. To, że Puszek ma torby polikowe, jest koniecznym warunkiem dostatecznym Puszek jest chomikiem, jeśli ma torby polikowe. To, że Puszek ma torby polikowe, jest koniecznym warunkiem dostatecznym tego, że Puszek jest chomikiem. tego, że Puszek jest chomikiem. (e) Puszek jest chomikiem wtedy i tylko wtedy, gdy ma torby polikowe. To, że Puszek ma torby polikowe, jest koniecznym tego, że Puszek jest chomikiem. warunkiem dostatecznym

22 Rozwiązania ćwiczeń do rozdziału 4 32 (f) Zuza zda logikę, jeżeli dostanie 55% na teście. Otrzymanie 55% na teście jest warunkiem koniecznym dostatecznym tego, by Zuza zdała logikę. (g) (h) Zuza nie otrzyma oceny bardzo dobrej, jeżeli dostanie 85% na teście. Otrzymanie 85% na teście jest warunkiem koniecznym tego, by Zuza nie otrzymała dostatecznym oceny bardzo dobrej. Zuza otrzyma ocenę celującą, jeżeli, ale tylko jeżeli, dostanie % na teście. Otrzymanie % na teście jest warunkiem koniecznym tego, by Zuza otrzymała ocenę dostatecznym celującą. (i) Waleria schudnie, tylko jeżeli przejdzie na dietę. Przejście Walerii na dietę jest warunkiem koniecznym dostatecznym jej schudnięcia. Ćwiczenie 4.H warunek konieczny i dostateczny 2 Jeżeli Zario jest pudlem to jest psem. Zario jest psem jeżeli Zario jest pudlem. Zario jest pudlem tylko jeżeli Zario jest psem. Bycie pudlem jest warunkiem dostatecznym bycia psem. Bycie psem jest warunkiem koniecznym bycia pudlem. Jeżeli Arysto jest persem to jest kotem. Arysto jest kotem jeżeli Arysto jest persem. Arysto jest persem tylko jeżeli Arysto jest kotem. Bycie persem jest warunkiem dostatecznym bycia kotem. Bycie kotem jest warunkiem koniecznym bycia persem. Jeżeli pada deszcz to są chmury Są chmury jeżeli pada deszcz. Deszcz pada tylko jeżeli są chmury. Opady deszczu są warunkiem dostatecznym zachmurzenia. Zachmurzenie jest warunkiem koniecznym opadów deszczu. Jeżeli Burek szczeka to jest psem. Burek jest psem jeżeli Burek szczeka Burek szczeka tylko jeżeli Burek jest psem. Szczekanie jest warunkiem dostatecznym bycia psem. Bycie psem jest warunkiem koniecznym szczekania. (e) Jeżeli Puszek jest chomikiem to Puszek ma torby polikowe. Puszek ma torby polikowe jeżeli jest chomikiem. Puszek jest chomikiem tylko jeżeli ma torby polikowe. Bycie chomikiem jest warunkiem dostatecznym posiadania toreb polikowych. Posiadanie toreb polikowych jest warunkiem koniecznym bycia chomikiem. (f) Jeżeli J. jest politykiem, to jest nieuczciwy. J. jest nieuczciwy jeżeli jest politykiem. J. jest politykiem tylko jeżeli jest nieuczciwy. Bycie politykiem jest warunkiem dostatecznym bycia nieuczciwym. Bycie nieuczciwym jest warunkiem koniecznym bycia politykiem.

23 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 4.I warunek konieczny i dostateczny 3 Deszcz pada, tylko jeśli są chmury. To, że są chmury, jest warunkiem koniecznym dostatecznym tego, że pada deszcz. Deszcz pada, jeśli mży. Mży, tylko jeśli pada deszcz. To, że pada deszcz, jest warunkiem koniecznym dostatecznym tego, że mży. Ksena jest owczarkiem podhalańskim, tylko jeżeli jest psem. Ksena jest psem, jeżeli jest owczarkiem podhalańskim. To, że Ksena jest owczarkiem koniecznym podhalańskim, jest warunkiem dostatecznym tego, że jest psem. Mela jest kotem, jeżeli jest persem. Mela jest persem, tylko jeżeli jest kotem. To, że Mela jest kotem, jest warunkiem koniecznym dostatecznym tego, że jest persem. (e) Puszek jest chomikiem, jeżeli ma torby polikowe. To, że Puszek ma torby polikowe, jest koniecznym warunkiem dostatecznym tego, że Puszek jest chomikiem. Ćwiczenie 4.J wszyscy-niektórzy A: Andrzej jest uczciwy. J: Jarosław jest uczciwy. L: Lech jest uczciwy. P: Przemysław jest uczciwy. R: Roman jest uczciwy. Z: Zbigniew jest uczciwy. Cała szóstka jest uczciwa. ((A J) (L P)) (R Z) Przynajmniej jedna osoba z tej szóstki jest uczciwa. ((A J) (L P)) (R Z) Wszyscy z tej szóstki są uczciwi. ((A J) (L P)) (R Z) Ktoś z tej szóstki jest uczciwy. ((A J) (L P)) (R Z) (e) Nie wszyscy z tej szóstki są uczciwi. ~[((A J) (L P)) (R Z)] ((~A ~J) (~L ~P)) (~R ~Z) (f) Nikt z tej szóstki nie jest uczciwy. ~[((A J) (L P)) (R Z)] ((~A ~J) (~L ~P)) (~R ~Z) (g) Jeżeli nikt z tej szóstki nie jest uczciwy, to nie jest uczciwy ani Jarosław, ani Zbigniew. ~[((A J) (L P)) (R Z)] ~(J Z) [((~A ~J) (~L ~P)) (~R ~Z)] (~J ~Z)

24 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 4.K symbolizacje Lech nie zrobi kolacji, chyba że jest bardzo głodny. A: Ala robi kolację. P: Ala pracuje do późna. W: Szef Ali wymaga, aby pracowała do późna. G: Lech jest głodny. L: Lech robi kolację. Ź: Lech pracuje do późna. Ś: Jest święto. G ~L ~G ~L Lech pracuje do późna w nocy wtedy i tylko wtedy, gdy Ala nie pracuje do późna. Ź ~P Nieprawda, że jeżeli jest święto, to Ala pracuje do późna. ~(Ś P) Jeśli jest święto, to Lech nie pracuje do późna. Ś ~Ź (e) (f) Ani Lech, ani Ala nie zrobią kolacji, jeśli jest święto. Ala nie pracuje do późna, chyba że szef od niej tego wymaga. Ś (~L ~A) Ś ~(L A) W ~P ~W ~P (g) Jeśli Ali szef nie wymaga od niej, aby pracowała do późna, to do późna nie pracuje. ~W ~P (h) Albo Ala bądź Lech zrobią kolację, albo oboje pracują do późna. (A L) (P Ź) (i) Albo Lech, albo Ala (ale nie jedno i drugie) zrobi kolację. (A L) ~(A L) (j) Jeżeli Lech pracuje do późna, a Ala do późna nie pracuje, to ona robi kolację. (Ź ~P) A (k) Jeśli Ala nie pracuje do późna, to Ala robi kolację, jeśli Lech pracuje do późna. ~P (Ź A) (l) Jeśli Lech zrobił kolację, to znaczy, że Ala pracowała do późna. L P (m) Lech robi kolację, tylko jeśli Ala pracuje do późna. L P ~P ~L (n) Jeśli Ala nie pracowała do późna, to Lech nie zrobił kolacji. ~P ~L (o) Lech i Ala oboje pracują do późna, tylko jeśli jest święto. (Ź P) Ś ~Ś ~(Ź P)

25 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 4.L symbolizacje 2 B: Ala będzie biegać. Ć: Ala będzie ćwiczyć. D: Ala popadnie w depresję. L: Ala będzie leniwa. M: Ala będzie właściwie umotywowana. O: Ala będzie się odchudzać. P: Ala przytyje. S: Ala będzie jeździć do pracy samochodem. W: Ala będzie pływać. Z: Ala będzie zmęczona. (e) (f) (g) (h) (i) (j) (k) Ala nie będzie ani biegać, ani pływać, choć będzie ćwiczyć. (~B ~W) Ć lub: ~(B W) Ć Ala nie będzie ani biegać, ani pływać, chyba że przytyje. ~P (~B ~W) lub: P (~B ~W) lub: ~P ~(B W) lub: P ~(B W) Ala będzie zarówno biegać, jak i pływać, chyba że będzie leniwa lub przytyje. ~(L P) (B W) lub: (L P) (B W) Ala nie przytyje, jeśli będzie pływać lub biegać, chyba że będzie jeździć do pracy samochodem i nie będzie się odchudzać. ~(S ~O) ((W B) ~P) lub: (S ~O) ((W B) ~P) Jeżeli Ala będzie pływać lub biegać, to nie przytyje chyba że będzie jeździć do pracy samochodem i nie będzie się odchudzać. (W B) [~(S ~O) ~P] lub: (W B) [(S ~O) ~P] Ala będzie albo biegać, albo pływać; jednakże nie będzie robić jednego i drugiego, chyba że przytyje. (B W) [~P ~(B W)] lub (B W) [P ~(B W)] lub... Ala będzie zdepresjonowana wtedy i tylko wtedy, gdy będzie leniwa i nie będzie ani się odchudzać, ani ćwiczyć. D [L (~O ~Ć)] lub: D [L ~(O Ć)] Ala przytyje wtedy i tylko wtedy, gdy nie będzie się odchudzać, nie będzie miała właściwej motywacji i nie będzie ani pływać, ani biegać. P [(~O ~M) (~W ~B)] lub: P [(~O ~M) ~(W B)] Jeżeli prawdą jest, że Ala przytyje wtedy i tylko wtedy, gdy nie będzie ani się odchudzać, ani ćwiczyć i gdy nie będzie ani biegać, ani pływać, to Ala będzie ćwiczyć lub biegać, a na pewno nie będzie jeździć do pracy samochodem. [P ((~O ~Ć) (~B ~W))] [(Ć B) ~S] lub [P (~(O Ć) ~(B W))] [(Ć B) ~S] Ala nie będzie zdepresjonowana tylko wtedy, gdy będzie się odchudzać bądź ćwiczyć i gdy nie będzie zanadto zmęczona. ~D [(O Ć) ~Z] lub ~[(O Ć) ~Z] ~~D Tylko jeśli Ala będzie właściwie umotywowana i nie będzie zbyt zmęczona, będzie się odchudzać lub ćwiczyć. (O Ć) (M ~Z) lub ~(M ~Z) ~(O Ć)

26 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 4.M symbolizacje 3 (e) (f) (g) (h) (i) (j) (k) Stopy oprocentowania wzrosną tylko wtedy, gdy poprawi się stan gospodarki i gdy wzrosną pożyczki konsumentów. Stan gospodarki nie ulegnie poprawie, a stopy oprocentowania nie wzrosną, jeżeli albo spadną wydatki konsumentów, albo wzrośnie bezrobocie. Wzrośnie albo bezrobocie, albo oprocentowanie, ale nie oba jednocześnie. Oprocentowanie nie wzrośnie, jeżeli stan gospodarki się poprawi, chyba że wzrosną pożyczki konsumentów. Deficyt zostanie zredukowany, a stan gospodarki się poprawi, o ile wzrosną podatki, a nie wzrosną stopy oprocentowania. Jeżeli stopy oprocentowania nie wzrosną, to deficyt zostanie zredukowany wtedy i tylko wtedy, gdy podwyższone zostaną podatki, a nie wzrosną wydatki rządowe. Podatki i stopy oprocentowania wzrosną, ale stan gospodarki się nie poprawi chyba że zredukowany zostanie deficyt. Ceny akcji spadną, a stan gospodarki się nie poprawi, jeśli stopy oprocentowania wzrosną, a deficyt nie zostanie zredukowany chyba że stworzonych zostanie więcej miejsc pracy lub poprawi się koniunktura w budownictwie mieszkaniowym. Nie wzrosną ani stopy oprocentowania, ani podatki, jeżeli zredukowany zostanie deficyt, ale jeżeli deficyt nie zostanie zredukowany, to podniesione zostaną zarówno podatki, jak i stopy oprocentowania. Stan gospodarki ulegnie poprawie pod warunkiem redukcji deficytu, ale deficyt zostanie zredukowany, tylko jeśli nie wzrosną wydatki rządowe i podniesione zostaną podatki. Tylko wówczas, gdy poprawi się koniunktura w budownictwie mieszkaniowym i w przemyśle samochodowym, powstaną nowe miejsca pracy i zredukowany zostanie deficyt; jednakże liczba miejsc pracy nie wzrośnie, chyba że wzrosną wydatki rządowe. A: Ceny akcji spadną. B: Bezrobocie wzrośnie. D: Deficyt zostanie zredukowany. G: Stan gospodarki ulegnie poprawie. K: Wydatki konsumentów spadną. M: Wystąpi wzrost koniunktury w budownictwie mieszkaniowym. O: Stopy oprocentowania wzrosną. P: Podatki wzrosną. R: Wzrośnie liczba miejsc pracy. S: Wystąpi wzrost koniunktury w przemyśle samochodowym. W: Wydatki rządowe wzrosną. Ż: Pożyczki konsumentów wzrosną. O (G Ż) ~(G Ż) ~O (~G ~Ż) ~O (K B) (~G ~O) (B O) ~(B O) Ż (G ~O) ~Ż (G ~O) (P ~O) (D G) ~O (D (P ~W)) D ((P O) ~G) ~D ((P O) ~G) (R M) [(O ~D) (A ~G)] ~(R M) [(O ~D) (A ~G)] (D (~O ~P)) (~D (P O)) (D ~(O P)) (~D (P O)) (D G) (D (~W P)) [(R D) (M S)] (W ~R) [(R D) (M S)] (~W ~R)

27 Rozwiązania ćwiczeń do rozdziału ROZDZIAŁ 5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Ćwiczenie 5.A wartości logiczne a) ( ) ( ) ( ) ( ) b) ( ( )) ( ( )) ( ) c) (( ) ) (( ) ) ) d) (( ) ) (( ) ) e) ( ) (( ) ) ( ) (( ) ) f) ( ( )) ( ( )) ( ( g) ( ) ( ) ( ) ( ) h) ( ( )) ( ( )) ( i) (( ) ) (( ) ) j) (( ) ) ( ) (( ) (

28 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 5.B wartości logiczne 2 a) ( ) ( ) () () b) ( ( )) ( ()) () f) ( ( )) ( ) ( ()) () () g) ( ) ( ) () () c) (( ) ) (() ) () h) ( ( )) ( ()) () d) (( ) ) (() ) () i) (( ) ) (() ) () e) ( ) (( ) ) () (() ) () j) (( ) ) ( ) (() ) () ()

29 Rozwiązania ćwiczeń do rozdziału k) [(( ) ) ( )] ( ( )) [(() ) ()] ( ()) [() ] () [] l) (( ) ) [( ) ( ( ))] (() ) [() ( ())] () [ ()] [] m) (( ) ( )) [( ) ( (( ) ))] (() ()) [() ( (() ))] () [() ( ())] [() ()] [] n) ( ) {[( ) ] [ [(( ) ) ]]} () {[() ] [ [(() ) ]]} {[] [ [() ]]} {[] [ []]} {[] []} {}

30 Rozwiązania ćwiczeń do rozdziału Ćwiczenie 5.C wartości logiczne 3 a) ~ (~ ) ~ (~ ) ~ (~ ) c) ~( ) (~ ) ~( ) (~ ) ~( ) (~ ) b) ~( ) ~( ) ~( ) ~( ) ) ~( d) (~ ~) ~( ) (~ ~ ) ~ ) (~ ~) ~( ) e) ~ (~ (~ )) ~ ( (~ )) ~ (~ (~ ) ~ ~( ( f) ( ) (~ (~ )) ( ) (~ ( )) (~ (~ )) (~ g) ~( ) ~( ( )) ~ ) ~( ( )) h) ~[( ) ~( )] ( ) ~[ ) ~ )] ( ) ) ~( ( ~[ ~( ) ] ~ )

31 Rozwiązania ćwiczeń do rozdziału 5 33 Ćwiczenie 5.D wartości logiczne 4 a) ~ c) ~ ~ e) ~ g) ~ (~ ) ( ) () i) (~ ~) ( ) () k) (~ ~) (~ ~) ( ) ( ) () () m) ~ [~ (~ ~)] [ ( )] [ ()] [] o) [~ (~ ~)] ~ [ ( )] [ ()] [] q) (~ ~) ~( ~) ( ) ~( ) () ~() b) ~( ) ~() d) ~( ) ~() f) ~ ~ h) ~ ~( ) ~() j) ~( ) ~() l) ~( ) ~( ) ~() ~() n) ~ ~[ ( )] ~[ ()] ~[] p) ~ ~[ ~( )] ~[ ~()] ~[ ] ~[] r) ~( ~) ~( ~) ~( ) ~( ) ~() ~()

32 Rozwiązania ćwiczeń do rozdziału 5 33 s) ~[~( ) ~] ~ ~[~() ] ~[ ] ~[] u) ~ ~[~ ~( ~)] ~[ ~( )] ~[ ~()] ~[ ] ~[] x) ~{~ ~[~ ~(~ ~)]} ~{ ~[ ~( )]} ~{ ~[ ~()]} ~{ ~[ ]} ~{ ~[]} ~{ } ~{} t) ~[~(~ ~) ~] ~ ~[~( ) ] ~[~() ] ~[ ] ~[] w) ~{~ ~[~ ~( ~)]} ~{ ~[~ ~( ~)]} ~{ ~[ ~( )]} ~{ ~[ ~()]} ~{ ~[ ]} ~{ ~[]} ~{ } ~{} y) ~(~ ~) ~[ ~( ~)] ~( ) ~[ ~( )] ~() ~[ ~()] ~[ ] ~[] Ćwiczenie 5.E negacje wielokrotne a) ~~ ~ b) ~~ c) ~~~ d) ~~~ ~ ~~ ~~ ~ ~

4. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO II

4. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO II 4. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO II W rozdziale tym kontynuujemy szkolenie umiejętności symbolizacji zdań języka naturalnego. Wzbogacimy ją o umiejętność symbolizacji pewnych dodatkowych spójników

Bardziej szczegółowo

3. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO I

3. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO I 3. SYMBOLIZACJA ZDAŃ JĘZYKA NATURALNEGO I Podobnie jak tłumaczenie z jednego języka naturalnego na drugi język naturalny, tak symbolizacja zdań języka naturalnego (tłumaczenie z języka naturalnego na język

Bardziej szczegółowo

15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA

15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA 15. DOWODZENIE VI WTÓRNE REGUŁY WNIOSKOWANIA I REGUŁY PODSTAWIANIA W systemie SD dla każdego spójnika istnieje reguła wprowadzania i reguła eliminacji tegoż spójnika. Niemniej jednak dowodzenie za pomocą

Bardziej szczegółowo

2. PIĘĆ SPÓJNIKÓW ZDANIOWYCH

2. PIĘĆ SPÓJNIKÓW ZDANIOWYCH 2. PIĘĆ SPÓJNIKÓW ZDANIOWYCH Cele Umiejętność rozróżnienia między zdaniami złożonymi i prostymi. Umiejętność tworzenia legendy symbolizacji. Znajomość funkrów negacji, koniunkcji, alternatywy, równoważności

Bardziej szczegółowo

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

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH 5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.

Bardziej szczegółowo

23. PODSTAWY SYMBOLIZACJI W LOGICE RELACJI

23. PODSTAWY SYMBOLIZACJI W LOGICE RELACJI 23. PODSTAWY SYMBOLIZACJI W LOGICE RELACJI Logika relacji jest pewnym poszerzeniem logiki predykatów. Również w logice relacji musimy opanować pewne podstawowe chwyty, które pozwolą nam dokonywać symbolizacji.

Bardziej szczegółowo

Elementy logiki i teorii mnogości

Elementy logiki i teorii mnogości Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy

Bardziej szczegółowo

Logika pragmatyczna dla inżynierów

Logika pragmatyczna dla inżynierów Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny

Bardziej szczegółowo

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

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 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 testu z filozofii jest zaliczenie testu z logiki i zaliczenie

Bardziej szczegółowo

9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ

9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ 9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ W rozdziale tym poznamy kolejne pojęcia logiczne, jak również ich operacjonalizacje za pomocą matryc logicznych. Wskażemy metodę określania, czy wnioskowanie

Bardziej szczegółowo

Lista 1 (elementy logiki)

Lista 1 (elementy logiki) Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły

Bardziej szczegółowo

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];

(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)]; Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +

Bardziej szczegółowo

16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW

16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW 16. PODSTAWOWE POJĘCIA LOGIKI KWANTYFIKATORÓW 16.1. Cele zrozumienie, w jakim sensie logika kwantyfikatorów jest poszerzeniem logiki zdań umiejętność symbolizacji prostych zdań indywiduowych i skwantyfikowanych

Bardziej szczegółowo

LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:

LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe: LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.

Bardziej szczegółowo

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie: Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na

Bardziej szczegółowo

11. DOWODZENIE II REGUŁY ELIM, WPR, MTP

11. DOWODZENIE II REGUŁY ELIM, WPR, MTP 11. DOWODZENIE II REGUŁY ELIM, WPR, MTP Cele Umiejętność stosowania reguł pierwotnych Elim, Wpr oraz reguły wtórnej MTP. Umiejętność przeprowadzania prostych dowodów z użyciem tych reguł. 11.1. Reguła

Bardziej szczegółowo

KURS MATEMATYKA DYSKRETNA

KURS MATEMATYKA DYSKRETNA KURS MATEMATYKA DYSKRETNA Lekcja 8 Wprowadzenie do logiki ZADANIE DOMOWE www.etrapez.pl Strona 1 Część 1: TEST Zaznacz poprawną odpowiedź (tylko jedna jest prawdziwa). Pytanie 1 Które z poniższych zdań

Bardziej szczegółowo

Rachunek zdań 1 zastaw zadań

Rachunek zdań 1 zastaw zadań Rachunek zdań 1 zastaw zadań Zadanie 1 ([1]) Wyraź w języku KRZ następujące zdania języka naturalnego: (a) Jeśli Jan jest ateistą to Jan nie jest katolikiem. (b) Jeśli Jan jest ateistą to nieprawda, że

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń). Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych

Bardziej szczegółowo

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

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0 ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru

Bardziej szczegółowo

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń).

Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych w nim wyrażeń). Tautologia to schemat zdań wyłącznie prawdziwych. Kontrtautologia to schemat zdań wyłącznie fałszywych. Zdanie analityczne (prawda analityczna) to zdanie, które jest zawsze prawdziwe (na mocy znaczeń użytych

Bardziej szczegółowo

Drzewa Semantyczne w KRZ

Drzewa Semantyczne w KRZ Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00

Bardziej szczegółowo

Karta pracy 6. Jak było w szkole?

Karta pracy 6. Jak było w szkole? Karta pracy 6 Jak było w szkole? Mini rozmowy 1 D:- Mam strasznie dużo lekcji na jutro a jestem bardzo zmęczony. R:- A co masz na jutro? D:- Musze przygotować się do testu z biologii z trzech działów i

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

LOGIKA I TEORIA ZBIORÓW LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja

Bardziej szczegółowo

6. RÓWNOWAŻNOŚĆ LOGICZNA

6. RÓWNOWAŻNOŚĆ LOGICZNA 6. RÓWNOWAŻNOŚĆ LOGICZNA W rozdziale tym wprowadzimy pojęcie równoważności logicznej oraz metodę jej sprawdzania za pomocą matryc logicznych. Wprowadzimy też ważne, choć pozornie ulotne rozróżnienie między

Bardziej szczegółowo

Osoba fizyczna Numer i seria mandatu Data nałożenia mandatu Kwota umorzenia

Osoba fizyczna Numer i seria mandatu Data nałożenia mandatu Kwota umorzenia Informacja o dokonanych umorzeniach należności Skarbu Państwa z tytułu grzywien nałożonych w formie mandatów karnych kredytowanych w I kwartale 2011 r. Umorzeń dokonano na podstawie: art. 64 ust. 1 w związku

Bardziej szczegółowo

Konsekwencja logiczna

Konsekwencja logiczna Konsekwencja logiczna Niech Φ 1, Φ 2,..., Φ n będa formułami logicznymi. Formuła Ψ wynika logicznie z Φ 1, Φ 2,..., Φ n jeżeli (Φ 1 Φ 2 Φ n ) Ψ jest tautologia. Formuły Φ 1, Φ 2,..., Φ n nazywamy założeniami

Bardziej szczegółowo

TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI

TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI TESTY LOGIKA redakcja naukowa ZBIGNIEW PINKALSKI Warszawa 2012 Spis treści Wykaz skrótów i symboli... 7 Wprowadzenie... 9 Rozdział I Nazwy... 11 Rozdział II Kategorie syntaktyczne... 17 Rozdział III Pytania...

Bardziej szczegółowo

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1 Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań II

Wstęp do logiki. Klasyczny Rachunek Zdań II Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem

Bardziej szczegółowo

LOGIKA Klasyczny Rachunek Zdań

LOGIKA Klasyczny Rachunek Zdań LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć

Bardziej szczegółowo

Lekcja 3: Elementy logiki - Rachunek zdań

Lekcja 3: Elementy logiki - Rachunek zdań Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie

Bardziej szczegółowo

Kontrola osiągnięć uczniów. prace domowe i na lekcji odpowiedzi ustne postawa wobec przedmiotu (aktywność i zachowanie na lekcji)

Kontrola osiągnięć uczniów. prace domowe i na lekcji odpowiedzi ustne postawa wobec przedmiotu (aktywność i zachowanie na lekcji) PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA POLSKIEGO DLA KLAS 4-6 Z TECHNIKI Przedmiotem oceniania są: 1. Wiadomości 2. Umiejętności 3. Postawa ucznia i jego aktywność Kontrola osiągnięć uczniów. 1. Pisemne:

Bardziej szczegółowo

17. PODSTAWY SYMBOLIZACJI

17. PODSTAWY SYMBOLIZACJI 17. PODSTAWY SYMBOLIZACJI W przeciwieństwie do logiki zdań, w której symbolizacja jest przedsięwzięciem raczej prostym, w logice kwantyfikatorów symbolizacja wymaga sporej wiedzy logicznej. Niekiedy aby

Bardziej szczegółowo

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

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz. 5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,

Bardziej szczegółowo

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Logika Matematyczna. Zadania Egzaminacyjne, 2007 Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.

Bardziej szczegółowo

1. WPROWADZENIE. O WNIOSKOWANIU

1. WPROWADZENIE. O WNIOSKOWANIU 1. WPROWADZENIE. O WNIOSKOWANIU Mówi się niekiedy, że logika jest nauką o myśleniu. W odróżnieniu jednak od psychologii logika jest nauką myślenia prawidłowego. Logika jest nie tylko nauką o myśleniu,

Bardziej szczegółowo

Rachunek zdań i predykatów

Rachunek zdań i predykatów Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)

Bardziej szczegółowo

LISTA LAUREATÓW Nagroda IV stopnia zestaw do grillowania

LISTA LAUREATÓW Nagroda IV stopnia zestaw do grillowania LISTA LAUREATÓW Nagroda IV stopnia zestaw do grillowania 1 Bronisław K. zweryfikowany 2 Marta B. w trakcie weryfikacji 3 Kazimierz S. zweryfikowany 4 Damian L. w trakcie weryfikacji 5 Marek Ś. w trakcie

Bardziej szczegółowo

Zestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących

Zestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących Zestaw 1 Zadanie 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących zdań: a) p (q r). b) Jeśli x + y = 1, to x 2 + y 2 1. c) Jeśli 2 + 2 = 4, to 3 + 3 = 8. Zadanie 2.

Bardziej szczegółowo

Dalszy ciąg rachunku zdań

Dalszy ciąg rachunku zdań Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f

Bardziej szczegółowo

Instrukcja do testu z matematyki zdania logiczne, wyrażenia algebraiczne, równania kwadratowe Zakres materiału

Instrukcja do testu z matematyki zdania logiczne, wyrażenia algebraiczne, równania kwadratowe Zakres materiału Instrukcja do testu z matematyki zdania logiczne, wyrażenia algebraiczne, równania kwadratowe Zakres materiału Nazwisko i imię... Klasa... Wersja testu... Test zawiera 12 zadań, doktórychsą 3 odpowiedzi

Bardziej szczegółowo

Lista zwycięzców za okres r.

Lista zwycięzców za okres r. Lista zwycięzców za okres 4.08.2014 10.08.2014 r. MIECZYSŁAW S. PIOTR W. ANASTAZJA B. STEFAN J. IRENA K. JERZY K. HELENA R. KAZIMIERZ C. JERZY G. ZOFIA M. EDWARD B. EWA S.P. MIECZYSŁAW D. GRZEGORZ K. JOLANTA

Bardziej szczegółowo

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),

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), Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w

Bardziej szczegółowo

LISTA LAUREATÓW Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M.

LISTA LAUREATÓW Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M. LISTA LAUREATÓW Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M. Iwona Ł. Agnieszka T. Ilona K. Milena G. Zdzisław K. Sandra

Bardziej szczegółowo

Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy

Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy www.awans.net Publikacje nauczycieli Agnieszka Grymek Zespół Szkół Ogólnokształcących, II Liceum Ogólnokształcące w Świdnicy Zestaw zadań z logiki na godzinny sprawdzian w różnych klasach Praca opublikowana

Bardziej szczegółowo

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

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań. Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek

Bardziej szczegółowo

4 Klasyczny rachunek zdań

4 Klasyczny rachunek zdań 4 Klasyczny rachunek zdań Elementy Logiki i Teorii Mnogości 2015/2016 Spis najważniejszych tautologii: (a) p p prawo wyłączonego środka (b) ( p) p prawo podwójnej negacji (c) p q q p (d) p q q p prawo

Bardziej szczegółowo

http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania

Bardziej szczegółowo

POLITYKA SŁUCHANIE I PISANIE (A2) Oto opinie kilku osób na temat polityki i obecnej sytuacji politycznej:

POLITYKA SŁUCHANIE I PISANIE (A2) Oto opinie kilku osób na temat polityki i obecnej sytuacji politycznej: POLITYKA SŁUCHANIE I PISANIE (A2) Oto opinie kilku osób na temat polityki i obecnej sytuacji politycznej: Ania (23 l.) Gdybym tylko mogła, nie słuchałabym wiadomości o polityce. Nie interesuje mnie to

Bardziej szczegółowo

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

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest

Bardziej szczegółowo

TRYB ROZKAZUJĄCY A2 / B1 (wersja dla studenta)

TRYB ROZKAZUJĄCY A2 / B1 (wersja dla studenta) TRYB ROZKAZUJĄCY A2 / B1 (wersja dla studenta) Materiał prezentuje sposób tworzenia form trybu rozkazującego dla każdej koniugacji (I. m, -sz, II. ę, -isz / -ysz, III. ę, -esz) oraz część do ćwiczeń praktycznych.

Bardziej szczegółowo

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

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi: 1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość

Bardziej szczegółowo

ĆWICZENIA DLA NAUCZYCIELA. 1. Oglądanie filmu.

ĆWICZENIA DLA NAUCZYCIELA. 1. Oglądanie filmu. ĆWICZENIA DLA NAUCZYCIELA 1. Oglądanie filmu. 2. Rozumienie filmu; mówienie. Proszę odpowiedzieć na pytania: a. Dlaczego Kuba na początku filmu był smutny? b. Od kogo dowiedział się o Złotej kaczce? c.

Bardziej szczegółowo

Logika matematyczna i teoria mnogości (I) J. de Lucas

Logika matematyczna i teoria mnogości (I) J. de Lucas Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.

Bardziej szczegółowo

Lista zwycięzców 30 zł na start z BZWBK24 mobile

Lista zwycięzców 30 zł na start z BZWBK24 mobile Lista zwycięzców 30 zł na start z BZWBK24 mobile KRYSTYNA S. KRYSTYNA C. EDWARD F. KAROLINA C. WOJCIECH T. JANINA F. FRANCISZKA G. HENRYK H. MIROSŁAW W. JULI BARBARA H. CELINA Ł. STANISŁAW K. HELENA S.

Bardziej szczegółowo

http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania

Bardziej szczegółowo

10. DOWODZENIE I REGUŁY WPR, ELIM, ELIM

10. DOWODZENIE I REGUŁY WPR, ELIM, ELIM 10. DOWODZENIE I REGUŁY WPR, ELIM, ELIM Żaden z tematów w podstawowym kursie logiki nie jest ani tak trudny ani tak użyteczny jak dowodzenie w systemie dedukcji naturalnej. Jednocześnie jak w żadnym dotąd

Bardziej szczegółowo

7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE

7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE 7. TAUTOLOGIE, KONTRTAUTOLOGIE I SCHEMATY LOGICZNIE NIEZDETERMINOWANE W rozdziale tym poznamy cztery własności zdań (prawdę logiczną, fałsz logiczny, prawdę przygodną, fałsz przygodny) oraz trzy własności

Bardziej szczegółowo

Matematyka ETId Elementy logiki

Matematyka ETId Elementy logiki Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,

Bardziej szczegółowo

Rachunek zdao i logika matematyczna

Rachunek zdao i logika matematyczna Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki

Bardziej szczegółowo

Zwycięzcy loterii promocyjnej Kamis Smaki 25-lecia. II losowanie edycja jesienna r.

Zwycięzcy loterii promocyjnej Kamis Smaki 25-lecia. II losowanie edycja jesienna r. Zwycięzcy loterii promocyjnej Kamis Smaki 25-lecia II losowanie edycja jesienna 1.08-31.10.2016 r. Laureat nagrody I stopnia 25 000 zł Kamila G. Laureaci nagród II stopnia młynków do przypraw Maria D.

Bardziej szczegółowo

logicznych oczywiście

logicznych oczywiście logicznych oczywiście PRZYPOMNIJMY ZWIĄZKI LOGICZNE to związki analityczne między zdaniami uwarunkowane wyłącznie: Strukturą tych zdań Znaczeniem stałych logicznych STĄD W NAJBLIŻSZEJ PRZYSZŁOŚCI: O strukturze

Bardziej szczegółowo

Przedmiotem oceniania są: A. Wiadomości. B. Umiejętności. C. Postawa ucznia i jego aktywność

Przedmiotem oceniania są: A. Wiadomości. B. Umiejętności. C. Postawa ucznia i jego aktywność PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA POLSKIEGO DLA KLAS 4-6 SZKOŁY PODSTAWOWEJ Przedmiotem oceniania są: A. Wiadomości. B. Umiejętności. C. Postawa ucznia i jego aktywność Przedmiotowy system oceniania

Bardziej szczegółowo

Beata Katarzyna Jędryka. Lubię szkołę

Beata Katarzyna Jędryka. Lubię szkołę Beata Katarzyna Jędryka Lubię szkołę Copyright by Instytut Polonistyki Stosowanej Wydział Polonistyki UW Warszawa 2015 ISBN 978 83 64111 42 6 Autor Beata Katarzyna Jędryka Konsultacje metodyczne Krystyna

Bardziej szczegółowo

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII 14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII Cele Pojęcie wynikania logicznego i równoważności logicznej w systemie SD. Umiejętność wykazywania zachodzenia relacji

Bardziej szczegółowo

Lp. Laureat Nagroda 1 Jarozlaw G. I stopnia 2 Jacek K. I stopnia 3 Przemysław B. I stopnia 4 Damian K. I stopnia 5 Tadeusz G. I stopnia 6 Bogumiła Ł.

Lp. Laureat Nagroda 1 Jarozlaw G. I stopnia 2 Jacek K. I stopnia 3 Przemysław B. I stopnia 4 Damian K. I stopnia 5 Tadeusz G. I stopnia 6 Bogumiła Ł. Lp. Laureat Nagroda 1 Jarozlaw G. I stopnia 2 Jacek K. I stopnia 3 Przemysław B. I stopnia 4 Damian K. I stopnia 5 Tadeusz G. I stopnia 6 Bogumiła Ł. II stopnia 7 Marek C. II stopnia 8 Agnieszka K. II

Bardziej szczegółowo

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

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"

Bardziej szczegółowo

Kawa? Proszę! Lista zwycięzców konkursu

Kawa? Proszę! Lista zwycięzców konkursu Kawa? Proszę! Lista zwycięzców konkursu I tura - zgłoszenia z dnia 16 kwietnia 2015 r. 1 Bartosz R 2 Robert F 3 Małgorzata R 4 Michał C Zephirus Warszawa 17 Stycznia 45B 5 Marcin N Zephirus Warszawa 17

Bardziej szczegółowo

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

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.

Bardziej szczegółowo

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

NOWE ODKRYCIA W KLASYCZNEJ LOGICE? S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE

Bardziej szczegółowo

WYBUCHAJĄCE KROPKI ROZDZIAŁ 1 MASZYNY

WYBUCHAJĄCE KROPKI ROZDZIAŁ 1 MASZYNY WYBUCHAJĄCE KROPKI ROZDZIAŁ 1 MASZYNY Witaj w podróży. Jest to podróż matematyczna oparta na historii mojej, Jamesa, która jednak nie wydarzyła się naprawdę. Kiedy byłem dzieckiem, wynalazłem maszynę -

Bardziej szczegółowo

Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M. Iwona Ł. Agnieszka T.

Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M. Iwona Ł. Agnieszka T. Anna K. Marek K. Karolina K. Barbara K. Katarzyna K. Kamil K. Małgorzata J. Renata F. Andrzej C. Anna N. Anna M. Katarzyna M. Iwona Ł. Agnieszka T. Ilona K. Milena G. Zdzisław K. Sandra M. Daniel S. Elżbieta

Bardziej szczegółowo

Wnioski z raportu ewaluacji końcowej VI edycji projektu Żyj finansowo! czyli jak zarządzać finansami w życiu osobistym

Wnioski z raportu ewaluacji końcowej VI edycji projektu Żyj finansowo! czyli jak zarządzać finansami w życiu osobistym Wnioski z raportu ewaluacji końcowej VI edycji projektu Żyj finansowo! czyli jak zarządzać finansami w życiu osobistym zrealizowanego w roku szkolnym 2013/2014 1 Wnioski Celem badania ewaluacyjnego jest

Bardziej szczegółowo

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

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

Bardziej szczegółowo

PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA POLSKIEGO DLA KLAS 4-6 SZKOŁY PODSTAWOWEJ W GOLI

PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA POLSKIEGO DLA KLAS 4-6 SZKOŁY PODSTAWOWEJ W GOLI 1 PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA POLSKIEGO DLA KLAS 4-6 SZKOŁY PODSTAWOWEJ W GOLI I. Przedmiotem oceniania są: A. Wiadomości. B. Umiejętności. C. Postawa ucznia i jego aktywność. 1. Ocenianie bieżące:

Bardziej szczegółowo

Mieczysława B. Małgorzata R.

Mieczysława B. Małgorzata R. Imię i Nazwisko Małgorzata K. Joanna W. Anna Z. Elżbieta G. Dorota D. Aneta Ś. Justyna Z. Marek M. Bożena N. Cecylia M. Maria Z. Aneta S. Taisa R. Justyna G. Jadwiga C. Paula W. Monika M. Marcin G. Marta

Bardziej szczegółowo

Imię i nazwisko:... OBROŃCY PRAWDY

Imię i nazwisko:... OBROŃCY PRAWDY Egzamin: Logika Matematyczna, I rok JiNoI, 30 czerwca 2014 Imię i nazwisko:........................................... OBROŃCY PRAWDY Wybierz dokładnie cztery z poniższych pięciu zadań i spróbuj je rozwiazać.

Bardziej szczegółowo

PODSTAWY LOGIKI I TEORII MNOGOŚCI

PODSTAWY LOGIKI I TEORII MNOGOŚCI Stefan Sokołowski PODSTAWY LOGIKI I TEORII MNOGOŚCI Inst Informatyki Stosowanej, PWSZ Elbląg, 2015/2016 Podstawy logiki i teorii mnogoci Wykład1,str1 Na http://studentpwszelblagpl/ stefan/dydaktyka/logteomno

Bardziej szczegółowo

III Memoriał Uli Marciniak. Siła logicznego myślenia. Uniwersytet Wrocławski

III Memoriał Uli Marciniak. Siła logicznego myślenia. Uniwersytet Wrocławski III Memoriał Uli Marciniak Siła logicznego myślenia Uniwersytet Wrocławski 24.03.2019 1 Nasza aspiryna pomaga lepiej o 57%, Nasz proszek lepiej pierze o 120%......zwalcza coraz więcej bólu...pranie coraz

Bardziej szczegółowo

WSTĘP ZAGADNIENIA WSTĘPNE

WSTĘP ZAGADNIENIA WSTĘPNE 27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).

Bardziej szczegółowo

Laureaci z poszczególnych dni: Stella Sz. Janina B. Ewa G. Przemysław S. Martyna K. Jarosław P. Rafał P. Renata N Michał K.

Laureaci z poszczególnych dni: Stella Sz. Janina B. Ewa G. Przemysław S. Martyna K. Jarosław P. Rafał P. Renata N Michał K. Laureaci z poszczególnych dni: 16-02-2018 Stella Sz. Janina B. Ewa G. Przemysław S. Martyna K. Jarosław P. Rafał P. Renata N. 17-02-2018 Michał K. Elżbieta J. Grzegorz P. Agata Sz. Krzysztof K. Karina

Bardziej szczegółowo

logicznych oczywiście

logicznych oczywiście logicznych oczywiście PRZYPOMNIJMY ZWIĄZKI LOGICZNE to związki analityczne między zdaniami uwarunkowane wyłącznie: Strukturą tych zdań Znaczeniem stałych logicznych STĄD W NAJBLIŻSZEJ PRZYSZŁOŚCI: O strukturze

Bardziej szczegółowo

KONSPEKT ZAJĘĆ Z JĘZYKA POLSKIEGO ZŁOTA KACZKA

KONSPEKT ZAJĘĆ Z JĘZYKA POLSKIEGO ZŁOTA KACZKA KONSPEKT ZAJĘĆ Z JĘZYKA POLSKIEGO ZŁOTA KACZKA GRUPA zaawansowana Cel ogólny: ocena decyzji podjętej przez bohatera legendy. Cele operacyjne: uczeń będzie znał legendę o Złotej kaczce w wersji współczesnej,

Bardziej szczegółowo

Wykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26

Wykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26 Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przez p, q będziemy oznaczać zdania. Każdemu zdaniu możemy przyporządkować wartość logiczną 1, gdy jest prawdziwe oraz wartość logiczną 0, gdy jest fałszywe. Oznaczmy wartość

Bardziej szczegółowo

PRZEDMIOTOWY SYSTEM OCENIANIA Z MATEMATYKI DLA KLAS IV - VI I. GŁÓWNE ZAŁOŻENIA PSO

PRZEDMIOTOWY SYSTEM OCENIANIA Z MATEMATYKI DLA KLAS IV - VI I. GŁÓWNE ZAŁOŻENIA PSO 1 PRZEDMIOTOWY SYSTEM OCENIANIA Z MATEMATYKI DLA KLAS IV - VI I. GŁÓWNE ZAŁOŻENIA PSO 1. Ocenianie w matematyce powinno wskazywać, jakie wiadomości i umiejętności są najważniejsze dla uczniów w procesie

Bardziej szczegółowo

P. H. Grice ( ) i teoria implikatury. sytuacja problemowa zastana przez Grice'a:

P. H. Grice ( ) i teoria implikatury. sytuacja problemowa zastana przez Grice'a: P. H. Grice (1913 1988) i teoria implikatury sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego P. H. Grice (1913 1988) i teoria implikatury

Bardziej szczegółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości

Bardziej szczegółowo

dr hab. Maciej Witek, prof. US http://kognitywistykanaus.pl/mwitek/ Etyka i komunikacja rok akademicki 2014/15

dr hab. Maciej Witek, prof. US http://kognitywistykanaus.pl/mwitek/ Etyka i komunikacja rok akademicki 2014/15 dr hab. Maciej Witek, prof. US http://kognitywistykanaus.pl/mwitek/ Etyka i komunikacja rok akademicki 2014/15 Temat 1 Co to jest komunikacja? Komunikacja konwencjonalna i niekonwencjonalna H.P. Grice

Bardziej szczegółowo

Kłamstwo a implikatura konwersacyjna

Kłamstwo a implikatura konwersacyjna Kłamstwo a implikatura konwersacyjna (1)Sekretariat przyjmuje interesantów we wszystkie dni tygodnia. (2) Nadawca przekonany jest, że (1) (3) Odbiorca nie jest przekonany, że (1) (4) Odbiorca nie jest

Bardziej szczegółowo

Kultura logiczna Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2 Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe

Bardziej szczegółowo

Kultura logiczna Klasyczny rachunek zdań 2/2

Kultura logiczna Klasyczny rachunek zdań 2/2 Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór

Bardziej szczegółowo

P. H. Grice i teoria implikatury. sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego

P. H. Grice i teoria implikatury. sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego P. H. Grice i teoria implikatury sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego P. H. Grice i teoria implikatury sytuacja problemowa zastana

Bardziej szczegółowo

CBOS CENTRUM BADANIA OPINII SPOŁECZNEJ POLITYK ROKU 2003 W POLSCE I NA ŚWIECIE BS/12/2004 KOMUNIKAT Z BADAŃ WARSZAWA, STYCZEŃ 2004

CBOS CENTRUM BADANIA OPINII SPOŁECZNEJ POLITYK ROKU 2003 W POLSCE I NA ŚWIECIE BS/12/2004 KOMUNIKAT Z BADAŃ WARSZAWA, STYCZEŃ 2004 CBOS CENTRUM BADANIA OPINII SPOŁECZNEJ SEKRETARIAT OŚRODEK INFORMACJI 629-35 - 69, 628-37 - 04 693-46 - 92, 625-76 - 23 UL. ŻURAWIA 4A, SKR. PT.24 00-503 W A R S Z A W A TELEFAX 629-40 - 89 INTERNET http://www.cbos.pl

Bardziej szczegółowo

ZWYCIĘZCY KONKURSU "APETYT NA MUNDIAL"

ZWYCIĘZCY KONKURSU APETYT NA MUNDIAL ZWYCIĘZCY KONKURSU "APETYT NA MUNDIAL" Data Tura Imię E-mail 14.06 15.06 16.06 Marcin P. Agnieszka D. Damian U. Agnieszka K. Mateusz S. Joanna M. Andrzej K. Damian H. Ewa G. Kamil W. Kamil S. Roman G.

Bardziej szczegółowo

IVa. Relacje - abstrakcyjne własności

IVa. Relacje - abstrakcyjne własności IVa. Relacje - abstrakcyjne własności Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny wiva. Krakowie) Relacje - abstrakcyjne własności 1 / 22 1 Zwrotność

Bardziej szczegółowo

Przedmiotowe zasady oceniania z informatyki rozszerzonej

Przedmiotowe zasady oceniania z informatyki rozszerzonej Zespół Szkół Ponadgimnazjalnych w Jasieńcu Technikum Żywienia i Usług Gastronomicznych Przedmiotowe zasady oceniania z informatyki rozszerzonej Anna Górecka 1. Wstęp Przedmiotowe zasady oceniania z informatyki

Bardziej szczegółowo