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 41: | Línea 41: | ||
<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> | ||
<br>c)<math> \neg(\exists x)(x = x) \vee (\exists x)(\forall y) (x = y) \vee </math> | <br>c)<math> \neg(\exists x)(x = x) \vee (\exists x)(\forall y) (x = y) \vee b) </math> | ||
<br>d | <br>d)<math> c) \wedge (\exists x)P(x) </math> | ||
<br>e)<math> (\exists x)(P(x) \rightarrow (\forall y) (x = y)) </math> | <br>e)<math> (\exists x)(P(x) \rightarrow (\forall y) (x = y)) </math> | ||
<br>f)<math> (\exists x)(P(x) \wedge (\forall y) (x = y)) </math> | <br>f)<math> (\exists x)(P(x) \wedge (\forall y) (x = y)) </math> |