Slovník formalizovaného jazyka výrokovej logiky

Pridať odkazy
z Wikipédie, slobodnej encyklopé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.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Zdroj: „https://sk.wikipedia.org/w/index.php?title=Slovník_formalizovaného_jazyka_výrokovej_logiky&oldid=4026580“