Tautológia výrokovej logiky

Tautológia výrokovej logiky je formula, ktorá má v poslednom stĺpci pravdivostnej tabuľky vo všetkých riadkoch P. Tautológia vyrokovej logiky umožňuje vykonávať ekvivalentné transformácie formúl.

Tautológia výrokovej logiky - druhy/príklady 
Claviov zákon
zákon Dunsa Scota
zákon reflexivity implikácie
zákon sporu
zákon vylúčeného tretieho

Pozri aj 
 tautológia (rétorika)
 totožnostno-pravdivý výrok
 tautológia (tradičná logika)
 kontradikcia

Externé odkazy 
 

Logika