Log6 wniosk

www.logic.amu.edu.pl

NA TROPIECZYLI ABC WNIOSKOWAŃ

Witam serdecznie na Międzynarodowej Konferencji Śledczej!W dniu dzisiejszym zajmiemy się analizą wnioskowań w kilku spektakularnych sprawach ostatnich lat. Większość z nich ma związek z PRL. Naszym zadaniem będzie stwierdzić, czy wnioskowania te są poprawne. Innymi słowy – czy ich schematy są niezawodne.

Życzę miłej pracy!

Mam do Państwa kilka pytań 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

www.logic.amu.edu.plwww.logic.amu.edu.pl

DETEKTYW IMPLIKACJAJakie są elementy wnioskowania?

1. Przesłanki2. 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łanekCo będzie następnikiem implikacji?

Oczywiście wniosek.www.logic.amu.edu.pl

DETEKTYW IMPLIKACJAKiedy implikacja jest fałszywa?IMPLIKACJA czyli wynikanie jest fałszywa wyłącznie, gdy

prawdziwy jest poprzednik, a fałszywy następnikInnymi słowy

gdy z prawdziwych przesłanek wynika fałszywy wniosek

ZatemKiedy 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 zdań {Z1, Z2,…, Zn} zawsze i tylko wtedy, gdy Z wynika logicznie z koniunkcji, której członami są wszystkie elementy zbioru {Z1, Z2,…, Zn} .

(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 zatemgdy nie może być tak, że przesłanki są prawdziwe, a wniosek fałszywy.Wnioskowanie oparte na takiej regule nazywamy wnioskowaniem dedukcyjnym.

I na koniec – JAK TO SPRAWDZIĆ?Oczywiście apagogicznie, czyli nie

wprost.A więc:

1. Zakładamy, że przesłanki są prawdziwe

2. Zakładamy, że wniosek jest fałszywy3. Sprawdzamy, czy możemy wykluczyć

tę sytuację.4. Jeżeli TAK – wnioskowanie jest oparte

na regule niezawodnej.

DETEKTYW IMPLIKACJA

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 zwolnić.

SPRAWA 2Skoro 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 .

¬(p ⋀ q) →r¬ qp→s(s⋁r)

Wnioskowanie jest dedukcyjne. Jest oparte na regule niezawodnej.

Wnioskującego zgłosić do odznaczenia!

SPRAWA 2

SPRAWA 3Napadu 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)

Wniosek: Wnioskowanie JEST dedukcyjne. Jest oparte na regule niezawodnej. Wnioskujący może

awansować.

SPRAWA 4 - PREWENCJAMówię wam, jeśli Ala wyjdzie za mąż, to będzie awantura na weselu. Nie wierzycie? Wystarczy sie tylko zastanowić: 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 → sWniosek: Koniecznie należy jechać 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 aresztować (i powiesić) należy Krwawego

Barona.

SPRAWA 5 – STARY WYJADACZ ¬ p →(q ⋀ r)(s → ¬ t) →(¬ q ⋀ ¬ p)

(t ⋁ s) → rr

Wniosek: Co stary wyjadacz, to stary wyjadacz. Wnioskowanie jest

oparte na niezawodnej regule wnioskowania.

SPRAWA 6 – PANNA PODEJRZLIWASkoro 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 → qr → sq ⋁ rp ⋁ s

Wniosek: Panna jest zbyt podejrzliwa. Wnioskowanie nie jest dedukcyjne.

SPRAWA 7 – DETEKTYW SKTUPULATNYUstalono, 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ść 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:Sprawdzić, czy dane wnioskowanie jest dedukcyjne Sprawdzić, czy dana reguła wnioskowania jest niezawodna

Log6 wniosk

Documents

Wniosk Dijkstry - mimuw.edu.plewama/zsi/dij.pdfWniosk o w anie dzia laniach z wyk o rzystaniem semant yki Dijkstry dla j, ezyk ow p rogramo w ania: p o dej scie imp erat ywne Ew a

azso.podpierwiastkiem.plazso.podpierwiastkiem.pl/materialy/zz33(log)pto.pdf · 84 15. 16. 18. Wyraž liczbe a za pomocQ p. a) a log6 4, p log6 9 b) a log6 8, p log6 3 c) a = log 25,

MATEMÁTICA Questões de 01 a 04 - Qconcursos.com · 2log100 3-x -log0,1 2-x =log6+log6 log67 Se a é raiz dessa equação, então calcule log6 a-2. Condição de existência: 2 0

ginomath.files.wordpress.com · Algebra 2 Unit 11 Practice Test l. If the graph of y = (1) Y = (2) y = log6 r IS reflected across the line (3) x = log, y Name: the resulting curve

VK 401 - Radic8 Ltd · VK 401 has been proven and tested to: - control airflow to optimise sterilisation in the breathing space - remove 99.9999% (log6 removal) of all respira-tory

Thanh Niên · Thé tích cùa khôi nón duqc giói han bði hình nón dã cho bäng B. 32m c. z. D. 96m bäng Câu 41: Cho x, y là các sô thurc duong thòa mãn log9 x = log6

O log6/26/12 webcache .googleusercontent.com/search?q =cach e:vlTT gJ51 C60J : . Download (168k) Link to this page Edit a …

Uncertainty in Bayesian Neural Nets · BNN •Variational Inference •Maximize lower bound on the marginal log-likelihood log’12 ≥!"$[log’12,,+log’,−log6,] Prior Posterior

Summary of formulae Powers - Home - Springer978-1-349-13551-6/1.pdf · ... 9 729 3 (vi) 16 0.25 -! (ix) log 1 q = x (x) ... = log2 + log3 . log6 119 g1Vmg x = log4.5 = · (vi)

High Containment Solutions · Solutions MD-Ci A truly integrated solution Our high-level Log6 surface disinfection chamber is a modular design, ideal for material production environments

Mariners Weather Log6 Mariners Weather Log Hurricane Avoidance Hurricane Avoidance Continued from Page 5 pressure system is detected. An example of this technique is diagramed in Figure

bimbelprivatsurabaya.combimbelprivatsurabaya.com/wp-content/uploads/2017/12/...DOKt 'MEN NEGARA SANGAT RAIIASIA Nama .5 Maternatika SMA/MA IPA/MIPA 6 log 25 log 62 log 3 log (5 3 log6)

Raport oddziaływania na środowisko 25.06miasto.zawidow.sisco.info/zalaczniki/652/Raport...2015/07/17 · OPIS METOD PROGNOZOWANIA ZASTOSOWANYCH PRZEZ WNIOSK ODAWC Ę ORAZ OPIS PRZEWIDYWANYCH

odr.plodr.pl/wp-content/uploads/2019/01/Instrukcja-wypełnienia-wniosk… · Web viewINSTRUKCJA. Wypełnienia „Formularza wniosku o wybór operacji do realizacji w ramach . Planu

CAT 2016 Question Paper- Solutions - Collegedunia · 13. Alternative Solution: log6. b log7 1095 . — log6 NOW, the product abcd 10g6 log7 log8 log5 log6 log7 log 25 10924 log24

lsamathwilson.weebly.com · log4 10t2uv-3 In 30. 32. 34. 36. 38. In 4df5 In ... log-2 8 50. 52. 54. 56. 58. log3 10 ... (y + 8) 5 log6 2 2 (z 9) — 3 Iny — In

Name: SOLUTIONS& * * * …eckertsc1.weebly.com/uploads/5/8/4/6/58466249/u1_test_2...log18 log6 =!1.61& & & & & &! Solve!the!following!equations.!!"!""! =4!!& & & & & & & & & & Simplify&left&side&to&¼&&then&see&that&¼&is&the&same&as&4O1.&&So&finally&4Ox&=&43xO2.&&so&&Ox=3xO2.&

Logscms8.revize.com/revize/lakelandschools/schools/lakelandhigh/Math/... · ... log2 = X 8) log3 — 1 = X 2 3 1 9) logr 3— = X 3 ... —log 6 36 = log6 n 2) log4 64 —log 4 16

Instrukcja wypełniania wniosk II Federalnej Agencji Pracy Center.pdf · Jobcenter-Instrukcja wypełniania-Polnisch.01.2016 Strona 1 z 16 Instrukcja wypełniania Wniosek o Bedarfsgemeinschaft