TALLER N4

(SINTAXIS EN LPPO)

1. Dado el léxico L = {R3, f2, c}, determine si las expresiones siguientes son términos
sobre L, fórmulas sobre L, o ninguno.
a. f(f(x), c) d. x(R(x, y, f(x, y))  (x  y))
b. R(f(c, c), c, f(c, x)) e. z(f(f(f(x, c), x), c)  z)
c. f(R(x, c, x), y) f. x R(x, x, x)  x f(x, x)

2. ¿Cuáles son los términos y las fórmulas atómicas sobre el léxico L = ?

3. Construya definiciones inductivas de las siguientes funciones, siendo  una fórmula

ó un término:
a. V[] = {x | x es variable de }
b. F[] = {f | f es símbolo de función que ocurre en }
c. H[] = número de ocurrencias de símbolos lógicos en 
d. L[] = conjunto de variables ligadas en 

4. Construya el árbol respectivo, señale todas las ocurrencias de variables libres y

ligadas y halle el conjunto de variables libres y ligadas en cada una de las fórmulas
siguientes:

a. x((P(x)  Q(x))  x(P(x)  Q(x)))

b. (x(P(x)  y Q(x))  (x P(x)  Q(x)))
c. yx ((S(x, y, z)  B(y))  (w R(z, w)  R(w, x)))
d. zwx(S(z, w, x) (y R(w, y)  B(w)))

5. Construya una definición inductiva de la sustitución simultánea de variables por

términos, es decir de:

ϕalignl (
x 1 x 2 ....x n ¿ ) ¿
¿¿
¿
 6. Muestre que no necesariamente coinciden las expresiones:

ϕalignl ( x 1 x 2 ¿ ) ¿ ¿ ¿
¿

7. Construya demostraciones inductivas de lo siguiente:

a. D[] = I[] , siendo  una fórmula y D[] = número de paréntesis derechos en  y

I[] = número de paréntesis izquierdos en  .

b. |SUB[]|≤P[], siendo  una fórmula y |SUB[]| = cardinalidad del conjunto de

subfórmulas de  y P[]= número de nodos en profundidad en el árbol de 

8. ¿Cuál podría ser el significado en una fórmula de la función inductiva definida en la

siguiente forma:

h [ t 1 ≈ t 2 ] =1 , h [ R (t 1 , t 2 , … ,t n ) ]=0 ,
h [ ¬φ ] =h [ φ ] +1 , h [ ( φ∗θ ) ] =h [ φ ] +h [ θ ] +1 ,
h [ ∇ x φ ]=h [ φ ] + 1

siendo t i término, R símbolo de relación, φ una fórmula, ¿ ∈{ ⋀ ,, → ,↔ } y

∇ ∈ {∀ , ∃}