Elementos y pasos para una interpretación lógica
Enviado por Programa Chuletas y clasificado en Informática y Telecomunicaciones
Escrito el en español con un tamaño de 1,58 KB
¿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
... Continuar leyendo "Elementos y pasos para una interpretación lógica" »