| FILIT
Obsah Chronológia Registre Vyhľadávanie Diskusia Správa |
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.
------------------------------
|