Tautológia výrokovej logiky

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť kód]

Pozri aj[upraviť | upraviť kód]

Externé odkazy[upraviť | upraviť kód]

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