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 


Kategória:Logika