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