FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam Z
Zákon dunsa scotta
zákon
Dunsa Scotta
-
tautológia výrokovej logiky
((p /\ żp) -> q).