Usuario:Fernando~eswikibooks/ejercicio 2

---

---

Problemas 2.1

ejercicio 2

Expresar las frases siguientes en cálculo de predicados. El Universo del Discurso es el conjunto de todas las personas.

a) Si María le gusta Kiko, y a Kiko le gusta Juli, entonces María le gusta Juli.

G(x,y)= a x le gusta y

m = María

k = Kiko

j = Juli

{G(m, k) ∧ G(k, j)} → G(m, j)

b) Juan está muy ocupado, pero Beni no.

O(x) = x esta ocupado

j = Juan

b = Beni

O(j) ∧ ~ O(b)

c) Benja conoce al Sr. Suárez, pero el Sr. Suárez no conoce a Benja.

C(x,y) = x conoce a y

s = Sr.Suárez

b = Benja

C(b, s) ∧ ~ C(s, b)

---

.