Slovník formalizovaného jazyka výrokovej logiky
Z Wikipédie
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.
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok