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 


Kategória:Logika