Apuntes Logica

Calculo de Predicados de Primer Orden

M. A. Pinninghoff J.
R. Contreras A.

Primer semestre 2012

1 Calculo de Predicados de Primer Orden

Se ha vsito anteriormente un sistema de logica que puede usarse al tratar con proposiciones, es de-
cir, con sentencias declarativas que tienen un valor veritativo fijo: F o V. Se desea ahora examinar
estas proposiciones con mayor detalle, de manera que se pueda considerar su estructura interior. En
particular, se desea tratar con individuos, relaciones entre individuos y propiedades de conjuntos
de individuos. Al mismo tiempo, se quiere que esta logica sea suficientemente fuerte para tratar
con formas proposicionales, estructuras que aparecen como sentencias declarativas, pero que no
tienen valores veritativos definidos, a causa de la presencia de variables individuales.

Ejemplo.
2 + 4 = 6. Proposicion con valor veritativo V.
y + 4 = 8. Es una forma que no es verdadera ni falsa, ya que no se sabe que numero es
representado por y.
El sistema logico que se describira a continuacion se conoce como Calculo de Predicados de
Primer Orden. La nocion central aqu es la definicion proposicional o predicado. Sea un dominio
de discurso no vaco; esto es, algun conjunto de objetos, acerca de los cuales tratara nuestra logica.
A los elementos del dominio de discurso se les denomina individuos o constantes individuales.

Un predicado n-ario es una relacion de n variables individuales, donde el dominio de definicion

es es el dominio de discurso y el dominio de valores es un conjunto de proposiciones. Cuando a cada
variable en un predicado se le asigna un individuo, el resultado es una proposicion.
Recibe el nombre de calculo de predicados de primer orden por contener cuantificacion solo
sobre el dominio de individuos.

Sintaxis.

Smbolos conectivos: , , , ,

Constantes individuales: a, b, c, a1 , a2 , . . .

Variables individuales: x, y, z, x1 , x2 , . . .

Smbolos funcionales: fji , gji , hij , . . .; con i, j enteros positivos

Predicados: Pji , Qij , Rji , . . .; con i, j enteros positivos

Cuantificadores: x, x; donde x es una variable cualquiera

1
 Definicion 1. Los unicos terminos son:
1. Las constantes y las variables individuales

2. fjn (t1 , . . . , tn ), donde fjn es un smbolo funcional n-ario y t1 , . . . , tn son terminos.

Definicion 2. Una cadena de smbolos es una formula atomica si es de la forma Pjn (t1 , . . . , tn ),
donde Pjn es un predicado n-ario y t1 , . . . , tn son terminos.

Definicion 3. Son formulas bien formadas:

1. Una formula atomica

2. xA y xA, donde A es una formula bien formada y x es una variable individual

3. (A), (A B), (A B), (A B) y (A B), donde A y B son formulas bien formadas

Las unicas formulas bien formadas son las que se obtienen por un numero finito de aplicaciones
de (1), (2) y (3).

1.1 Interpretacion de los smbolos

Los smbolos del lenguaje se interpretaran haciendo referencia a un conjunto o dominio de individ-
uos. Las variables individuales y las constantes individuales representan elementos de este conjunto,
las constantes representan elementos especficos, las variables se refieren a elementos genericos.

Los smbolos funcionales representan funciones de conjuntos productos del dominio al dominio.
Los predicados representan relaciones entre elementos del dominio.

Los cuantificadores y se llaman cuantificador universal y cuantificador existencial

respectivamente; y pueden interpretarse significando para todo (elemento del dominio) y existe
(algun elemento en el dominio).

As, si P es un predicado y x denota una variable individual, x(P (x)) puede leerse como:
Para todo x (del dominio), (el individuo) x tiene la propiedad P.

Los dos cuantificadores no son independientes, pues estan relacionados por la equivalencia:
x(P (x)) x(P (x))

1.2 Variables libres y ligadas

Se debe distinguir entre variables que son cuantificadas, y las que no lo son; y saber con precision
cual cuantificador controla, en una expresion, una o mas variables.

Definicion 4. Se dice que la expresion a la que se aplica el cuantificador es el dominio del

cuantificador, y que una ocurrencia de una variable individual x esta ligada si aparece como x o
x, o dentro del dominio de un cuantificador x o x.
Cualquier otro tipo de ocurrencia de una variable es una ocurrencia libre.

Ejemplos.
(xA(x) B(y))
x es una variable ligada; y es una variable libre

x(A(x) yB(x, y))

Todas las ocurrencias de las variables x e y son ligadas: x esta ligada por el cuantificador
existencial e y esta ligada por el cuantificador universal.
2
1.3 Validez y Satisfactibilidad
Se consideraran ahora las nociones de verdad y falsedad en el calculo de predicados de primer orden.
Sean las tres formulas:
1 : P (f (x, ), b)
2 : xP (f (x, a), b)
3 : xP (f (x, a), b)

En 1 la variable individual es libre; luego se tiene una forma proposicional; la idea de verdad
depende de la asignacion de individuos a esta variable.

2 y 3 son proposiciones (no contienen variables individuales libres). Luego poseen un valor
veritativo. Como estas formulas no tienen conectivos proposicionales, seran representadas en el
calculo proposicional por un smbolo unico, o sea 2 y 3 toman los valores V o F .

Pero en el calculo de predicados de primer orden se pueden hacer asignaciones de elementos

del dominio particular de que se trate a cada una de las constantes y variables individuales, a los
predicados y smbolos funcionales, y analizar as la situacion con mayor profundidad.

Ejemplo.
2 : xP ((f (x, a), b)

Sea la estructura :< N, =, +, (2, 5) >

N : es el dominio de los naturales
=: es la relacion que interpreta a P
+: es la funcion que interpreta a f
2 y 5: son las constantes a y b respectivamente.

Interpretando 2 en :

x(= (+(x, 2), 5))

o en notacion infijada:

x(x + 2 = 5)

Esta formula es satisfecha en el dominio de los naturales (valor V con x = 3)

1.4 Semantica del calculo de predicados de primer orden

Definicion 5. Dada una formula bien formada del calculo de predicados de primer orden, una
interpretacion de consiste en un dominio no vaco D, una asignacion a cada predicado n-ario
de una relacion n-aria sobre D, a cada smbolo funcional n-ario de una funcion n-aria sobre D; y a
cada constante individual de un elemento fijo de D.

Es decir, una interpretacion I es una estructura relacional, denotada por la 4-tupla < D, , , >,
donde:

D: es el dominio de interpretacion

: es el conjunto de relaciones

: es el conjunto de funciones

3
 f , f : Dn D, con 0 < n <

: constantes, D

Dado el lenguaje L = < PL , L , CL >, donde PL es el conjunto de predicados, L el conjunto

de smbolos funcionales y CL las constantes, se puede dar una interpretacion I para este lenguaje.
Esta interpretacion I es tal que para cada P PL , se tiene P I

{P I | P PL }

para cada f L , se tiene f I

{f I | f L }

para cada constante a en CL (a CL )

existe un aI tal que aI D

{aI | a CL } D

Definicion 6. Una formula bien formada del calculo de predicados de primer orden es satisfactible
en un dominio D si existe una interpretacion con dominio D y asignacion s de elementos de D a las
ocurrencias libres de variables individuales en la formula, tal que la proposicion resultante es cierta.
Se denota
|=Is

Definicion 7. Una formula bien formada del calculo de predicados de primer orden es valida
en un dominio D, si para toda interpretacion con dominio D y toda asignacion de elementos de D a
las ocurrencias libres de las variables individuales en la formula, la porposicion resultante es cierta.
Se denota
|=I

Definicion 8. Una formula bien formada , del calculo de predicados de primer orden es
verdadera si es valida para toda interpretacion I. Se denota
|=

Definicion 9. Una formula bien formada es consecuencia logica de un conjunto de formulas

T , lo que se denota por T |= , si y solo si, para toda evaluacion s:
si |=Is T , entonces |=Is

Definicion 10. Se dice que un sistema de deduccion (axiomas, reglas de inferencia, lenguaje)
del calculo de predicados de primer orden es

Conveniente
Si T |=s , entonces T |=

Adecuado
Si T |= , entonces T `s

Perfecto
Si T |= y solo si T `s

4
References
[1] Boolos, George; Burgess, John; Jeffrey, Richard. Computability and Logic. 5th Edition. Cam-
bridge University Press, 2007

[2] Ebbinghaus, H.D.; Flum, J. Thomas, W. Mathematical Logic. Springer, 1996

[3] Enderton, Herbert B. A Mathematical Introduction to Logic. 2nd Edition. Academic Press,
2000

[4] Epp, Susanna. Discrete Mathematics with Applications. 3rd Edition. Brooks Cole, 2003

[5] Manna, Zohar. Mathematical Theory of Computation. Dover, 2003

[6] Quine, W. V. Mathematical Logic. Harvard University Press, 2003