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

decisió, procediment de LÒG.

Algorisme o mètode efectiu per poder decidir si una fórmula ben formada d’un sistema de lògica és un teorema d'aquest sistema, és a dir, si pot ser objecte de deducció en una sèrie finita de passos sotmesos a regles. La lògica d’enunciats disposa de tals procediments (les taules de veritat;) però no la lògica de predicats de primer ordre, o la lògica elemental en general, segons determina el teorema de Church.

 


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