tautologia kasik: (p ⋁ q) ⋀ r ⇒ (¬ p ⋁ ¬ r) ⋀ r czy ktoś mogłby mi sprawdzic?.. wychodzi mi ze to nie jest implikacja.. czy się mylę? pomocy

J : trzeba zrobić tabelę i sprawdzić, czy to jest tautologia...

kasik: znaczy tam wyzej sie pomyliłam nie impikacja tlyko tautologia tak z rozmachu napisałam

kasik: no własnie zrobiłam i prosiłabym o sprawdzenie bo gdzies zobaczłam ze ma wyjsc tautologia a mi wychodzi ze nie... hmm

J : ...

kasik: pomożesz?

kasik: bo juz dostaje oczopląsu od tych 1 i 0

Saizou : sprawdźmy dla p=1 q=1 r=1 p ⋁ q=1 (p ⋁ q)⋀r=1 (¬ p ⋁ ¬ r)=0 (¬ p ⋁ ¬ r) ⋀ r=0 (p ⋁ q) ⋀ r ⇒ (¬ p ⋁ ¬ r) ⋀ r=0 zatem nie jest to tautologia

kasik: ojj czyli mam dbrze dziękuuuje BARDZOO