Výrokový kalkul
Výrokový kalkul je propozicionálny kalkul - logický systém, ktorý formalizuje úvahy založené na štruktúre zložených výrokov nezávisle od vnútornej štruktúry jednoduchých výrokov.
Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |