|
FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam K |
Kalkul výrokovýkalkul výrokový - propozicionálny kalkul - logický systém, ktorý formalizuje úvahy založené na štruktúre zloženych výrokov nezávisle od vnutornej štruktúry jednoduchých výrokov ( L53;63).
|