Procediment de decisió
De Wikisofia
La revisió el 09:44, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Algorisme o mètode efectiu per poder decidir si una fórmula bé formada d'un sistema de lògica és un teorema d'aquest s...».)
La revisió el 09:44, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Algorisme o mètode efectiu per poder decidir si una fórmula bé formada d'un sistema de lògica és un teorema d'aquest s...».)
Algorisme o mètode efectiu per poder decidir si una fórmula bé formada d'un sistema de lògica és un teorema d'aquest sistema, això és, 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.