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