Edición de «Práctica 7 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 90: | Línea 90: | ||
==Ejercicio 10== | ==Ejercicio 10== | ||
===a)=== | ===a)=== | ||
<br><math> | <br><math>(\forall x \exists y P(x, y)) \wedge \neg( \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( | <br><math>\exists y P(a, y) </math> | ||
<br><math>P( | <br><math>P(a, b) </math> | ||
<br><math>\neg\forall x P(x, b) </math> | <br><math>\neg\forall x P(x, b) </math> | ||
<br><math>\neg P( | <br><math>\neg P(c, b)</math> | ||
<br>< | <br>Contraejemplo: I =< {a, b}, {(a, b), (b, a)} > | ||
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)=== |