Tautologia niki: Sprawdź czy wyrażenie jest tautologią RZ: (p⇒g) ⇒(∼g⇒p)

PW: Sprawdzanie implikacji jest szczególnie łatwe, bo może ona być fałszywa tylko w wypadku, gdy poprzednik (p⇒q) jest prawdziwy i jednocześnie następnik (∼q⇒p) jest fałszywy.. Czy jest to możliwe? Następnik (∼q⇒p) jest fałszywy wtedy i tylko wtedy, gdy (∼q) jest prawdą i p jest fałszem. Wówczas poprzednik (p⇒q) jest prawdziwy (z fałszu wynika fałsz). Odpowiedź: Nie jest to tautologia, dla p fałszywego i q fałszywego cała badana implikacja jest fałszywa.

Kimi: Dziękuję