tautologia. rada Kinga: PROSZĘ O RADĘ! Sprawdź czy zdanie jest tautologią: [(~p) ⇒ p] ⇒ p wypisałam poszczególne zdania: p | ~p | (~p)⇒p | L⇒P 1 | 0 | 1 | 1 0 | 1 | 0 | 1 lewa: [(~p) ⇒ p] prawa: p Dobrze pomyślałam? Czyli zdanie to jest tautologią bo w obu przypadkach implikacja jest prawdziwa?

PW: Dobrze, ale wystarczy zbadać przypadek, gdy wartość logiczna p jest równa 0 (p jest następnikiem, a tylko wtedy gdy następnik jest fałszywy, implikacja mogłaby być fałszywa).

Kinga: a no tak dzięki za rade!