FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

Slovník formalizovaného jazyka výrokovej logiky


slovník formalizovaného jazyka výrokovej logiky

- základné (primitivne) symboly výrokových premenných a logických konštánt výrokovej logiky ( L332;97).