Slovník formalizovaného jazyka výrokovej logiky

Slovník formalizovaného jazyka výrokovej logiky sú základné (primitivne) symboly výrokových premenných a logických konštánt výrokovej logiky.

 Externé odkazy 


Kategória:Matematická logika
Kategória:Slovníky