Diferència entre revisions de la pàgina «Procediment de decisió»
De Wikisofia
(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...».) |
m (Text de reemplaçament - "bé formada" a "ben formada") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | [[algorisme|Algorisme]] o mètode efectiu per poder decidir si una fórmula | + | [[algorisme|Algorisme]] o mètode efectiu per poder decidir si una fórmula ben formada d'un sistema de lògica és un [[teorema|teorema]] d'aquest sistema, això és, si pot ser objecte de [[deducció|deducció]] en una sèrie finita de passos sotmesos a regles. La [[lògica|lògica d'enunciats]] disposa de tals procediments (les [[lògica|taules de veritat]]) però no la [[lògica|lògica de predicats]] de primer ordre, o la lògica elemental en general, segons determina el [[teorema de Church|teorema de Church]]. |
{{Etiqueta | {{Etiqueta | ||
Revisió del 17:50, 20 ago 2015
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, 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.