Práctica 6 (LyC Verano)

Ejercicio 04

a)

Esta propiedad equivale a: Para todo x,y en R tq x<y, existe un z en Q tq x<z<y
Esto significa que los racionales son densos en los reales, es decir, siempre hay un racional entre dos reales cualesquiera.

b)

Esta propiedad significa: Todos los dias nace un esclavo

c)

Esta propiedad significa: La suma de pares es impar (No habran querido poner al reves?)

d)

• 1: Hay una persona x que quiere a todas las personas
• 2: Toda persona y es querida al menos por una persona x
• 3: Hay una persona x tal que, si hay una persona y que quiere a todas las personas, entonces x quiere a y
• 4: Hay una persona x que no quiere a ninguna persona

Ejercicio 05

a)$\neg (\exists x)Politico(x)\wedge Honesto(x)$
b)$\neg (\forall x)Ave(x)\rightarrow Vuela(x)$
c)$(\forall x)(Trasc(x)\rightarrow Irrac(x))\wedge (Irrac(x)\rightarrow Trasc(x))$
d)$(\exists x)(Ivanoff(x)\wedge (\forall y)\neg Odia(y,y)\rightarrow Odia(x,y))$
e)$((\forall x)(\exists y)Ama(x,y)\wedge \neg (\exists x)(\forall y)Ama(x,y))\vee (\exists x)(\forall y)Ama(x,y)$

Ejercicio 06

a)$(\exists x)(\exists y)(x\neq y)$
b)$(\exists x)((\exists y)(x\neq y)\wedge (\forall z)(x=z\vee y=z))$
c)$\neg (\exists x)(x=x)\vee (\exists x)(\forall y)(x=y)\vee b)$
d)$c)\wedge (\exists x)P(x)$
e)$(\exists x)(P(x)\rightarrow (\forall y)(x=y))$
f)$(\exists x)(P(x)\wedge (\forall y)(x=y))$

Ejercicio 09

code0510

Ejercicio 10

code0511