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íkladyUpraviť

Pozri ajUpraviť

Externé odkazyUpraviť

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