Logika Maciek: Witam, mam za zadanie zbadać, czy wyrażenie jest tautologią, podsunie ktoś jak rozpisać to w tabeli? p=>{p=>[p=>(p=>p)]}

Adamm: implikacja jest nieprawdziwa tylko wtedy gdy poprzednik jest prawdziwy, a następnik fałszywy więc musi być że p jest prawdą ale wtedy cała implikacja jest prawdziwa czyli jest to tautologia

Maciek: czyli do takiego przykładu wystarczy opisowa odpowiedź bez tabeli, tak?

Adamm: tak

Maciek: super, dzięki wielkie