Wnioskowanie w KRZ

More documents

Recommendations

Info

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. www.logic.amu.edu.pl
SPRAWA 7 – DETEKTYW SKTUPULATNY (p → q) ⋀(r → s) (q ⋁ s) → t ¬ t ¬(p ⋁ r) Wniosek: Skrupulatnośd popłaca. <strong>Wnioskowanie</strong> jest oparte na regule niezawodnej. www.logic.amu.edu.pl
Page 1 and 2: CZYLI ABC WNIOSKOWAŃ www.logic.amu
Page 3 and 4: DETEKTYW IMPLIKACJA Mam do Paostwa
Page 5 and 6: DETEKTYW IMPLIKACJA Kiedy implikacj
Page 7 and 8: DETEKTYW IMPLIKACJA Dla pewności p
Page 9 and 10: DETEKTYW IMPLIKACJA I na koniec - J
Page 11 and 12: SPRAWA 1 (p ⋁ q) ≡r ¬p ¬ q ¬
Page 13 and 14: SPRAWA 2 ¬(p ⋀ q) →r ¬ q p→
Page 15 and 16: SPRAWA 3 p ⋁(q ⋀ ¬ r) q →(¬
Page 17 and 18: SPRAWA 4 - PREWENCJA p →(q ⋀ r)
Page 19 and 20: SPRAWA 5 - STARY WYJADACZ ¬ p →(
Page 21: SPRAWA 6 - PANNA PODEJRZLIWA p →
Page 25: PODSUMUJMY Umiemy: Sprawdzid, czy d

Wnioskowanie w KRZ

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?