FILIT
Obsah
Chronológia
Registre
Diskusia
Správa
Zoznam Z

Zákon claviov

zákon Claviov

- tautológia výrokovej logiky ((żp -> p) -> p).