Teorema de Completitud: Método de Árboles en Lógica de Predicados
Clasificado en Matemáticas
Escrito el en
español con un tamaño de 6,09 KB
Teorema de Completitud del Método de Árboles en la Lógica de Predicados
Si una inferencia es válida, el método de árboles la clasifica como tal al obtenerse un árbol cerrado. Esto equivale a decir que: si el árbol nunca se cierra, la lista inicial es satisfacible.
Excluiremos de nuestra consideración aquellas inferencias o FBFs (Fórmulas Bien Formadas) en las que aparezcan letras proposicionales, símbolos funcionales o el signo de identidad. La prueba se basa en el razonamiento a partir de una rama abierta en un árbol completo. En el caso de árboles infinitos, se supondrá que son generados según el diagrama de flujo para la construcción de árboles.
A continuación, describiremos una interpretación I tal que todas las FBFs de... Continuar leyendo "Teorema de Completitud: Método de Árboles en Lógica de Predicados" »
catalán con un tamaño de 2,89 KB