Edición de «Práctica 6 (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 38: | Línea 38: | ||
<br>e)<math> ((\forall x)(\exists y)Ama(x,y) \wedge \neg(\exists x)(\forall y)Ama(x,y)) \vee (\exists x)(\forall y)Ama(x,y) </math> | <br>e)<math> ((\forall x)(\exists y)Ama(x,y) \wedge \neg(\exists x)(\forall y)Ama(x,y)) \vee (\exists x)(\forall y)Ama(x,y) </math> | ||
==Ejercicio | ==Ejercicio 06== | ||
<br>a)<math> (\exists x)(\exists y) (x \neq y) </math> | <br>a)<math> (\exists x)(\exists y) (x \neq y) </math> | ||
<br>b)<math> (\exists x)((\exists y) (x \neq y) \wedge (\forall z)(x = z \vee y = z)) </math> | <br>b)<math> (\exists x)((\exists y) (x \neq y) \wedge (\forall z)(x = z \vee y = z)) </math> |