FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam T |
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.
------------------------------
|