Elementos y pasos para una interpretación lógica

¿Qué elementos se requieren para una interpretación?

R: Un conjunto de símbolos (relaciones, funciones, constantes) y una estructura (dominio con relaciones seguna A, constantes definidas en A) esta también es formada por un conjunto de símbolos, la interpretación usa una función.

Paso 1: Eliminar el símbolo de implicancia (pq) utilizando el equivalente lógico pq

Paso 2: Reducir cada alcance de símbolo de negación (p) = p ; (pq)= pq ; (pq) = pq

Paso 3: Estandarizar las variables, de modo que cada cuantificador este ligado a una sola variable

x P(x) x(Q)x y(Q)y

Paso 4: Mover todos los cuantificadores al frente de la fórmula sin cambiar el orden que tiene.

Paso 5: Eliminar los cuantificadores existenciales

Paso 6: Eliminar el prefijo de la fórmula

Paso 7: Establecer una conjunción de disyunciones

Paso 8: Crear una cláusula que corresponda a cada conjunción

Reglas de resolución

1) Convertir todas las sentencias a forma clausal

2) Negar la cláusula hipótesis y agregarla al conjunto de cláusulas del paso 1

3) Obtener una contradicción