FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

Tautológia výrokovej logiky


tautológia výrokovej logiky

- formula, ktorá má v poslednom stĺpci 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>