Tablica prawdy, wnioskowanie Krzysztof: Proszę o pomoc: Za pomocą tablicy prawdy i metody wnioskowania w przód udowodnić lub obalić twierdzenie: φ₁,φ₂,φ₃ ⇒ Ψ gdzie: φ₁ = p ∧ q φ₂ = p ∨ r φ₃ = p → q Ψ = q ∨ r Poprawność wyniku sprawdzić metodą wnioskowania wstecz.

Krzysztof: up

Przemysław: Czy to jest prawda? ((p∧q)∧(p∨q)∧(p⇒q))⇒(q∨r) Może tak: Załóżmy, że to fałsz. czyli: ((p∧q)∧(p∨q)∧(p⇒q))=1 (q∨r)=0 ⇔(q=0 ∧ r=0) czyli: p∧q=1 ⇔(p=1∧q=1) Sprzeczność, bo wychodzi nam q=1 ∧ q=0, a to jest zawsze fałsz. W takim razie twierdzenie jest prawdziwe. Tablicą, to trzeba wypisać wszystkie możliwości i pokazać, że zawsze jest spełnione to nasze wynikanie.