Diferencia entre revisiones de «Práctica 6: Árboles del Cálculo de Predicados (Lógica y Computabilidad)»
De Cuba-Wiki
Sin resumen de edición |
|||
Línea 1: | Línea 1: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) | |||
∀x∃y(P(x, y) -> P(y, x)) | |||
¬∀x∀y(P(x, y -> ∃zP(z, x))) | |||
∃x∃y¬(P(x, y) -> ∃zP(z, x)) | |||
∃y¬(P(a1, y) -> ∃zP(z, a1)) | |||
¬(P(a1, a2) -> ∃zP(z, a1)) | |||
P(a1, a2) | |||
¬∃P(z, a1) | |||
∀z¬P(z, a1) | |||
∃y(P(a1, y) -> P(y, a1)) | |||
P(a1, a3) -> P(a3, a1) | |||
¬P(a1, a3) P(a3, a1) | |||
¬P(a3, a1) | |||
× | |||
¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) | |||
∀x∀y(P(x, y -> ∃zP(z, x))) | |||
¬∀x∃y(P(x, y) -> P(y, x)) | |||
∃x∀y(P(x, y) -> P(y, x)) | |||
∀y(P(a1, y) -> P(y, a1)) | |||
∀y(P(a1, y) -> ∃zP(z, a1)) | |||
P(a1, a2) -> ∃zP(z, a1) | |||
¬P(a1, a2) | |||
P(a1, a2) -> P(a2, a1) | |||
¬P(a1, a2) P(a2, a1) | |||
∃zP(z, a1) | |||
P(a3, a1) | |||
P(a1, a3) -> P(a3, a1) | |||
¬P(a1, a3) P(a3, a1) | |||
==Ejercicio 02== | ==Ejercicio 02== | ||
==Ejercicio 03== | ==Ejercicio 03== |
Revisión del 00:38 8 feb 2007
Ejercicio 01
¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) ∀x∃y(P(x, y) -> P(y, x)) ¬∀x∀y(P(x, y -> ∃zP(z, x))) ∃x∃y¬(P(x, y) -> ∃zP(z, x)) ∃y¬(P(a1, y) -> ∃zP(z, a1)) ¬(P(a1, a2) -> ∃zP(z, a1)) P(a1, a2) ¬∃P(z, a1) ∀z¬P(z, a1) ∃y(P(a1, y) -> P(y, a1)) P(a1, a3) -> P(a3, a1) ¬P(a1, a3) P(a3, a1) ¬P(a3, a1) × ¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) ∀x∀y(P(x, y -> ∃zP(z, x))) ¬∀x∃y(P(x, y) -> P(y, x)) ∃x∀y(P(x, y) -> P(y, x)) ∀y(P(a1, y) -> P(y, a1)) ∀y(P(a1, y) -> ∃zP(z, a1)) P(a1, a2) -> ∃zP(z, a1) ¬P(a1, a2) P(a1, a2) -> P(a2, a1) ¬P(a1, a2) P(a2, a1) ∃zP(z, a1) P(a3, a1) P(a1, a3) -> P(a3, a1) ¬P(a1, a3) P(a3, a1)