Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

Algoritmoo método efectivo para poder decidir si una fórmula bien formada de un sistema de lógica es un teorema de dicho sistema, esto es, si puede ser objeto de deducción en una serie finita de pasos sometidos a reglas. La lógica de enunciados dispone de tales procedimientos(las tablas de verdad) pero no la lógica de predicados de primer orden, o la lógica elemental en general, según determina el teorema de Church.