Usuario:Fernando~eswikibooks/ejercicio 3

---

---

Problemas 2.1

ejercicio 3

Traducir las frases siguientes al cálculo de predicados. El dominio es el conjunto de los enteros.

a) Si x está entre 1 y 2, y si y está entre 2 y 3, entonces la diferencia entre x e y no puede ser mayor que 2. Utilizar el predicado b(x,y,z) si x esta entre y y z , y utilizar d(x,y,z) si la diferencia entre x e y es mayor que z.

1 < x < 2 y 2 < y < 3 entonces (x - y < 2) ó (x - y = 2)

{ b(x, 1, 2) ∧ b(y, 2, 3)} → ~ d(x, y, 2)

b) Si x es divisible por 3, entonces x no puede ser primo. Utilizar d(x,y) si x es divisible por y y p(x) si x es primo.

d(x, 3)→ ~ p(x)

c) x + y = z y x + z = u. Utilizar s(x, y, z) si x + y = z

s(x, y, z) ∧ s(x, z, u)

---

.