Diferència entre revisions de la pàgina «Procediment de decisió»
De Wikisofia
m (Text de reemplaçament - "bé formada" a "ben formada") |
m (bot: -per poder +per a poder) |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | [[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]]. | + | [[algorisme|Algorisme]] o mètode efectiu per a 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 23:37, 31 ago 2017
Algorisme o mètode efectiu per a 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.