Dobrze to jest?? pomocy Dżonyyy: Dobrze to zrobiłem [(p⋁q)⋀(p⇒q)]⇒(q⇒p) p q p⋁q p⇒q p[(p⋁q)⋀(p⇒q)] [(p⋁q)⋀(p⇒q)]⇒(q⇒p) 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 Czy podane zdanie jest tautologiem

Janek191: Źle zrobione

Dżonyyy: Kurde to nie ogarniam / W którym momencie popełniłem błąd?

Janek191: i p I q I p ∨ q I p ⇒ q I ⋀ I q ⇒p I ⇒ I 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 To zdanie nie jest tautologią rachunku zdań.

Dżonyyy: Janek dzięki ale co jest w kolumnie obok p ⇒ q p[(p⋁q)⋀(p⇒q)]

Dżonyyy: Ii tej obok

Eta: p q p∨q p⇒q (p∨q)∧(p⇒q) q⇒p [(p∨q)∧(p⇒q)]⇒(q⇒p) 0 1 1 1 1 0 0 nie jest tautologią

Dżonyyy: Oki dziękuję Wam bardzo

Dżonyyy: aa dlaczego w ostatniej kolumnie wyszło jak wyszło? ja bym tak zrobił ost kolumnę: 1 0 0 0

Eta: W ostatniej kolumnie ( w/g moich ustawień z 23:19 0 0 0 1 0 1 1