Výrokový kalkul
Vzhled
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.
![]() |
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |