Diferencia entre revisiones de «Práctica 6 (LyC Verano)»

De Cuba-Wiki
Línea 27: Línea 27:
<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 b) </math>
<br>c)<math> \neg(\exists x)(x = x) \vee (\exists x)(\forall y) (x = y) \vee </math> Punto b)
<br>d)<math> c) \wedge (\exists x)P(x) </math>
<br>d)Punto c) <math> \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>

Revisión del 17:00 4 mar 2007

Ejercicio 01

Ejercicio 02

Ejercicio 03

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)
b)
c)
d)
e)

Ejercicio 06


a)
b)
c) Punto b)
d)Punto c)
e)
f)

Ejercicio 07

Ejercicio 08

Ejercicio 09

code0510

Ejercicio 10

code0511

Ejercicio 11