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 34: | Línea 34: | ||
<br>a)<math> \neg(\exists x) Politico(x) \wedge Honesto(x) </math> | <br>a)<math> \neg(\exists x) Politico(x) \wedge Honesto(x) </math> | ||
<br>b)<math> \neg(\forall x) Ave(x) \rightarrow Vuela(x) </math> | <br>b)<math> \neg(\forall x) Ave(x) \rightarrow Vuela(x) </math> | ||
<br>c)<math> (\forall x) | <br>c)<math> (\forall x) (Trasc(x) \rightarrow Irrac(x)) \wedge (Irrac(x) \rightarrow Trasc(x)) </math> | ||
<br>d)<math> (\exists x) ( Ivanoff(x) \wedge (\forall y) \neg Odia(y,y) \rightarrow Odia(x,y) )</math> | <br>d)<math> (\exists x) ( Ivanoff(x) \wedge (\forall y) \neg Odia(y,y) \rightarrow Odia(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> | <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> |