PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR SEDE

IBARRA

NOMBRE: FELIX LOPEZ, IVAN BOLAÑOS

CURSO: 1°NIVEL SISTEMAS

FECHA: 19 – 04 – 2011

TRABAJO DE CALCULO PROPOCICIONAL

1. Todos los gatos tienen patas

v (x) (G(x) P(x))

2. Ningún perro ladra
Todo perro no ladra

v (x) (P(x) ∟L(x))

3. Cada estudiante es inteligente

v (x) (E(x) I(x))

4. Cada uno de los niños es curioso

v (x) (N(x) C(x))

5. Cualquiera puede estudiar matemáticas

v (x) (P(x) E(x))

6. Siempre que Luis juega pierde.

v (x) (L(x) P(x))

 7. algún número es impar

Ǝ (x) (N(x) ˄ P(x))

8. Algún león no vive en África

Ǝ (x) (L(x) ˄∟ A(x))

9. Hay un perro en el sillón

Ǝ (x) (P(x) S(x))

10. Cundo menos un joven juega futbol

Ǝ (x) (J(x) ˄ F(x))