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 (bot: - sistema, això és, + sistema, és a dir,) |
||
(2 revisions intermèdies per 2 usuaris 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 | + | [[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.