Lógica en Ciencia de la Computación- Sintaxis de

LPO
Carlos Ramírez,Pontificia Universidad Javeriana- Cali September 14, 2023

1. Determine el arbol estructural de la fórmula ∀x∃yR(x, f (y)) ∧ ∀z¬(h(z, z) = f (y))

2. Use la definición recursiva de lig para calcular las variables ligadas de la fórmula dada en el punto
anterior.

3. Se llama vocabularion de un término t al conjunto finito formado por todos los símbolos de la
signatura que aparezcan en t. Del mismo modo, se llama vocabulario de una fórmula ϕ al conjunto
finito formado por todos los símbolos de la signatura que aparezcan en ϕ. Defina de forma recursiva
la función voct y vocL que calcular el vocabulario de un término y una fórmula respectivamente.

4. Sea B(ϕ) la función que retorna el número de conectivos binarios de una fórmula ϕ. Defina esta
función y pruebe que
|vocL (ϕ)| ≥ B(ϕ)

5. Use la definición recursiva de pfL para calcular la profundidad de la fórmula dada en el punto 1

6. Sea ϕ = ∀x∀y(R(x, g(a)) ∧ ¬(P (z) ∨ P (x))) Calcule de forma recursiva las siguientes sustitu-
ciones:

(a) ϕ[z/f (g(a))]

(b) ϕ[y/f (x)]
(c) ϕ[z/g(f (x))]

7. Que calcula la función ran presentada en clase?

8. Represente simbólicamente las siguientes proposiciones usando usando lógica de primer orden

(a) Para todo a y b números reales positivos, existe un número entero n tal que na es mayor o
igual que b
(b) No existe un número real que sea mayor que todos los reales
(c) Entre dos números racionales existe un número irracional

Taller № 7 Page 1 / 1