Procediment de decisió
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
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.