-càlcul lògic-
 |
 |
|
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’altres. Es distingeixen en la lògica elemental, com càlculs més usuals, el càlcul d’enunciats, o lògica d’enunciats, i càlcul quantificacional o de quantors, o quantificadors, o lògica de predicats, segons les fórmules corresponents continguin només connectors o també quantificadors.
Aquesta obra està sota una llicència
de Creative Commons.