Relación de problemas

1. Identificar las variables ligadas y libres en cada una de las fórmulas:

ˆ ∀ y(Q(x, y, z) → P (g(x), a))
ˆ ∃ x(∀ yP (x) → R(g(y), b))
ˆ ∃ y∃ xP (x, y) ∨ Q(g(x), a, b)
ˆ ∀ y∀ zP (y, z) ↔ ¬∃ xQ(a, f (x), b)
ˆ ∀ x∃ y(P (x, y, z) ∧ Q(x, z)) ∨ R(x)
ˆ ∃ w(∃ x(P (x) ∨ ∃ zQ(z) ↔ ∃ y(P (x) ∧ Q(y)) → ∀ xR(x)) → ∀ yR(x))
2. Escribir el árbol sintáctico de cada uno de los términos:
ˆ f (h(i(x, a), b, x), g(c, z)
ˆ f (h(x, c), i(y, b), g(x), l(x, c))
ˆ h(f (a), f (f (x)), f (g(f (z), g(a, b))))
3. Escribir el árbol sintáctico de cada una de las fórmulas:
ˆ ∀ x(∀ z∀ y(f (x, y) = g(z)) ↔ f (x, x) = g(z))
ˆ ∀ x∀ y(f (x, y) = f (y, x)) ∨ ∀ z(f (x, y) = f (z, a))
ˆ (g(x, a) = b) ∧ ∃ x(g(y, z) = x) ∨ ∃ z(g(x, z) = c)
ˆ ∃ x(P (x) ∧ ∀ y(P (x) ∧ P (y) → (x = y ∨ y = z)))
4. Negar cada una de las fórmulas y escribirlas en forma positiva:
ˆ ∃ x(P (x) → Q(x))
ˆ ∀ x∃ y(P (x) ∧ Q(y))
ˆ ∃ x∃ y(P (x) ∨ Q(x, y))
ˆ ∀ x∀ y(P (x) ∨ ∃ zQ(y, z))
ˆ ∃ x¬R(x) ∨ ∀ x(Q(x) ↔ ¬P (x))
ˆ ∀ x∀ y∃ z(P (x) → (Q(y) ∧ R(z))) → ∃ x¬Q(x)
5. Hacer uso del PRE para definir la función

bon : F → A

que a cada fórmula φ le asocia el conjunto bon(φ) de sus variables ligadas.

6. Formalizar los siguientes enunciados. Para cada formalización, escribir su
negación y traducirla al lenguaje natural:
ˆ Sólo los deportistas que juegan a deportes de pelota son famosos
ˆ Algunas personas son maleducadas
ˆ Todas las personas tienen algún conocido
ˆ Los números pares son primos solamente si son menores que 3
ˆ 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.

54
 ˆ Si Indy obedece a Thor y Thor obedece a Yang, entonces Indy obe-
dece a Yang.
ˆ Las personas aficionadas al ajedrez son amigas de las personas afi-
cionadas Risk. Algunas personas aficionadas al ajedrez son amigas
de las personas aficionadas al Risk. Algunas personas aficionadas al
ajedrez sólo son amigas de las personas aficionadas al Risk.
ˆ Ningún estudiante suspende Geometrı́a pero al menos un estudiante
suspende Análisis.

7. Formalizar los siguientes razonamientos:

Todos los profesores y alumnos invitados a la conferencia llegaron
tarde. Hubo al menos una persona que llegó puntual. Por lo tanto,
hay al menos una persona invitada que no es ni profesor ni alumno.
Todos son alumnos de ingenierı́a informática. Todos los alumnos
de ingenierı́a informática saben programar. Por tanto, todos saben
programar.

55