Resumen Reglas DNv 3-1 PDF

Preview

Summary

Warning: TT: undefined function: 32...

Description

FNC: Pasos para buscar la FNC (…v…v…)^(…v…v…)^… 1) 2) 3) 4) 5)

Eliminar implicaciones: A->B -||- ¬AvB Aplicar Morgan para quitar negaciones: ¬(AvB)= ¬A^¬B || ¬(A^B)= ¬Av¬B Quitar dobles negaciones: ¬¬A=A Aplicar distributiva: Av(B^C)=(AvB)^(AvC) Simplificar. Idempotencia (AvA)=A || (A^A)=A, Complementariedad A^¬A=CON, Av¬A=TEO, Absorción A^(BvA)=A, Av(B^A)=A

FNS: Pasos para buscar la Forma Normal Skolem 1) 2) 3) 4)

Si hay variables libres, cuantificarlas existencialmente poniendo el cuantificador Existencial a la izquierda del todo. Si hay variables repetidas, renombrarlas. Eliminar implicaciones: A->B -||- ¬AvB Aplicar Morgan para poner las negaciones delante de los predicados: a. ¬(AvB) -||- ¬A^¬B ¬(A^B) -||- ¬Av¬B b. ¬xP(x) -||- x¬ P(x) ¬ xP(x) -||- x¬P(x) 5) Eliminar cuantificadores existenciales usando skolemización: a. Si x no se encuentra en el ámbito de ningún sustituir x por una constante NUEVA que no se podrá volver a utilizar. Eliminar  b. Si x se encuentra en el ámbito de un sustituir x por una función f(x) NUEVA que no se podrá volver a utilizar. Eliminar  c. Si x se encuentra en el ámbito de más de un sustituir x por una función f(x,y,…) NUEVA que no se podrá volver a utilizar. Eliminar  NOTA: xy >> Se cambia la x por constante || yx >> Se cambia la x por función f(x) 6) Mover todos los a la izquierda. No deberían quedar  7) Pasar la matrix (P(x), T(x), Q(x), etc) a FNC....