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: - sistema, això és, + sistema, és a dir,) |
||
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| 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, | + | [[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, és a dir, 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ó de 13:23, 4 juny 2018
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, é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.