| FILIT
Obsah Chronológia Registre Vyhľadávanie Diskusia Správa |
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).
|