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

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.