Sintaxis

Al igual que la Lgica de Proposiciones, la sintaxis del lenguaje de la Lgica de Predicados se especifica mediante:
Un conjunto de smbolos primitivos Unas reglas de formacin

2.2 Sintaxis de la lgica de primer orden

Lgica

El conjunto de smbolos primitivos constituir el alfabeto del lenguaje Las reglas de formacin me permitirn generar palabras (frmulas) vlidas pertenecientes al lenguaje.
2.2 Sintaxis de la Lgica de Primer Orden 2

Alfabeto
A = U {T, , , , , ,,,, =} U {(, ), ,} U V
alfabeto de los smbolos primitivos

Ejemplo de signatura
Utilizaremos la siguiente signatura para los ejemplos del tema: = { c, f, g, h, R }
c es una constante f es una funcin de aridad 1 g y h son funciones de aridad 2 R es un predicado de aridad 2

es el conjunto de todos los smbolos de funcin y predicado con sus aridades asociadas lo llamamos signatura
F = {smbolos de funcin} = f, g, h,
Consideramos constantes (c,d,e, ...) como funciones de aridad 0

P = {smbolos de predicado} = P, Q, R,
Consideramos proposiciones (p,q,r,...) como predicados de aridad 0

{T, , , , , , ,,, =} es el conjunto de todos las conectivas proposicionales ampliadas con los cuantificadores y el smbolo de igualdad V es un conjunto de variables V = {x, y, z, u, v, w } Adicionalmente, necesitamos un conjunto de smbolos auxiliares (los parntesis y comas).
2.2 Sintaxis de la Lgica de Primer Orden 3

2.2 Sintaxis de la Lgica de Primer Orden

Reglas de formacin
En Lgica de Predicados pueden construirse dos tipos de expresiones Trminos, que designan individuos del Universo Frmulas, que representan enunciados Por lo tanto, en Lgica de Predicados necesitaremos definir las reglas de formacin, as como los principios de induccin, unicidad, ... tanto para las frmulas como para los trminos.

Reglas de formacin (Trminos)

T = {trminos sobre } Son trminos aquellas palabras sobre el alfabeto A que se ajustan a las siguientes reglas
(T At) Cada x V (variables) y cada c F con aridad 0 (constantes) son trminos trminos atmicos c, x, y (T Cp) Si t1, t2, ..., tn son trminos y f F es una funcin con aridad n, entonces f(t1, t2, ..., tn) es un trmino trminos compuestos f(c), g(c,y), g(f(f(x)),h(c,c))

2.2 Sintaxis de la Lgica de Primer Orden

2.2 Sintaxis de la Lgica de Primer Orden

Reglas de formacin (Frmulas)

L = {frmulas sobre } Son frmulasaquellas palabras sobre el alfabeto A que se ajustan a las siguientes reglas
(F At) T, y p (para cada p en P con aridad 0) son frmulas Si s y t son trminos, entonces (s=t) es frmula Si t1, t2, ..., tn son trminos y P P es una predicado con aridad n, entonces P(t1, t2, ..., tn) es una frmula frmulas atmicas (F ) si es una frmula, entonces es una frmula frmulas negaciones (F ) si 1 y 2 son frmulas, (1 2) es una frmula frmulas conjunciones, disyunciones, condicionales,... (F K) si es frmula, y x es variable entonces x y x son frmulas frmulas cuantificacin universal y existencial
2.2 Sintaxis de la Lgica de Primer Orden 7

Ejemplos de frmulas
Son frmulas:
R(f(x),y) (h(z,z) = f(y)) (h(z,z) = f(y)) z (h(z,z) = f(y)) xy (R(x,f(y)) z (h(z,z) = f(y)))

No lo son:
R(f(x),y( x R(x,y)
Un trmino no se puede negar

R(f(x),R(y,z))
Un predicado no puede tener como argumento otro predicado

2.2 Sintaxis de la Lgica de Primer Orden

Principio Induccin Estructural

Trminos
Sea P una propiedad con sentido para palabras en A, para comprobar que la propiedad P se verifica para todo trmino t de T ha de verificarse que:
(T At) todo trmino atmico tiene la propiedad P (T Cp) Si t1, t2, ..., tn son trminos que tienen la propiedad P (hiptesis de induccin) y f F es una funcin con aridad n, entonces f(t1, t2, ..., tn) tambin tiene la propiedad

Principio de Unicidad de Estructura

Trminos
Si t T entonces ha de verificarse uno, y solo uno, de los siguientes casos:
(T At) t es atmico, o (T Cp) t f(t1, t2, ..., tn) para cierto f F funcin con aridad n, y ciertos t1, t2, ..., tn unvocamente determinados por t

Frmulas
Si L entonces ha de verificarse uno, y solo uno, de los siguientes casos:
(F At)1 es T, o p (para p en P con aridad 0) (F At)2 (s=t) para ciertos s,t T unvocamente determinados por (F At)3 P(t1, t2, ..., tn) para cierto P P predicado con aridad n, y ciertos t1, t2, ..., tn T unvocamente determinados por (F ) 1 para cierta 1 L unvocamente determinada por (F ) (1 2) para ciertas 1, 2 L unvocamente determinadas por (F K) Kx 1 , para cierto cuantificador K, cierta variable x y cierta 1 L unvocamente determinadas por
2.2 Sintaxis de la Lgica de Primer Orden 10

Frmulas
Sea P una propiedad con sentido para palabras en A, para comprobar que la propiedad P se verifica para toda frmula de L ha de verificarse que:
(F At) toda frmula atmica tiene la propiedad P (F ) Si tiene propiedad P tiene la propiedad P (F ) Si 1 y 2 tienen propiedad P (1 2) tiene la propiedad P (F K) Si tiene propiedad P y x es una variable Kx tiene la propiedad P

2.2 Sintaxis de la Lgica de Primer Orden

Principio de Recursin Estructural

Trminos
Para definir una funcin h: T C seguiremos el siguiente esquema:
(T At) si t es atmico, definicin explicita de h(t) (T Cp) h ( f(t1, t2, ..., tn)) = valor dependiente de h(t1), h(t2), ..., h(tn) y de f

rboles Estructurales
Como consecuencia del principio de unicidad estructural,, la estructura de cada trmino y frmula es nica y podemos representarla como un rbol
t=g(h(x,y),h(c,f(x)) g h h

Frmulas
Para definir una funcin h: L C seguiremos el siguiente esquema:
(F At) (F ) (F ) (F K) si es atmica, definicin explicita de h(t) h() = valor dependiente de y h() h(1 2) = valor dependiente de , h(1) y h(2) h(Kx ) = valor dependiente de K, x y h()

Ejercicio: Realizar el rbol estructural de la siguiente frmula = x y (R(x,f(y)) z (h(z,z)=f(y)))

f

y c

2.2 Sintaxis de la Lgica de Primer Orden

11

2.2 Sintaxis de la Lgica de Primer Orden

12

Vocabulario
Trminos
El vocabulario de un trmino t est formado por todos los smbolos de funcin que aparecen en t:
(T At) voc(x) = voc(c) = {c} (T Cp) voc( f(t1, t2, ..., tn)) = {f} U voc(t1) U voc(t2) U ... U voc(tn)

Subtrminos y Subfrmulas
Subtrminos
s es subtrmino del trmino t, si s es trmino y forma parte de t
(T At) sub(t) = {t} (T Cp) sub( f(t1, t2, ..., tn)) = {f (t1, t2, ..., tn) } U sub(t1) U sub(t2) U ... U sub(tn)

Ejemplo: voc(g(h(x,y),h(c,f(x))))={g,h,c,f}

Ejercicio: sub(g(h(x,y),h(c,f(x))))

Frmulas
El vocabulario de una frmula est formado por todos los smbolos de predicado y de funcin que aparecen en :
(F At)1 voc(T) = voc() = voc(p) = {p} (F At)2 voc((s=t)) = voc(s) U voc(t) (F At)3 voc(P(t1, t2, ..., tn)) = {P} U voc(t1) U voc(t2) U ... U voc(tn) (F ) voc() = voc() (F ) voc(1 2) = voc(1) U voc(2) (F K) voc(Kx ) = voc()

Subfrmulas
es subfrmula de la frmula , si es frmula y forma parte de
(F At) (F ) (F ) (F K) sub() = {} sub() = {} U sub() sub(1 2) = {(1 2)} U sub(1) U sub(2) sub(Kx ) = {Kx } U sub()

Ejercicio: sub(x y (R(x,f(y)) z (h(z,z)=f(y))))

Ejemplo: voc(x y (R(x,f(y)) z (h(z,z)=f(y))))={R,f,h}

2.2 Sintaxis de la Lgica de Primer Orden

13

2.2 Sintaxis de la Lgica de Primer Orden

14

Escritura Abreviada
Convenios de Escritura Abreviada
Omisin parntesis externos Precedencia y asociatividad de Lgica de Proposiciones Precedencia de los cuantificadores
Los cuantificadores tienen prioridad respecto a las conectivas Entre cuantificadores, tiene prioridad el ms interno

mbito de la cuantificacin
mbito
Denominamos mbito de la cuantificacin Kx de una frmula a la subfrmula en la que todas las apariciones de la variable x aparecen cuantificadas por K. Ejemplo: x y (R(x,f(y)) z (h(z,z)=f(y)))
x y (R(x,f(y)) z (h(z,z)=f(y))) x y (R(x,f(y)) z (h(z,z)=f(y))) x y (R(x,f(y)) z (h(z,z)=f(y)) )

Ejemplos: x y R(x,f(y)) h(z,z) =x q abrevia (((x y R(x,f(y))) (h(z,z) =x)) q ) y no x y ((R(x,f(y)) (h(z,z) =x)) q)

Variables Libres y Ligadas

Denominamos variables libres de una frmula a aquellas variables que no aparecen afectadas por ninguna cuantificacin. En caso contrario, las denominaremos variables ligadas. Ejercicio: Definir una funcin recursiva que calcule las variables de un trmino, y otra que calcule las variables libres de una frmula.

2.2 Sintaxis de la Lgica de Primer Orden

15

2.2 Sintaxis de la Lgica de Primer Orden

16

Trmino y Frmulas Abiertos y Cerrados

Trminos
Abierto: Trmino que contiene variables. Cerrado: Trmino que no contiene variables.

Frmulas
Abierta: Frmula que contiene variables libres. Cerrada: Frmula que no contiene variables, o todas sus variables estn ligadas.

Frmula Variante
Cuando en una frmula, un mismo smbolo de variable aparece libre y ligado, podemos sustituir sus apariciones ligadas por un nuevo smbolo de variable, obteniendo una frmula variante que es equivalente a la primera. Ejemplo: x y R(x,y) z (g(z,f(x))=y) u v R(u,v) z (g(z,f(x))=y)

2.2 Sintaxis de la Lgica de Primer Orden

17