Udowodnic, ze podany rachunek zdan jest tautologia [p⇒(~q)]⇔{[~(~q)]⇒~p} Arsenal: Udowodnic, ze podany rachunek zdan jest tautologia [p⇒(~q)]⇔{[~(~q)]⇒~p} z gory dziekuje za pomoc

mm: tabelka 0-1

mm: potrafisz?

Arsenal: nie bardzo bo to jest dla brata a ja tego nie mialem jeszcze

Arsenal: przekaze mu to pewnie bedzie wiedzial o co chodzi dzieki

mm: tylko to trudno tutaj napisać

Arsenal: ok to dziekuje za pomoc musi sobie poradzic sam

mm: p q ~q p⇒~q ~(~q) ~p ~(~q)⇒~p [p⇒(~q)]⇔{[~(~q)]⇒~p} 1 1 0 0 1 0 0 1 i dalej pozostałe przypadki dla 1 0 0 1 0 0

mm: coś się udało, ale nie dużo

Arsenal: dziekuje za pomoc

Basia: p q ~q p⇒(~q) ~(~q) ~p ~(~q)⇒~p [ p⇒(~q) ] ⇔ [ ~(~q)⇒~p ] ---------------------------------------------------------------------- ---------------------- 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 ------------------------------------------------------------------------------- czyli zdanie [ p⇒(~q) ] ⇔ [ ~(~q)⇒~p ] jest stale prawdziwe czyli jest tautologią

Arsenal: dziekuje