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