Question

Witam potrzebuję pomocy z zadaniem czy podane zdanie (~p^q)=>(q=>p) jest tautologią? Z góry dzięki za pomoc

Answer 1

(~p^q)=>(q=>p)

~p ^ q   ⇒( q ⇒ p)

0  0   0   1  0  0  1

1  0   0   1  0  1  0

0  0   1   1  1  1  1

1  1   1   0   1  0 0

Odp. Nie jest to tautologia.

 

Proponuje skrocona wersje:

Zakladamy, ze lewa strona jest prawdziwa:

(~p^q) ⇒(q⇒p)

1   1  1 0 1  0  0

Nie jest tautologia, poniewaz implikacja jest tylko wtedy falszywa, gdy z prawdy wynika falsz.