Tema 5.

El lenguaje de la lgica
de primer orden
a. Conceptos bsicos
 Un lenguaje ms expresivo
La lgica proposicional tiene recursos expresivos
muy limitados:
- No permite identificar elementos que se repiten
dentro de las oraciones:
Frodo es un hobbit p
Sam es un hobbit q
Frodo tiene ojos azules r
Sam no tiene ojos azules s
Sam es amigo de Frodo t
Frodo es amigo de Sam u
 Un lenguaje ms expresivo
- Tampoco tiene recursos para tratar con ciertas
partculas que tienen valor lgico, como
cuantificadores e identidad:
Todos los hobbits habitan en la Comarca p
Ningn orco habita en la comarca q
Algunos hobbits no han salido de la Comarca r
Trancos es el mismo que Aragorn s
Trancos es distinto de Sam t
Sauron odia a todos, incluso a s mismo p1 p2
 Un lenguaje ms expresivo
- En consecuencia, hay muchos argumentos vlidos
que el lenguaje de la lgica proposicional no permite
expresar:
Todos los hobbits habitan en la comarca p
Ningn habitante de la comarca sufre de estrs q
Por tanto, ningn hobbit sufre de estrs r
- Lo formalizamos como condicional:
(p q) r
y vemos que el argumento es invlido dado que este
condicional puede ser falso
 Un lenguaje ms expresivo
El lenguaje que nos va a permitir recoger todos
esos elementos es el de la lgica de
predicados, tambin llamada lgica
cuantificacional, lgica de relatores o, en
general, lgica de primer orden.
La lgica proposicional (L0) es slo un parte
de esta lgica (L1). Podramos seguir
construyendo sucesivos lenguajes lgicos (L2,
L3 ...) que recogiesen subsiguientes niveles de
complejidad.
 El alfabeto de L1
L1 mantiene en su lenguaje todas las conectivas
lgicas de L0: , , , ,
Pero en vez de constantes proposicionales,
construye expresiones ms complejas por
medio de smbolos para:
1. Individuos particulares
2. Propiedades y relaciones
3. Cuantificadores
4. Expresiones de identidad
Expresiones para objetos particulares
- Son aquellas expresiones que identifican un
individuo, sea persona, objeto, lugar...
- Las ms tpicas son los nombres propios
simples:
Frodo, Sam, Smeagol, Tom Bombadil...
Anduril, Barad-Dr, Tierra Media, Gondor...
- Pero a menudo identificamos los individuos por
medio de expresiones complejas, generalmente
las descripciones definidas.
Expresiones para objetos particulares
Las descripciones definidas son construcciones del tipo:
ARTCULO DETERMINADO + SINTAGMA NOMINAL
el portador del anillo
el mejor amigo del portador del anillo
el nombre hobbit de la criatura llamada Gollum
el Seor del Bosque Viejo que no sale en la pelcula
la espada de Aragorn
la Torre Oscura
la tierra en la que se desarrollan las historias de Tolkien
el reino que Aragorn est llamado a heredar
Expresiones para objetos particulares
En muchos casos la expresin definida es nuestro mejor
o nico modo de nombrar un objeto:

el Anillo nico
el dedo gordo del pie derecho de Gandalf
el ltimo orco que muere en la novela
el enano ms alto de la Tierra Media
el personaje ms a la derecha en el fotograma 22.176
Expresiones para objetos particulares
Las expresiones que nombran objetos particulares las
simbolizaremos por las letras:
a, b, c, ... (minsculas)
o bien, para tener cuantos queramos:
a1, a2, a3 ...
Cada letra identifica a un individuo, de modo que si
simbolizamos Frodo a , cada vez que aparezca Frodo
emplearemos la misma letra individual: a
Expresiones para objetos particulares
Existen expresiones con la construccin
ARTCULO DETERMINADO + SINTAGMA NOMINAL
que no nombran objetos individuales:
1. El troll de las cavernas golpe con su maza
2. El troll de las cavernas es una criatura peligrosa

Son equivalentes las expresiones subrayadas?

NO NECESARIAMENTE: 1 nombra a un individuo particular;

pero 2 puede referirse a la criatura como clase. 2 sera as
tpicamente equivalente a:
2. Los trolls de las cavernas son criaturas peligrosas
 Propiedades y relaciones
Son aquellas expresiones por las que decimos algo de
algn objeto (o conjunto de objetos) y de sus relaciones
con otros objetos.
Tpicamente se identifican por medio de un verbo que
empleamos para predicar algo de cierto objeto:
... es un hobbit
... es valiente
... camina despacio
... es amigo de...
... odia a...
... est entre .... y ....
 Propiedades y relaciones
Simbolizamos las expresiones predicativas por medio
de las letras:
P, Q, R, ...
o para tener un nmero ilimitado de predicados:

R1, R2, R3, ...

Con frecuencia se usa, como recurso mnemotcnico, la
inicial del verbo u otra palabra del predicado:
es hobbit H ama a A
 Propiedades y relaciones
Ni los objetos particulares, ni las expresiones
predicativas dan lugar por s solos a enunciados con
valor de verdad. Obtenemos stos cuando combinamos
ambos tipos de expresiones, i.e., cuando completamos
los huecos o argumentos a que da lugar una expresin
predicativa. Llamamos:
MONARIOS a los predicados con un solo argumento:
_ es hobbit _ es valiente _ camina despacio
BINARIOS a los que tienen 2:
_ es amigo de _ _ odia a _ _ est en _
TERNARIOS a los que tienen 3:
_ est entre _ y _ _ prefiere _ a _
 Saturando predicados
Sean los siguientes individuos:

Frodo a Sam b Sauron c

Y los siguientes predicados:

monarios: es hobbit H es comiln C

binarios: ama a A odia a O
ternarios: prefiere ... a P
 Saturando predicados monarios
Frodo es hobbit Ha
Sam es hobbit Hb
Frodo y Sam son hobbits Ha Hb
PERO NO: Hab
H es un predicado monario, y slo toma un argumento

Sam es comiln pero Frodo no Cb Ca

Sam es un hobbit comiln Hb Cb
Sauron no es hobbit ni comiln Hc Cc
 Saturando predicados binarios
Frodo ama a Sam: Aab
Sam ama a Frodo: Aba
Como convencin, colocamos el agente (o el
sujeto de una oracin activa) en primer lugar
Sam es amado por Frodo: Aab
Sam y Frodo se aman: Aab Aba
Si Sauron odia a Frodo, odia a Sam: Oca Ocb
Sauron se odia a s mismo: Occ
 Saturando predicados ternarios
Sauron prefiere a Frodo antes que a Sam
Pcab

Sauron prefiere a Sam antes que a Frodo

Pcba

El orden de los trminos individuales es

convencional: lo importante es que se mantenga
coherencia en la interpretacin de la expresin
 Cuantificacin
Las expresiones individuales y predicativas no
tienen valor lgico: se limitan a captar de una
manera ms rica lo que dicen los enunciados.
Si en un argumento vlido sustituimos
uniformemente las apariciones de estos trminos
por otros cualesquiera, la validez del argumento
no se ve afectada.
Pero, al igual que las conectivas, los
cuantificadores y los signos de identidad s
tienen valor lgico.
 Cuantificacin
Supongamos que queremos referirnos a la totalidad de
los individuos de un cierto grupo. Una manera de
hacerlo sera nombrando a cada uno de los individuos
del grupo:
Frodo, Sam, Bilbo, ..., Zutano
Llamamos a este modo EXTENSIONAL.
Si queremos decir que todos ellos tienen determinada
propiedad, v.g., ser hobbit, podemos predicar esta
propiedad de cada individuo:
Frodo es hobbit, Sam es hobbit, ..., Zutano es hobbit =
Ha Hb ... Ha47815
 Cuantificacin: cuantificadores
Obviamente, para grupos grandes de objetos este
mtodo es engorroso. Es ms, el mtodo es
inservible para conjuntos infinitos de objetos,
v.g., el conjunto de los nmeros naturales.
La cuantificacin consiste en utilizar ciertas
partculas lgicas para referirse a cantidades de
individuos de un cierto grupo. As, para
referirnos al grupo anterior, podemos decir
Todos son hobbits
 Cuantificacin: cuantificadores
Otros cuantificadores se emplean para decir algo
de una cierta cantidad de individuos de un grupo.
Si consideramos el grupo de los habitantes de la
Tierra Media, podemos decir que
Algunos son hobbits
La mayora son mortales
Muchos temen a Sauron
Pocos han tocado el Anillo nico
Ninguno ha nacido en Villanueva del Trabuco
 Cuantificacin: cuantificadores
Aunque estos cuantificadores tienen obvias
diferencias de significado, en lgica de primer
orden se reducen a tan slo 2:
- cuantificador universal:
equivale a TODOS

- cuantificador existencial:
equivale a AL MENOS UNO
 Cuantificacin: variables
Una afirmacin como Todos son hobbits equivale a
decir que cualquier individuo (del grupo en cuestin)
tiene la propiedad ser hobbit. Para referirnos a
individuos cualesquiera no nos bastan las constantes
individuales: necesitamos introducir VARIABLES, i.e.,
smbolos que pueden tomar como valor cualquiera de
los individuos de un grupo.

Para expresar variables usaremos los smbolos

x, y, z, .... o, en general, x1, x2, x3, ...
 Cuantificacin: variables
Con los cuantificadores y las variables ya podemos
formalizar expresiones como:
Todos son hobbits: xHx
lo cual significa que para todo individuo, ese
individuo tiene la propiedad de ser hobbit

Algunos son hobbits: xHx

lo cual significa que hay al menos un individuo
que tiene la propiedad de ser hobbit
 Cuantificacin: variables
Las constantes individuales y las variables son
TRMINOS. Cuando en una frmula sustituimos una
variable x por un individuo a, estamos diciendo que a
cumple las condiciones establecidas por la frmula (i.e.,
que tiene determinadas propiedades o relaciones).
Sea la frmula x(Hx Cx)
nos dice que si un individuo cualquiera tiene la
propiedad H entonces tiene la propiedad C.
Esto es: si uno es un hobbit, entonces es comiln.
Por tanto, del individuo a ser cierto que
Ha Ca = Si Frodo es hobbit, es comiln
Cuantificando predicados binarios
Si Frodo ama a Sam Aab
cmo expresar Alguien ama a Sam?
Esta expresin equivale a
Hay al menos un individuo que ama a Sam
xAxb
Igualmente, podemos expresar Frodo ama a alguien
como
Hay al menos un individuo a quien Frodo ama
yAay
Cuantificando predicados binarios
Siguiendo el mismo patrn, podemos expresar
Todos aman a Sam
como: xAxb
Igualmente, podemos expresar
Frodo ama a todos

como: xAax
Cuantificando predicados binarios
Para expresar
a) Alguien ama a alguien
b) Todos aman a todos
es fundamental darse cuenta de 2 cosas:
1) Estas oraciones no hacen referencia a ningn
individuo en particular. Por tanto, habr que
expresarlas slo con variables.
2) Tanto (a) como (b) hacen referencia a relaciones
que se dan entre dos grupos de individuos. Por
tanto, habr que asignar una variable distinta a
cada grupo.
Cuantificando predicados binarios
a) Alguien ama a alguien
equivale a decir que Hay al menos un individuo que ama
a al menos un individuo
Esto puede expresarse as:

xyAxy
b) Todos aman a todos
equivale a decir que Cualquier individuo ama a
cualquier individuo
Esto puede expresarse as:

xyAxy
Cuantificando predicados binarios
Ntese que cada cuantificador va con una
variable.
Diremos que la variable en cuestin est
LIGADA por ese cuantificador.
Respetar el orden en que cada cuantificador liga
cada variable es fundamental para poder
formalizar expresiones ms complejas, como
c) Alguien ama a todos
d) Todos aman a alguien
Cuantificando predicados binarios
c) Alguien ama a todos
xyAxy
podemos leerlo como existe al menos un individuo x
tal que para cualquier individuo y, x ama a y

d) Todos aman a alguien

xyAxy
podemos leerlo como para cualquier individuo y,
existe al menos un individuo x tal que x ama a y
Cuantificando predicados binarios
La expresin d) Todos quieren a alguien tiene
una posible ambigedad. En ciertos contextos
puede entenderse como:
d1) Hay un individuo a quien todos quieren
yxAxy
Esto es cierto si ocurre que hay un individuo
particular, v.g. Frodo, a quien todo el mundo
quiere.
Cuantificando predicados binarios
En otros d) Todos quieren a alguien se entiende
como:
d2) Todos quieren a alguna persona
xyAxy
Esto es cierto si todo el mundo quiere a alguna persona,
pero no necesariamente quieren todos al mismo.
Veremos que d2 es consecuencia lgica de d1, pero no a
la inversa.
 Cuantificando predicados binarios
Cmo se formaliza Todo el mundo es amado por
alguien?
Si lo entendemos como que hay una persona que ama a
todo el mundo:
xyAxy
Si lo entendemos como que todos tienen alguien que les
ame:
yxAxy
Cuantificando predicados binarios
Comprese verticalmente el orden de los cuantificadores
y horizontalmente el orden en que ligan las variables:

Todos aman a alguien Todos son amados por alguien

yxAxy xyAxy

xyAxy yxAxy
 Identidad
Si queremos expresar relaciones como SER EL
MISMO y SER DISTINTO, podramos usar un
predicado binario:
Trancos es el mismo que Aragorn
d M e Mde
Pero este predicado desempea un papel lgico tan
importante que empleamos un smbolo especial para l:
ser el mismo que: = d = e (Trancos es Aragorn)
ser distinto que: d a (Trancos no es Frodo)
Tambin podemos expresar ste como d = a
 Identidad
Nuestro lenguaje slo expresa identidad entre
individuos. Por tanto, el signo = slo puede estar
flanqueado por trminos.
Son correctas:
a=b ax x(x = a) x(x = x)

Son incorrectas:
H = C Ha = Ca x(Hx = a) x = x
Alfabeto de la lgica de primer orden
Los smbolos de L1 son:

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

trminos
-Variables individuales: x, y, z, x1 ...
-Predicados o relatores: P, Q, R, R1 ...
-Cuantificadores: ,
-Identidad: =,
-Conectivas: , , , ,
-Auxiliares: ), (, ], [
 Reglas de formacin
(i) Si R es un relator n-ario y t1 ... tn son trminos,
entonces la secuencia R t1 ... tn es frmula.
(ii) Si t1 , t2 son trminos, t1 = t2 es frmula
(iii) Si es frmula y v es una variable, son
frmulas: v y v
(iv) Si es frmula, es frmula
(v) Si y son frmulas, son frmulas:
( ) ( ) ( ) ( )
(vi) Slo son frmulas las secuencias que
satisfacen alguna de las clusulas (i-v)
 Reglas de formacin (i)
(i) Si R es un relator n-ario y t1 ... tn son trminos,
entonces la secuencia R t1 ... tn es frmula.

Supongamos que P es monario, son frmulas:

Pa Pb Pc Px Py Px2 ...

Supongamos que Q es binario, son frmulas:

Qab Qba Qaa Qxa Qax Qxy Qzz ...

Supongamos que R es ternario, son frmulas:

Qabc Qbca Qaaa Qxay Qaxx Qxyz Qyyy ...
 Reglas de formacin (ii)
(ii) Si t1 , t2 son trminos, t1 = t2 es frmula

Segn esto son frmulas:

a=b b=a a=a a=x x=c

x=y y=y z = x1 ...
 Reglas de formacin (ii)
Malas aplicaciones de (i) y (ii):

Pab cuando P es un predicado monario

aPb orden incorrecto de trminos
PQa a un predicado debe seguir algn trmino
PxQy no pueden yuxtaponerse frmulas
Pa=b el = slo puede flanquearse por trminos
a=bc ms de un trmino a un lado del =
a=b=c no se pueden encadenar signos de =
 Reglas de formacin (iii)
(iii) Si es frmula y v es una variable, son
frmulas: v y v
Dadas tambin las reglas (i) y (ii), son frmulas:

xPa xPx xPy yQxy zRxaz

x a=b x x=a y x=x z z=x ...

xPa xPx xPy yQxy zRxaz

x a=b x x=a y x=x z z=x ...
 Reglas de formacin (iii)
Y aplicando de nuevo (iii) sobre las anteriores, tambin
son frmulas:
xxPa xxPx xxPy yxQxy ...
xxPa xxPx xxPy xyQxy ...
xxPa xy x=y yx a=x ...
xxPa yx y=x xz z=y ...
Y de nuevo:
xxxPa xyzRxyz xyyPz ...
yxy y=x xyx a=b ...
xyxyxyxyxyxyxPa ...
 Reglas de formacin (iii)
Muchas de las frmulas anteriores
pueden resultar extraas, cuando uno
intenta traducirlas a posibles expresiones
del lenguaje natural.
Como veremos, no todas ellas
corresponden a alguna oracin, i.e., a
alguna expresin con valor de verdad:
slo lo hacen las que constituyen
sentencias.
 Reglas de formacin (iii)
Malas aplicaciones de (iii):

Pa el cuantificador no va seguido de variable

xQxy dem respecto a
bPb dem: b es constante, no variable
x x a la variable del cuantificador no le sigue
una frmula
y y=x dem: el = no est flanqueado por 2
trminos
xPx = xPx otra mala aplicacin de (ii)
 Reglas de formacin (iv)
(iv) Si es frmula, es frmula

Dadas tambin las reglas (i-iii), son frmulas:

Pa Px Qxa Rayz Pz ...

a=b x=a y=z x=x ...
xPa yQxy yPx x x=a ...
xPx xQbx yQxy z z=z ...
xxPx yxQxy yxQxy ...
xxPy xxPx xx y=y ...
xxxzyxyyPz ...
 Reglas de formacin (iv)
Malas aplicaciones de (iv):

a=b el debe ir delante de una frmula

a=b a=b no es frmula

Pa tras el predicado debe ir algn trmino t:

pero t no es trmino

xPx tras el cuantificador debe ir una variable

v: pero v no es variable
 Reglas de formacin (v)
(v) Si y son frmulas, son frmulas:
( ) ( ) ( ) ( )
Dadas tambin las reglas (i-iv), son frmulas:

(Pa Pb) (Px Qxy) (Px x=a)

(a=b b=a) (Pz xPy) (xPx xQyx)
(Px x x=a) (x x=b xPb) x(Px Qx)
x(Py xQy) (xPx xPx) x(Px
xPx)
xyz ((Qxy Qyz)) Qxz)
x(yz(Qxy Qyz) zy(z=a y=b)) ...
 Reglas de formacin (v)
Malas aplicaciones de (v):

Pa Pb Pc faltan parntesis: (Pa Pb) Pc

x yQxy x no es frmula

x y ni x ni y son frmulas

a c dem respecto a a y c

x yQxy dem respecto a x

 Reglas de simplificacin: parntesis
Al igual que en L0, podemos eliminar los parntesis
exteriores:

(Px yPy) se queda en: Px yPy

(a=b b=a) se queda en: a=b b=a

PERO:
x(Px yPy) no se queda en: xPx yPy
Slo se simplifican los parntesis EXTERIORES. De
otro modo puede ocurrir que las frmulas no sean
equivalentes.
 Simplificacin: parntesis
Al igual que en L0, podemos eliminar los parntesis
interiores de una secuencia de frmulas unidas slo
por conyuntores o slo por disyuntores:

x(Py (yQxy zQxz)) se queda en:

x(Py yQxy zQxz)
(a = b b = c) c = d se queda en:
a=bb=cc=d
PERO:
x(Py (yQxy zQxz)) no se queda en:
x(Py yQxy zQxz)
 Simplificacin: cuantificadores
En una frmula precedida por una secuencia de
cuantificadores del mismo tipo (todo o todo ) y
ninguno de ellos est precedido de negador, podemos
suprimir todos los cuantificadores excepto el primero,
manteniendo las variables:
xyz (x = a y = a z = a) se queda en:
xyz (x = a y = a z = a)
xyzx1x2(Qxy Rzx1x2) se queda en:
xyzx1x2(Qxy Rzx1x2)
PERO:
xyz (Px Qyz) no se queda en:
xzy (Px Qyz)
 Simplificacin: cuantificadores
En casos como los anteriores, pero con algn
negador, no puede suprimirse nunca el cuantificador
que est justo a la derecha del negador, aunque s los
restantes

xyz (x = a y = a z = a) se queda en:

xyz (x = a y = a z = a)
xyzx1x2(Qxy Rzx1x2) se queda en:
xyzx1x2(Qxy Rzx1x2)
PERO:
xyz (Px Qyz) no se queda en:
xyz (Px Qyz)
 Simplificacin: identidad
Una frmula de identidad precedida por negador
puede traducirse a una frmula sin negador,
cambiando = por

a = b se queda en: a b

xy x = y se queda en: xy x y

PERO:
(a = b b = c) no se queda en:
abbc
Recordemos las equivalencias entre y