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