FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam Z
Zákon claviov
zákon
Claviov
-
tautológia výrokovej logiky
((żp -> p) -> p).