Usuario:Fernando~eswikibooks/ejercicio 8

---

---

Problemas 2.1

ejercicio 8

En el dominio de los animales, ¿cómo traduciría las expresiones siguientes?

a) Todos los leones son predadores.

∀x (L(x)) $\rightarrow$ P(x)

b) Algunos leones viven en África.

∃x (L(x)) ∧ A(x)

c) Sólo rugen los leones.

∀x (¬L(x)) $\rightarrow$ ¬R(x)

d) Algunos leones comen cebras.

∃x (L(x) ∧ ∃z Z(z) ∧ C(l,z)))

e) Algunos leones solo comen cebras.

∃x (L(x) ∧ C(x,z))

---

.