Càlcul lògic
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
O algorisme deductiu. Llenguatge formal de la lògica que, mitjançant un conjunt de regles, permet decidir si una fórmula és deduïble d'unes altres. Es distingeixen en la lògica elemental, com a càlculs més usuals, el càlcul d'enunciats, o lògica d'enunciats, i càlcul cuantificacional o de cuantores, o quantificadors, o lògica de predicats, segons les fórmules corresponents continguin només connectors o també quantificadors.