Capçalera
 FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Temes  -

El saber filosòfic El coneixement La realitat L'ésser humà L'acció humana La societat

Història -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporània Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

càlcul lògic LÓG.

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.

 


Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.