Teorema de Corrección del Método de Árboles en Lógica de Predicados
Enviado por Programa Chuletas y clasificado en Matemáticas
Escrito el en
español con un tamaño de 2,49 KB
Teorema de corrección del método de árboles de la lógica de predicados
Siempre que se clasifica una inferencia como válida, al obtenerse un árbol cerrado, esa clasificación es semánticamente correcta. Lo cual equivale a decir que: si la lista inicial es satisfacible, el árbol nunca se cierra.
Lema de corrección
Siempre que se aplica una regla a una rama satisfacible, al menos una de las ramas en que se prolonga sigue siendo satisfacible y, por tanto, abierta.
Para probar este lema (y con ello el teorema de corrección) basta verificar que cuando las fbf (fórmulas bien formadas) de una rama son verdaderas para una interpretación I, y se aplica una regla, al menos una de las listas de conclusiones, añadida a la rama, es verdadera para... Continuar leyendo "Teorema de Corrección del Método de Árboles en Lógica de Predicados" »
catalán con un tamaño de 4,01 KB