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ť

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.