Diferencia entre revisiones de «Práctica 6: Árboles del Cálculo de Predicados (Lógica y Computabilidad)»
De Cuba-Wiki
| 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))))) | <br>¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) | ||
∀x∃y(P(x, y) -> P(y, x)) | <br>∀x∃y(P(x, y) -> P(y, x)) | ||
¬∀x∀y(P(x, y -> ∃zP(z, x))) | <br>¬∀x∀y(P(x, y -> ∃zP(z, x))) | ||
∃x∃y¬(P(x, y) -> ∃zP(z, x)) | <br>∃x∃y¬(P(x, y) -> ∃zP(z, x)) | ||
∃y¬(P(a1, y) -> ∃zP(z, a1)) | <br>∃y¬(P(a1, y) -> ∃zP(z, a1)) | ||
¬(P(a1, a2) -> ∃zP(z, a1)) | <br>¬(P(a1, a2) -> ∃zP(z, a1)) | ||
P(a1, a2) | <br>P(a1, a2) | ||
¬∃P(z, a1) | <br>¬∃P(z, a1) | ||
∀z¬P(z, a1) | <br>∀z¬P(z, a1) | ||
∃y(P(a1, y) -> P(y, a1)) | <br>∃y(P(a1, y) -> P(y, a1)) | ||
P(a1, a3) -> P(a3, a1) | <br>P(a1, a3) -> P(a3, a1) | ||
¬P(a1, a3) P(a3, a1) | <br>¬P(a1, a3) P(a3, a1) | ||
¬P(a3, a1) | <br>¬P(a3, a1) | ||
× | <br>× | ||
¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) | <br>¬((∀x∃y(P(x, y) -> P(y, x))) -> (∀x∀y(P(x, y -> ∃zP(z, x))))) | ||
∀x∀y(P(x, y -> ∃zP(z, x))) | <br>∀x∀y(P(x, y -> ∃zP(z, x))) | ||
¬∀x∃y(P(x, y) -> P(y, x)) | <br>¬∀x∃y(P(x, y) -> P(y, x)) | ||
∃x∀y(P(x, y) -> P(y, x)) | <br>∃x∀y(P(x, y) -> P(y, x)) | ||
∀y(P(a1, y) -> P(y, a1)) | <br>∀y(P(a1, y) -> P(y, a1)) | ||
∀y(P(a1, y) -> ∃zP(z, a1)) | <br>∀y(P(a1, y) -> ∃zP(z, a1)) | ||
P(a1, a2) -> ∃zP(z, a1) | <br>P(a1, a2) -> ∃zP(z, a1) | ||
¬P(a1, a2) | <br>¬P(a1, a2) | ||
P(a1, a2) -> P(a2, a1) | <br>P(a1, a2) -> P(a2, a1) | ||
¬P(a1, a2) P(a2, a1) | <br>¬P(a1, a2) P(a2, a1) | ||
∃zP(z, a1) | <br>∃zP(z, a1) | ||
P(a3, a1) | <br>P(a3, a1) | ||
P(a1, a3) -> P(a3, a1) | <br>P(a1, a3) -> P(a3, a1) | ||
¬P(a1, a3) P(a3, a1) | <br>¬P(a1, a3) P(a3, a1) | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
Revisión del 00:39 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)
