FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam Z
Zákon vylúčeného tretieho
zákon
vylúčeného tretieho
-
tautológia výrokovej logiky
(p \/ żp).