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

De Cuba-Wiki
Línea 19: Línea 19:
==Ejercicio 05==
==Ejercicio 05==
==Ejercicio 06==
==Ejercicio 06==
<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>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>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 07==
==Ejercicio 07==

Revisión del 03:32 3 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

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

code0510

Ejercicio 10

code0511

Ejercicio 11