|
|
| Línea 25: |
Línea 25: |
| ==Ejercicio 10== | | ==Ejercicio 10== |
| ===a)=== | | ===a)=== |
| <br><math>(\forall x \exists y P(x, y)) \wedge \neg( \exists y \forall xP(x, y)) </math> | | <br><math>\neg (\forall x \exists y P(x, y) \rightarrow \exists y \forall xP(x, y)) </math> |
| <br><math>\forall x \exists y P(x, y) </math> | | <br><math>\forall x \exists y P(x, y) </math> |
| <br><math>\neg \exists y \forall x P(x, y) </math> | | <br><math>\neg \exists y \forall x P(x, y) </math> |
| <br><math>\exists y P(a, y) </math> | | <br><math>\exists y P(a1, y) </math> |
| <br><math>P(a, b) </math> | | <br><math>P(a1, b) </math> |
| <br><math>\neg\forall x P(x, b) </math> | | <br><math>\neg\forall x P(x, b) </math> |
| <br><math>\neg P(c, b)</math> | | <br><math>\neg P(a2, b)</math> |
| <br>Contraejemplo: I =< {a, b}, {(a, b), (b, a)} > | | <br><math>\exists y P(a2, y) </math> |
| | <br>... |
|
| |
|
| | | Con lo cual la rama queda saturada, por lo que la negacion es satisfacible |
| Bueno esto no se quien lo hizo pero creo que se equivoco. El contraejemplo no lo entendi pero estoy seguro que c puede ser a por lo tanto nos quedaria cerrado el arbol. Fijense....
| |
|
| |
|
| ===b)=== | | ===b)=== |
Revisión del 02:54 9 mar 2007
Ejercicio 01
Ejercicio 02
Ejercicio 03
a)
b)
c)
Ejercicio 04
a)
b)
c)
Ejercicio 05
Ejercicio 06
a)
b)
Ejercicio 07
Ejercicio 08
Ejercicio 09
a)
b)
c)
Ejercicio 10
a)
...
Con lo cual la rama queda saturada, por lo que la negacion es satisfacible
b)
×
Ejercicio 11
Ejercicio 12
a)
Si
b)
Si
Ejercicio 13
