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
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.