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 upraviť
Pozri aj upraviť
Externé odkazy upraviť
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.