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

decidibilitat LÒG.

Propietat dels sistemes formals que disposen d’un procediment de decisió efectiu, o un algoritme, que permet determinar si tota expressió ben formada del sistema és o no és deduïble dins el sistema. Als sistemes formals que gaudeixen d'aquesta propietat per a totes les seves fórmules o expressions se’ls anomena decidibles. Una expressió ben formada és deduïble si és un teorema del sistema. Al seu torn, una fórmula és decidible dins un sistema si ella o la seva negació són teoremes del sistema.

Segons el teorema de Church, la lògica de predicats de primer ordre no disposa de tal procediment de decisió. Ho posseeix, en canvi, la lògica d'enunciats: les taules de veritat; (i les expressions monàdiques de la lògica de predicats, reductibles a expressions de lògica d’enunciats)

 


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