CZYLI ABC WNIOSKOWAŃ.

Podobne dokumenty
Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych część II.

Czyli mała gra detektywistyczna.

Logika Matematyczna (1-3) Zadania

Czyli o tautologiach, kontrtautologiach i zbiorach zdań semantycznie niesprzecznych.

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

Wstęp do logiki. Klasyczny Rachunek Zdań III

Czyli ABC sztuki dowodzenia

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

logicznych oczywiście

Podstawowe Pojęcia. Semantyczne KRZ

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

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

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

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Dowody założeniowe w KRZ

Logika Matematyczna. Zadania Egzaminacyjne, 2007

Drzewa Semantyczne w KRZ

Wstęp do logiki. Klasyczny Rachunek Zdań IV

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ń).

Logika Radosna 1. Jerzy Pogonowski. Semantyka KRZ. Zakład Logiki Stosowanej UAM

Rachunek zdań i predykatów

Notacja. - operator implikacji, - operator koniunkcji v operator alternatywy - operator równoważności ~ operator negacji Duża litera (np.

Elementy logiki i teorii mnogości

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

logicznych oczywiście

Logika cz. II wnioskowanie i metodologia nauk. Wykład dr K. A. Wojcieszek Pedagogium WSNS

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

Logika Matematyczna (2,3)

Czyli ABC logiki predykatów

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Wprowadzenie do logiki

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Czyli Wprowadzenie do logiki

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

Czyli o budowie drzew semantycznych.

Wybierz cztery z poniższych pięciu zadań. Poprawne rozwiazanie dwóch zadań oznacza zdany egzamin.

Wstęp do logiki. Klasyczny Rachunek Zdań II

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

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

LOGIKA I TEORIA ZBIORÓW

Kultura logiczna Wnioskowania dedukcyjne

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

Michał Lipnicki (UAM) Logika 11 stycznia / 20

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

Matematyka ETId Elementy logiki

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

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

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

Czyli tautologie, kontrtautologie i wynikanie w KRP.

dr Victoria Kamasa (ZSL IJ) logicznych oczywiście

Wprowadzenie do logiki Pojęcie wynikania

logicznych oczywiście

SZTUCZNA INTELIGENCJA

Logika dla socjologów

Logika. Michał Lipnicki. 20 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 20 listopada / 32

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

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

8. SKRÓCONA METODA ZERO-JEDYNKOWA

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

Naukoznawstwo (zadania)

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

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

Czyli o wnioskowaniach niededukcyjnych

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

Rachunek zdao i logika matematyczna

LOGIKA Dedukcja Naturalna

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

Zastosowanie logiki matematycznej w procesie weryfikacji wymagań oprogramowania

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.

Kultura logiczna Klasyczny rachunek zdań 2/2

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

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

Logika intuicjonistyczna

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

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

wypowiedzi inferencyjnych

Michał Lipnicki () Logika 20 listopada / 32

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

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

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

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne

13. DOWODZENIE IV REGUŁY WPR, ELIM, ~WPR, ~ELIM

Logika pragmatyczna dla inżynierów

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

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

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

Konspekt do wykładu z Logiki I

STANDARDOWE FUNKCJE PRZYNALEŻNOŚCI. METODY HEURYSTYCZNE wykład 6. (alternatywa dla s) (zdef. poprzez klasę s) GAUSSOWSKA F.

IVa. Relacje - abstrakcyjne własności

Indukcja matematyczna. Zasada minimum. Zastosowania.

Paradygmaty dowodzenia

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

Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1

9. INNE ZASTOSOWANIA METODY ZERO-JEDYNKOWEJ

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

PODSTAWOWE POJĘCIA DOTYCZĄCE RELACJI

Transkrypt:

CZYLI ABC WNIOSKOWAŃ

Witam serdecznie na Międzynarodowej Konferencji Śledczej! W dniu dzisiejszym zajmiemy się analizą wnioskowao w kilku spektakularnych sprawach ostatnich lat. Większośd z nich ma związek z PRL. Naszym zadaniem będzie stwierdzid, czy wnioskowania te są poprawne. Innymi słowy czy ich schematy są niezawodne. Życzę miłej pracy!

DETEKTYW IMPLIKACJA Mam do Paostwa kilka pytao na początek: 1. Jakie są elementy wnioskowania? 2. Z jakim znanym nam spójnikiem prawdziwościowym wiąże się wnioskowanie? 3. Co będzie poprzednikiem implikacji? 4. Co będzie następnikiem implikacji? 5. Kiedy implikacja jest fałszywa? 6. Kiedy wniosek będzie wynikał logicznie z przesłanek?

DETEKTYW IMPLIKACJA Jakie są elementy wnioskowania? 1. Przesłanki 2. Wniosek Z jakim znanym nam spójnikiem prawdziwościowym wiąże się wnioskowanie? Oczywiście z implikacją. Co będzie poprzednikiem implikacji? Oczywiście koniunkcja przesłanek Co będzie następnikiem implikacji? Oczywiście wniosek.

DETEKTYW IMPLIKACJA Kiedy implikacja jest fałszywa? IMPLIKACJA czyli wynikanie jest fałszywa wyłącznie, gdy prawdziwy jest poprzednik, a fałszywy następnik Innymi słowy gdy z prawdziwych przesłanek wynika fałszywy wniosek

DETEKTYW IMPLIKACJA Zatem Kiedy wniosek będzie wynikał logicznie z przesłanek? Oczywiście kiedy za każdym razem, gdy prawdziwe będą wszystkie przesłanki prawdziwy będzie również wniosek.

DETEKTYW IMPLIKACJA Dla pewności przyjrzyjmy się definicji: Zdanie Z wynika logicznie ze zbioru zdao {Z 1, Z 2,, Z n } zawsze i tylko wtedy, gdy Z wynika logicznie z koniunkcji, której członami są wszystkie elementy zbioru {Z 1, Z 2,, Z n }. (Stanosz 1985)

DETEKTYW IMPLIKACJA I jeszcze jedno: Wnioskowanie oparte jest na niezawodnej regule wnioskowania zawsze i tylko wtedy, gdy dla dowolnego podstawienia wniosek wynika logicznie z przesłanek, a zatem gdy nie może byd tak, że przesłanki są prawdziwe, a wniosek fałszywy. Wnioskowanie oparte na takiej regule nazywamy wnioskowaniem dedukcyjnym.

DETEKTYW IMPLIKACJA I na koniec JAK TO SPRAWDZID? Oczywiście apagogicznie, czyli nie wprost. A więc: 1. Zakładamy, że przesłanki są prawdziwe 2. Zakładamy, że wniosek jest fałszywy 3. Sprawdzamy, czy możemy wykluczyd tę sytuację. 4. Jeżeli TAK wnioskowanie jest oparte na regule niezawodnej.

SPRAWA 1 W napadzie biorą udział Arnold Przebiegły lub Kleofas Brutalny zawsze i tylko wtedy, gdy w napadzie bierze też udział Jarosław Rozpruwacz. Na miejscu zbrodni nie znaleziono żadnych wskazówek, że był tak Arnold. Brak też dowodów na to, że przebywał tam Kleofas. Wynika z tego niezbicie, że w napadzie brał udział zarówno Jarosław Rozpruwacz jaki i Lech Złośliwy.

SPRAWA 1 (p q) r p q (r s) Wnioskowanie nie jest dedukcyjne. Reguła jest zawodna. Kogoś kto je przeprowadził należy zwolnid.

SPRAWA 2 Skoro nieprawdą jest, że ukradziono równocześnie rubiny i diamenty, to pewnie złodziejem jest Skromny Henryk. Z całą pewnością nie dokonano kradzieży diamentów. Skoro ukradziono rubiny, to złodziejem był Chciwy Franek. Niezbicie dowodzi to, że złodziejami są Chciwy Franek lub Skromny Henryk.

SPRAWA 2 (p q) r q p s (s r) Wnioskowanie jest dedukcyjne. Jest oparte na regule niezawodnej. Wnioskującego zgłosid do odznaczenia!

SPRAWA 3 Napadu dokonał Adam A lub równocześnie w zbrodni brał udział Bartosz B i nie pozostawiono żadnych czytelnych dla policji śladów. A skoro udział Bartosza B jest pewny, to równocześnie nie pozostawiono żadnych śladów i napadu dokonał Adam A. Wynika z tego niezbicie, że winny jest AA.

SPRAWA 3 p (q r) q ( r p) p Wniosek: Wnioskowanie JEST dedukcyjne. Jest oparte na regule niezawodnej. Wnioskujący może awansowad.

SPRAWA 4 - PREWENCJA Mówię wam, jeśli Ala wyjdzie za mąż, to będzie awantura na weselu. Nie wierzycie? Wystarczy sie tylko zastanowid: jeśli Ala wyjdzie za mąż, to na pewno i Kasia i Dorota będą druhnami. A przecież jest jasne, ze dojdzie do awantury, gdy co najmniej jedna z nich będzie druhną, znamy je nie od dziś. (Pogonowski 2008)

SPRAWA 4 - PREWENCJA p (q r) (q r) s p s Wniosek: Koniecznie należy jechad na to wesele. Wnioskowanie jest dedukcyjne. Ktoś w prewencji ma łeb

SPRAWA 5 STARY WYJADACZ Skoro na miejscu zbrodni nie znaleziono śladów krwi, to równocześnie znaleziono odciski palców i winny jest Krwawy Baron. Skoro jeżeli znaleziono włosy to przestępca nie jest łysy, zatem nie znaleziono odcisków palców i śladów krwi. Idąc dalej - skoro przestępca jest łysy lub znaleziono włosy, to winny jest Krwawy Baron. Wynika stąd niezbicie, że aresztowad (i powiesid) należy Krwawego Barona.

SPRAWA 5 STARY WYJADACZ p (q r) (s t) ( q p) (t s) r r Wniosek: Co stary wyjadacz, to stary wyjadacz. Wnioskowanie jest oparte na niezawodnej regule wnioskowania.

SPRAWA 6 PANNA PODEJRZLIWA Skoro winny jest brunetem, to zdradza żonę. Jeżeli winny jest blondynem, to jest kobietą. Winny zdradza żonę lub ma dzieci. Wynika stąd niezbicie, że przynajmniej jedno z dwojga: winny jest brunetem lub winny jest blondynem.

SPRAWA 6 PANNA PODEJRZLIWA p q r s q r p s Wniosek: Panna jest zbyt podejrzliwa. Wnioskowanie nie jest dedukcyjne.

SPRAWA 7 DETEKTYW SKTUPULATNY Ustalono, co następuje: 1. Jest tak, że równocześnie jeżeli winna jest Anastazja P., to skradziono diamenty oraz jeżeli winny jest Anastazy P. to skradziono rubiny. 2. Jeżeli skradziono diamenty lub rubiny, to włamano się do sejfu. 3. Nie włamano się do sejfu. A zatem: Nie jest prawdą, że winne jest przynajmniej jedno z pary Anastazja P. i Anastazy P.

SPRAWA 7 DETEKTYW SKTUPULATNY (p q) (r s) (q s) t t (p r) Wniosek: Skrupulatnośd popłaca. Wnioskowanie jest oparte na regule niezawodnej.

PODSUMUJMY Wiemy już: Kiedy wniosek wynika logicznie z przesłanek Co to jest niezawodna reguła wnioskowania Co to jest wnioskowanie dedukcyjne

PODSUMUJMY Umiemy: Sprawdzid, czy dane wnioskowanie jest dedukcyjne Sprawdzid, czy dana reguła wnioskowania jest niezawodna