Captulo 9

El lenguaje de la lgica de
primer orden.

El objetivo fundamental de este tema es doble: la adquisicin de un len-

guaje formal (poniendo especial nfasis en la formalizacin) y la introduccin
del mtodo de induccin y recursin sobre la construccin de trminos y frmu-
las. Se introducirn los conceptos de variables libres y ligadas y el de sustitucin.

9.1. Gramtica y formalizacin.

9.1.1. Gramtica de L.
Cmo se construye un lenguaje formal?
Vamos a construir un lenguaje al que podamos traducir las oraciones del
castellano. A diferencia de las lenguas naturales (como el castellano, el ingls, el
cataln o el chino) ser ste un lenguaje formal que contar con unas reglas de
formacin precisas. El uso ms frecuente que vamos a hacer del lenguaje formal
es como vehculo de razonamiento. Slo nos interesar traducir a nuestro len-
guaje formal las expresiones lingsticas que describan un estado o expresen un
pensamiento completo; es decir, nos limitaremos al uso declarativo del lenguaje
natural.
Para hablar acerca de nuestro lenguaje formal utilizaremos el espaol, del
mismo modo que utilizamos el espaol para estudiar el latn. Cuando sto se
hace, al lenguaje en estudio se le llama lenguaje objeto (latn, en el ejemplo)
y al lenguaje que utilizamos de vehculo, metalenguaje (espaol, en el ejemplo
anterior). Nuestro lenguaje objeto es el lenguaje formal y el espaol, aumentado
con algunos signos, es el metalenguaje.
Finalmente, distinguimos entre uso y mencin de una palabra o una expre-
sin. Usamos normalmente las palabras para referirnos a objetos que no son
lingsticos; es decir, las usamos como un signo, para aludir a algo distinto de
ellas mismas. Hay otras ocasiones en las que usamos el lenguaje para hablar

123
124 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

acerca del propio lenguaje. Usamos entonces el metalenguaje para mencionar

las expresiones de un lenguaje.

Comentario 70 Una explicacin algo ms detallada de estos conceptos puede

hallarse en el Captulo 2 de este METABOOK, El lenguaje de la lgica propo-
sicional.

Comentario 71 Siguiendo la distincin entre lenguaje y metalenguaje pro-

puesta por Tarski, no expresaremos la verdad de un enunciado en el lenguaje
objeto, sino en el metalenguaje. Evitaremos as las denominadas paradojas se-
mnticas, como la del mentiroso, que brevemente presento a continuacin..

PARADOJA DEL MENTIROSO.

La paradoja ms antigua que se conoce es la de Epimnides, el cretense.

Deca que todos los cretenses son mentirosos y que todas sus afirmaciones son
mentiras. La contradiccin aparece cuando uno se pregunta sobre la propia
afirmacin de Epimnides. Es tambin esta afirmacin una mentira?
Una forma fcil de verlo es as:
Sea p el enunciado: Estoy mintiendo. Naturalmente, esto es lo mismo que
decir: No es verdad p, que podramos formalizar as: V p. Es decir,
(1) p V p
Pero la propiedad semntica de verdad debera ser definida de forma que
para cualquier x, x es verdadera si y slo si x; es decir, x(V x x).
Qu sucede cuando consideramos la frmula p?.
En primer lugar,
(2) V p p
Ahora podemos usar (1) y reemplazar en (2) la frmula p por su formaliza-
cin, obteniendo:
(3) V p V p
Naturalmente, esto es una contradiccin.
CONCLUSIN: Nosotros distinguiremos entre lenguaje y metalenguaje,
la frmula x(V x x) con el significado que se pretende que tenga no puede
ser una frmula del lenguaje objeto. La verdad de un enunciado se expresa en
el metalenguaje, nunca en el lenguaje objeto.

Un lenguaje formal consta de un alfabeto bsico y de unas reglas precisas

de formacin de frmulas.
Nosotros utilizaremos distintos lenguajes de primer orden, dependiendo del
uso que queramos darle. Por ejemplo, si queremos hablar de relaciones de orden
nos bastar con un lenguaje que posea un signo para referirnos a la relacin, si
queremos hablar de grupos, necesitaremos un signo para la operacin binaria y
una constante para el elemento neutro. Dependiendo de la aplicacin que vaya
a drsele, el lenguaje de primer orden se adecuar, pero hay ciertos signos que
son comunes a todos los lenguajes de primer orden.
9.1. GRAMTICA Y FORMALIZACIN. 125

Alfabeto.
El alfabeto de un lenguaje cualquiera, L, de lgica de primer orden con-
tiene dos tipos de signos: los comunes a todos los lenguajes de primer orden
y los que son peculiares de cada lenguaje de primer orden. Entre los primeros
estn los conectores, los cuantificadores y las variables individuales. Tambin
inclumos aqu la igualdad. Entre los segundos estn los relatores, los functores
y las constantes individuales.
Nosotros usamos , , , , como conectores, y como cuantificadores
y las letras x, y, z, u, v, w, x0 , x1 , x2 ,..., y0 , y1 , y2 , ... como variables indivi-
duales. Usaremos = como signo de igualdad. Tambin, como signos impropios
utilizaremos parntesis: ), (.
Un lenguaje L(R, f , c) concreto contiene adems un conjunto R de relatores,
un conjunto f de functores y un conjunto c de constantes individuales. Todos o
algunos de estos conjuntos pueden ser vacos.
Para cada nmero natural n, usaremos Rn , S n , T n , R0n , R1n , R2n ,... como
relatores n-arios.
Para cada nmero natural n, usaremos f n , g n , hn , f0n , f1n , f2n ,... como func-
tores n-arios.
Como constantes individuales usaremos a, b, c, a0 , a1 , a2 , ...

Comentario 72 Las constantes individuales pueden considerarse constantes 0-

arias, en cuyo caso el leguaje se reducira a: L(R, f )

Trminos y Frmulas.
Las frmulas y los trminos de L se construyen siguiendo unas sencillas reglas
de formacin. Dichas reglas extraen del conjunto de filas de signos del alfabeto
a aquellas a las que llamamos trminos y frmulas. Por ejemplo, queremos que
R2 ax, xy(T 2 xy R2 xa), f 1 x = b sean frmulas, pero que no lo sean f 1 x =
y, ni f 2 xa R2 ab. La frmula f 1 x = b es una ecuacin, a derecha e izquierda
de la igualdad aparecen los trminos f 1 x y b

Definicin 73 El conjunto de los trminos de L (al que llamamos TERM(L),

o simplemente TERM) es el menor conjunto que se puede generar mediante
las reglas:

T1.- Las variables individuales son trminos.

T2.- Las constantes individuales son trminos.

T3.- Si 1 , 2 ,..., n son trminos, f n 1 ... n es un trmino. (Tambin

podemos escribir, f n ( 1, ..., n ))

Definicin 74 El conjunto de las frmulas de L (al que llamamos FORM(L),

o simplemente FORM, cuando est claro por el contexto) es el menor con-
junto que se puede generar a partir de las reglas siguientes:
126 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

F1.- Si 1 , 2 ,..., n son trminos, Rn 1 ... n es una frmula. (Tambin

podemos escribir, Rn ( 1, ..., n ))
F2.- Si 1 y 2 son trminos, 1 = 2 es una frmula.
F3.- Si A y B son frmulas, tambin lo son: A, (AB), (AB), (A B),
(A B)
F4.- Si A es una frmula, tambin lo son: xA y xA.
TERM
x, y, z, ... FORM A xA
a, b, c, ... ATOM
1 C
Rn 1 ... n (C B)
n .. B
f 1 ... n . 1 = 2
n

CONECT CUANT
FUNC REL
, ,
fn Rn
,

Definicin 75 Llamamos expresiones de L al conjunto formado por los tr-

minos y las frmulas de L; es decir,
EXPR(L) = TERM(L) FORM(L)
Comentario 76 Advirtase que tal y como hemos definido el conjunto de frmu-
las, como el menor conjunto que cumple las reglas F1 a F4, si un conjunto Q
cumple las mencionadas reglas, entonces FORM(L) Q , lo que significa que
todas las frmulas estn en dicho conjunto. De forma similar para trminos.
Definicin 77 Llamamos frmulas atmicas a las obtenidas mediante las
reglas F1 y F2. En especial, las formadas mediante F2 son ecuaciones.
Definicin 78 Forma lgica: Las frmulas obtenidas mediante las reglas F3
y F4 reciben las denominaciones siguientes:

Forma lgica Denominacin

A negacin
(A B) conjuncin
(A B) disyuncin
(A B) condicional
(A B) bicondicional
xA generalizacin
xA particularizacin
9.1. GRAMTICA Y FORMALIZACIN. 127

Comentario 79 Demostrar que una sucesin de signos del alfabeto L es una

frmula consiste en mostrar que se construy conforme a las reglas del clculo
de frmulas; es decir, F1 a F4.

Comentario 80 El saber identificar la forma lgica de una frmula dada es

fundamental para manipular el clculo deductivo correctamente.

9.1.2. Ejemplos
1. Frmulas atmicas: Ra, f a = x, Rf f a, ...
2. Negaciones:

a) xy(P x Qx))
b) Qx
c) b = c
d) (xy(Rxy f x = y) xyz(Rxy Rxz y = z))

3. Conjunciones:

a) uv((Ru Rv) u = v) xRx

b) yx(Rx x = y) (Rx x = y)
c) Ru (Rv u = v)

4. Disyunciones:

a) x(P x Qx) x(P x Rx)

b) Rx Qx
c) a = b a = c
d) xy(Rxy Ryx) xyz(Rxy Ryz Rxz)

5. Condicionales:

a) x(F x Ra) xF x
b) xyF xy Ra
c) x(P x Rx) xy (F xy F yx)

6. Bicondicionales:

a) x(Rx f x = a) (xRx} f a = a)
b) xP x Qa
c) x (P x Qa) (xP x xRx)
128 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

7. Generalizaciones:

a) x(M xa M xb)
b) x(Ox y(Ry Exy)
c) xyz(Rxf xy Rf yxz Rxz)

8. Particularizaciones:

a) x(M xa M xc)
b) xa = x
c) xyf x = y
d) xOx

9.1.3. Subfrmulas.
Llamamos subfrmulas de una frmula a todas aquellas partes de una frmula
que son tambin frmulas (generadas por F1 a F4). Descomponer una frmula
en subfrmulas es una manera de demostrar que efectivamente se trata de una
frmula. La forma ms sencilla de hacerlo es mediante rboles genealgicos, que
todo el mundo entiende con facilidad. Para no confundirlos con los rboles lgi-
cos, que se vern despus, yo los hago de abajo a arriba, con aspecto de autntico
rbol genealgico.

9.1.4. Formalizacin.
Este tema tiene una vertiente prctica, la formalizacin, en la que me gusta
insistir, pues considero que es fundamental que se adquiera mucha soltura en
el uso del lenguaje simblico. El que la formalizacin preceda a la interpreta-
cin semntica tiene una justificacin: permite una introduccin intuitiva de los
conectores y de los cuantificadores. Sin embargo, es ms fcil hacerlo cuando
se domina mejor el lenguaje formal. La alternativa pedaggica que propongo
es iniciar ahora la formalizacin pero redondear el tema al final; por ejemplo,
haciendo que algunos de los ejercicios de deduccin se propongan en espaol, o
en lenguaje matemtico sin formalizar. Otra posiblilidad es usar el programa el
mundo de Tarski, del que hablaremos luego.
Los apartados que trataremos son los que siguen:

1. Negacin.
Negamos la verdad de un enunciado afirmando su negacin. La negacin
recoge el uso de la partcula no del castellano (o cualquiera de sus equi-
valentes; no es cierto que, no es verdad que, nunca, jams). La
interpretacin que le daremos ser la siguiente:
La negacin de un enunciado verdadero ser falsa y la de uno falso ser
verdadera.
9.1. GRAMTICA Y FORMALIZACIN. 129

2. Conjuncin.
Cuando utilizamos una conjuncin entre dos enunciados queremos indicar
que ambos son verdaderos. Normalmente usamos la conjuncin copulativa,
y para indicar conjuncin, pero, aunque, sin embargo se usan
tambin. Hay un ligero matiz que diferencia estos usos, que se pierde en
el lenguaje formal. La interpretacin que le daremos ser la siguiente:
La conjuncin de dos enunciados es verdadera si y slo si ambos lo son.

3. Disyuncin.
La disyuncin que recoge nuestra conectiva es la llamada incluyente (o
no excluyente), como cuando en un anuncio SE SOLICITA SECRE-
TARIA QUE SEPA FRANCS O INGLS, que evidentemente no
excluye a la que sepa los dos idiomas. Normalmente se expresa mediante
o, a menos que, a no ser que, y/o. La interpretacin que le dare-
mos ser la siguiente:
La disyuncin de dos enunciados es verdadera si al menos uno de ellos lo
es.

4. Condicional.
Formalizamos (A B) para indicar un enunciado condicional. En este
caso A es el antecedente y B el consecuente. En castellano usamos nor-
malmente la expresin si A entonces B. Se usan tambin si A, B, B,
si A, A es condicin suficiente para B, B es condicin necesaria para
A, slo si B, A. La interpretacin que le daremos ser la siguiente:
Un enunciado condicional es falso cuando el antecedente es verdadero y el
consecuente falso, en el resto de los casos es verdadero.

5. Bicondicional.
Cuando queremos indicar que A es condicin suficiente para B y que
B es condicin necesaria para A lo formalizamos as: (A B). La
interpretacin que le daremos ser la siguiente:
Un enunciado bicondicional es verdadero cuando y slo cuando sus dos
miembros son simultneamente verdaderos o falsos.

6. Generalizacin.
Cuando queremos indicar que todos los individuos del universo de dis-
curso verifican A, escribimos: xA. La interpretacin que le daremos ser
la siguiente:
Una generalizacin es verdadera cuando se verifica para todos los indivi-
duos del universo.

7. Particularizacin.
Cuando queremos expresar que al menos un individuo del universo ve-
rifica A, escribimos: xA. La interpretacin que le daremos ser la si-
guiente:
Una particularizacin es verdadera cuando se verifica para al menos un
individuo del universo.
130 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

9.1.5. Espaol en Lgica de primer orden.

EJERCICIO 1.- En cada uno de los siguientes ejemplos elegid la (o las)
respuesta acertada.

1. Slo los seres humanos (H 1 x x es un ser humano) tienen primos (((P 2 xy

x es primo de y).

2. Hay un hombre (M 1 x x es un hombre) que adrnira a (P 2 x yx admira

a y) todos los hombres.

3. Ningn ser humano (H 1 x x es un hombre) es admirado (P 2 xy x

admira a y) por todos los hombres.

4. Slo algunos seres humanos (H 1 x x es un ser humano) carecen de primos

(P 2 xy x es primo de y).

a) x H 1 x y H 1 y P 2 xy

b) xy P 2 yx H 1 x )

c) x H 1 x y H 1 y P 2 yx

d) x H 1 x yP 2 yx

e) x H 1 x P 2xx
f ) Ninguna de ellas.

a b c d e f
1
2
3
4

EJERCICIO 2.- En cada uno de los siguientes ejemplos elegid la (o las)

respuesta acertada.

1. Slo algunos cocineros famosos (P 1 x x es un cocinero famoso) son

tambin buenos actores (R1 x x es un buen actor).

2. Todos los rencorosos ( R1 x x es un rencoroso) son intrigantes ( P 1 x x

es un intrigante).

3. Ningn tenista (T 1 x x es un tenista) es su propio entrenador (R2 xy x

es entrenador de y).

4. Ningn tenista (T 1 x x es un tenista) es admirado (R2 xy x admira a

y ) por todos los dems.

a) x(R1 x P 1 x)
9.1. GRAMTICA Y FORMALIZACIN. 131

b) x(R1 x P 1 x)
c) x(R1 x P 1 x)
d) x(T 1 xR2 xx)
e) x(T 1 x yR2 yx)
f ) Ninguna.

a b c d e f
1
2
3
4

EJERCICIO 3.- En cada uno de los siguientes ejemplos elegid la (o las)

respuesta acertada.

1. Slo algunos seres humanos (H 1 x x es un ser humano) son progenitores

(P 2 xy x es progenitor de y).
2. Todos los seres humanos (H 1 ) tienen dos progenitores (P 2 )
3. Ningn ser humano (H 1 ) es su propio progenitor (P 2 )
4. Ningn ser humano (H 1 ) es admirado (P 2 xy x admira a y) por todos
los hombres.

a) x H 1 x y H 1 y P 2 xy

b) x(H 1 x yz P 2 yx P 2 zx y 6= x )

c) x H 1 x y H 1 y P 2 yx

d) x H 1 x yP 2 yx

e) x H 1 x P 2 xx
f ) Ninguna.

a b c d e f
1
2
3
4

EJERCICIO 4.- En cada uno de los siguientes ejemplos elegid la (o las)

respuesta acertada.

1. El hombre (Hx x es un hombre) siempre ama (A2 xy x ama a y) a

quienes le aman.
2. Existe un hombre (Hx x es un hombre) que es ms viejo que (D2 xy x
es ms viejo que y) todos los dems.
132 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

3. Slo algunos hombres (H x es un hombre) son despreciados (D2 xy x

es despreciado por y) por las personas (Hx x es un hombre) a quienes
ellos aman (A2 xy x ama a y).
4. Los huracanes (Hx x es un huracn) arrancan los rboles (Ax x
arranca los rboles) y tumban las casas (T x x tumba las casas).
5. El perro (Hx x es un hombre) es el nico animal (Ax x es un
animal)que suea (T x x suea).
6. Slo algunos gorilas (Hx x es un gorila) reconocen a (D2 xy x reconoce
a y) los gorilas contra los que han luchado (A2 xy x lucha contra y).
7. Los animales (Ax x es un animal) se irritan siempre mortalmente (Hx
x se irrita mortalmente) si no les presto atencin (T x x se irrita si no
le presto atencin).

a) yx((Hx (T x Ax)) x = y)
b) x((T x Ax) Hx)
c) x (T x Ax) Hx)

d) x Hx y((Hy A2 xy) D2 yx)
e) x(Hx y(Hy x 6= y D2 xy))
f ) Ninguna.

a b c d e f
1
2
3
4
5
6
7

EJERCICIO 5.- Elegid la ( o las) formalizacin adecuada.

1. Algunos hombres (H) desprecian a (D2 ) todos, incluso se desprecian

a s mismos.
2. Existe un hombre (H) que es ms viejo que (D2 ) todos los dems.
3. Slo algunos hombres (H) son despreciados (D2 ) por las personas
(H) a quienes ellos aman (A2 ).
4. El gato (H)es el nico animal (A) que tiene siete vidas (T ).
5. Hay un portero (A) a quien todo el mundo conoce (D2 ).
6. Los albailes (A) se irritan siempre (H) si no les presto atencin (T ).
7. Ningn animal (A) sin cuernos (H) puede lanzarlo a uno contra una
puerta (T )
9.1. GRAMTICA Y FORMALIZACIN. 133

a) yx((Hx (T x Ax)) x = y)
b) x((T x Ax) Hx)

c) x Hx y(Hy D2 xy
d) x((T x Ax) Hx)
e) x(Hx y((Hy A2 xy) D2 yx))
f) Ninguna.

a b c d e f
1
2
3
4
5
6
7

EJERCICIO 6.- Traducid al espaol los siguientes enunciados de la lgica

de primer orden, empleando para ello la clave siguiente:

P x := xes un panadero, T x := x es astuto, Lx := x es lento.

1. x(P x Lx)

2. x(P x Lx T x)

3. x(T x P x)

4. x((P x T x) Lx)

5. xLx xT x x(Lx T x)

6. x(P x P x)

EJERCICIO 7.- Traducid al espaol los siguientes enunciados de la lgica

de primer orden, empleando para ello las claves siguientes:

Sx := x vive en Santander, F x := x es futbolista, Rxy := x respeta a y

1. x(Sx F x)

2. y(F y zRzy)

3. xyRxy

4. x(Sx F x)

5. x(Rxx Sx)

6. x(uRxu vRvx)
134 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

EJERCICIO 8.- Traducid al espaol las siguientes oraciones del lenguaje de

la lgica de predicados. Emplead la clave: Qxy := x quiere a y

1. x(yQxy zQzz)

2. x(yQxy zQzz)

3. x(yQxy zQzz)

4. xz(yQxy Qzz)

5. xzy(Qxy Qzz)

6. xzy(Qxy Qzz)

7. zxy(Qxy Qzz)

8. zyx(Qxy Qzz)

9. xy(Qxy Qyx)

10. xy(Qxy Qyx)

11. xy(Qxy Qyx)

12. xy(Qxy Qyx)

EJERCICIO 9.- Asumamos que las oraciones siguientes tratan sobre nme-
ros naturales. El smbolo mondico de funcin S representa la funcin
del siguiente (Sn:=n+1), la constante individual c representa el nmero 0.
Qu proposiciones reproducen las oraciones siguientes?

1. x(Sx = c)

2. x(x = c y(x = Sy))

EJERCICIO 10.- Qu proposiciones sobre nmeros expresan las oraciones

siguientes? (Usamos < como relator binario para expresar la relacin de
estrictamente menor que y el functor binario para expresar el producto.
Nos hemos permitido colocar ambos en medio de los trminos que relacio-
nan u operan, en vez de anteponerlos a ellos para que sea ms legible.)

1. xy(x < y z(x < z z < y))

2. xy(y y = x)
9.2. *CONVENCIONES SOBRE NOTACIN. 135

9.1.6. El mundo de Tarski.

Cuando se aprende una segunda lengua se pueden seguir dos mtodos muy
diferentes:

Utilizar la lengua propia y hacer traducciones directas e inversas hacia la

nueva.

Aprender a usarla directamente.

El primero es el mtodo tradicional y ha sido el predominante en la enseanza

de la lgica; sin embargo, este mtodo plantea diversos problemas. En el caso
de la lgica la dificultad principal estriba en que el lenguaje natural es mucho
ms complejo que el formal, y con frecuencia las dificultades de formalizacin
radican en el lenguaje natural. Sin pretenderlo, transferimos al lenguaje formal
una complejidad que no le es propia. Otro problema es que para ser un buen
traductor hace falta conocer y dominar bien las dos lenguas, mientras que en
nuestro caso se supone que estamos justamente aprendiendo el lenguaje formal.
Estas consideraciones llevaron a los autores de El mundo de Tarski, Barwise
y Etchemendy, a concebir el mencionado programa, en el que el aprendizaje del
lenguaje formal es directo. A la informacin sobre este programa se puede
acceder desde nuestra pgina de ARACNE:
http://aracne.usal.es

9.2. *Convenciones sobre notacin.

Entre las convenciones acerca de la notacin, se suele incluir la supresin
de parntesis. Cuando se emplean reglas de supresin de parntesis, lo ms
frecuente es asignar prioridad a los conectores. Nosotros tan slo permitiremos
la supresin de parntesis externos, pues considero que los parntesis, aunque
engorrosos, ayudan mucho a entender las frmulas.
Utilizaremos una regla de agrupamiento de cuantificadores que dice lo si-
guiente:
Una secuencia de cuantificadores del mismo tipo pueden simplificarse. De
esta forma, en vez de

xyzA
escribiremos
xyzA
y en vez de
xyzvwA
escribiremos
xyzvwA
Usaremos tambin 6= t como abreviatura de ( = t)
136 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

Comentario 81 Por supuesto, la apariencia grfica de los conectores y cuan-

tificadores es puramente convencional. Los que nosotros usamos son los ms
frecuentes, pero tambin se usan:

& g
= (x)

9.3. Variables libres y ligadas.

Considerad la siguiente frmula:

A x(R2 yz z(R2 xz R2 xy))

en la que las variables subrayadas estn ligadas por los cuantificadores que
las preceden; el resto de las variables que aparecen en la frmula estn libres.
Es decir, una variable que aparece en una frmula puede estar libre o ligada,
dependiendo de si est fuera o dentro del alcance de un cuantificador.
A continuacin definiremos mediante recursin para expresiones cualesquiera
(trminos y frmulas), la funcin LBR que a cada trmino o frmula le asigna
el conjunto de las variables libres en ella.

Definicin 82 LBR es una funcin que a cada trmino y a cada frmula le

asigna un conjunto de variables, el de las que estn libres en ella.

LBR(x) = {x}

LBR(f n 1 ... n ) = LBR( 1 ) ... LBR( n )

LBR(Rn 1 ... n ) = LBR( 1 ) ... LBR( n )

LBR( 1 = 2 ) = LBR( 1 ) LBR( 2 )

LBR(A) = LBR(A)

LBR(A B) = LBR (A B) = LBR (A B) = LBR (A B) =

LBR (A) LBR (B)

LBR (xA) = LBR (xA) = LBR (A) {x}

Notacin 83 A los trminos sin variables libres los llamamos trminos cerra-
dos o designadores, a las frmulas sin variables libres las llamamos frmulas
cerradas o sentencias.

Notacin 84 Cuando la variable x LBR(A) podemos secribir A(x) para

hacerlo ms explcito.
9.4. SUSTITUCIN DE UNA VARIABLE POR UN TRMINO. 137

9.3.1. Ejercicios
Para cada una de las frmulas siguientes definid su LBR. Cules de las
frmulas siguientes son sentencias?

1. xy(Rxy Ax) Az
2. xy(Rxy Ax) Ax
3. u(vAv (zRvuz Bu))
4. x(y(P x x(Rx Ry)) zSxyz)

9.4. Sustitucin de una variable por un trmino.

La sustitucin es una funcin que a cada trmino, a cada variable y a cada
expresin le asigna una nueva expresin que resulta de sustituir la variable
por el trmino en la expresin original. Frecuentemente esta operacin consiste
simplemente en borrar la variable y colocar en su lugar el trmino. Sin embargo,
no queremos que se alteren las estancias libres y ligadas por lo que en algunos
casos habr que realizar reajustes, e incluso no llevar a trmino la sustitucin.
No queremos que como resultado de la sustitucin el significado de la frmula se
altere sustancialmente; queremos que lo que antes se afirmaba sobre la variable,
se afirme ahora sobre el trmino.
Por ejemplo, la frmula
xRxy
dice que todos los elementos estn relacionados mediante la relacin nombrada
mediante R con un cierto individuo, sin determinar. Si se interpreta esta frmula
en la estructura de los naturales y se interpreta la relacin como la de orden, la
frmula es claramente falsa ya que el orden de los naturales carece de extremo
superior. Si reemplazamos y por z obtenemos la frmula

xRxz

que dice lo mismo que la anterior. No obstante, si reemplazsemos y por x

obtendramos la frmula
xRxx
que dice que la relacin es reflexiva, algo claramente verdadero con la interpre-
tacin anterior. Sin embargo, no queremos que con la sustitucin se produzcan
estos cambios de significado y lo que haremos es, antes de sustituir y por x
sustituir la variable cuantificada por una nueva; por ejemplo,v, de esta forma
escribimos
vRvx
que no cambia el sentido de la frmula original, ni su valor de verdad.

Definicin 85 La definicin recursiva de la sustitucin de una variable por un

trmino en una expresin es como sigue:
138 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

t si x z
Sxt (z) =
z en caso contrario

Sxt (f n 1 ... n ) = f n Sxt ( 1 )...Sxt ( n )

Sxt (Rn 1 ... n ) = Rn Sxt ( 1 )...Sxt ( n )
Sxt ( 1 = 2 ) = Sxt ( 1 ) = Sxt ( 2 )
Sxt (A) = Sxt (A)
Sxt (A B) = Sxt (A) Sxt (B)
Sxt (A B) = Sxt (A) Sxt (B)
Sxt (A B) = Sxt (A) Sxt (B)
Sxt (A B) = Sxt (A) Sxt (B)
zA si x
/ LBR(zA)
x LBR(zA)
zSxt (A) si
z/ LBR(t)
Sxt (zA) =
x LBR(zA)
vSxt Szv (A) si z LBR(t)
v es una variable nueva

zA si x
/ LBR(zA)
x LBR(zA)
zSxt (A) si
z/ LBR(t)
Sxt (zA) =
x LBR(zA)
vSxt Szv (A) si z LBR(t)
v es una variable nueva

Notacin 86 Cuando t sea un trmino cerrado, y x LBR(A), escribiremos

A(t) en vez de Sxt (A(x))

9.4.1. Ejemplos de sustitucin

1. Sxa (P x Lx) = P a La
2. Sxa (x(P x Lx) T x) = x(P x Lx) T a
3. Sxa (x(T x P x)) = x(T x P x)
4. Sxa (z((P z T x) Lx)) = z((P z T a) La)
5. Sxa ((xLx T x) x(Lx T x)) = ((xLx T a) x(Lx T x))
6. Sxz (x(P x P x)) = x(P x P x)
7. Sxz (xP x P x) = xP x P z
9.5. GLOSARIO. 139

8. Sxz (z((P z T x) Lx) = v((P v T z) Lz)

9.5. Glosario.
Lenguaje natural (ordinario) Producidos en la evolucin psicolgica e
histrica; p.e. espaol, ingls, ruso,...

Lenguaje formal (o artificial) Creados por el hombre, consta de un

alfabeto bsico y de unas reglas de formacin.

Metalenguaje y lenguaje objeto Para hablar acerca de nuestro len-

guaje formal utilizaremos el castellano, del mismo modo que utilizamos el
castellano para estudiar el latn. Cuando sto se hace, al lenguaje en estu-
dio se le llama lenguaje objeto (latn, en el ejemplo) y al lenguaje que
utilizamos de vehculo, metalenguaje (castellano, en el ejemplo anterior).
Nuestro lenguaje objeto es el lenguaje formal y el castellano, aumentado
con algunos signos, es el metalenguaje.

Uso y mencin. Decimos que usamos una expresin cuando la utilizamos

como un signo; es decir, cuando sta se refiere a algo distinto de la propia
expresin. Decimos que mencionamos una expresin cuando la utilizamos
para referirnos a la expresin misma.

Alfabeto. Por alfabeto podemos entender el conjunto de smbolos que

forman las expresiones de un lenguaje. El alfabeto de nuestro lenguaje
L(R, f , c) de la lgica de primer orden contiene dos tipos de signos; a
saber, los comunes a los lenguajes de primer orden orden y los peculiares
de cada lenguaje de primer orden. Entre los primeros estn los conectores,
los cuantificadores y las variables. Entre los segundos estn los relatores,
los functores y las constantes individuales.

Conectores. negador, disyuntor, conyuntor, condicionador y

bicondicionador.

Cuantificadores. cuantificador universal, y cuantificador existencial.

Variables (individuales). x, y, z, u, v, w, x0 , x1 , ...

Relatores. Un conjunto R de smbolos como nombres para las relaciones:

Rn , S n , T n , ...

Functores. Un conjunto f de smbolos como nombre para las funciones:

f n , g n , hn , ...

Constantes (individuales). Un conjunto c como nombre para indivi-

duos: a, b, c, ...
140 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.

Trminos, TERM. Sucesiones finitas de signos del alfabeto obtenidas

conforme a las reglas T1 a T3
Frmulas, FORM. Sucesiones finitas de signos del alfabeto construdas
conforme a las reglas F1 a F4 del clculo de frmulas. Reciben los nombres
siguientes:

(REGLAS F1 y F2) frmula atmica (o simple)

A negacin
(A B) disyuncin
(A B) conjuncin
(A B) condicional
(A B) bicondicional
xA generalizacin
xA particularizacin

Expresin, EXPR. Miembro del conjunto de trminos y frmulas.

EXPR = TERM FORM.

Subfrmulas. Llamamos subfrmulas de una frmula a todas aquellas

partes de una frmula que son tambin frmulas (generadas por F1 a F4).
Forma lgica. Es el tipo de frmula; es decir, atmica, negacin, dis-
yuncin, conjuncin, condicional, bicondicional, generalizacin y
particularizacin.
Clculo (de frmulas). Algoritmo (procedimiento efectivo) mediante el
cual podemos generar las frmulas (y justificar que una sucesin determi-
nada de signos del alfabeto lo es)
Arbol genealgico (de una frmula). Procedimiento de generacin de
subfrmulas.
Induccin. Procedimiento mediante el cual se prueba que todas las frmu-
las tienen una determinada propiedad (o que todos los trminos tienen una
determinada propiedad). Se hace en dos pasos: (1) Bsico y (2) Inductivo.
Recursin. Procedimiento mediante el cual se introduce un nuevo con-
cepto para todas las frmulas o para todos los trminos. Se hace en dos
pasos: (1) Bsico y (2) Inductivo.
Variable libre. Variable que no est en el alcance de un cuantificador.
Variable ligada. Variable afectada por un cuantificador.
LBR(). Conjunto formado por todas las variables libres de la expresin
.
Designadores. Trminos sin variables.
9.6. REFERENCIAS BIBLIOGRFICAS 141

Sentencias. Frmulas sin variables libres.

Sustitucin. Funcin que a cada variable, a cada trmino y a cada ex-
presin le asigna una expresin que resulta de sustituir la variable por el
trmino en la expresin original.

9.6. REFERENCIAS BIBLIOGRFICAS

Lenguaje natural y Lenguaje formal. Lenguaje y Metalenguaje. Uso
y Mencin. Funciones veritativas.
Se puede encontrar una estupenda explicacin de estos conceptos en DEAO,
A (1978) pg 21 a 27.
Tambin se puede consultar BERGMANN et alts, (1990), pg 49 a 51.

Formalizacin.
En el libro de SUPPES (1975), pg 25-44 y 73-89. Tambin en DEAO, A
(1978) 238-244. Deao incluye numerosos ejercicios.

El mundo de Tarski
Encontrareis una informacin actualizada de este y otros programas desarro-
llados por el CSLI en la siguiente direccin
http://www-csli.stanford.edu/hp/
142 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.