Javier Legris

Deduccin y representacin

Captulo tres
El lenguaje de primer orden

El lenguaje de primer orden, abreviado de aqu en ms como LPO, es un lenguaje formal que fue
concebido originalmente con la intencin de formalizar teoras matemticas (como por ejemplo la
aritmtica). Sin embargo, se lo puede usar tambin para formalizar teoras referidas a dominios no
matemticos (en ciencias naturales y sociales) y, adems, tiene suficiente capacidad expresiva como para
formular en l afirmaciones y razonamientos relativos a muy diferentes mbitos de conocimiento. Pero, sobre
todo, no debe olvidarse que al incluir smbolos para palabras y frases lgicas del lenguaje ordinario, el LPO
est concebido para desarrollar sistemas formales de lgica.
En particular, el LPO proporciona a travs de sus categoras sintcticas y semnticas una herramienta
muy til para (i) la representacin del conocimiento que se tiene respecto de algn mbito o dominio de
objetos y (ii) para procesar la informacin que se tiene respecto de ese dominio. Esto quiere decir que en el
LPO puede representarse o simbolizarse la informacin que se posee sobre un dominio determinado, y que
normalmente es formulada en el lenguaje ordinario, es decir, en alguna lengua histrica (como el castellano,
el ingls o el portugus), eventualmente con el agregado de algunas expresiones tcnicas ligadas a las
entidades del dominio. Las ventajas del LPO pueden resumirse en los siguientes aspectos: (a) al ser un
lenguaje artificial, la gramtica queda absolutamente especificada, de modo que la representacin es
totalmente precisa, sin ambigedades; (b) permite una representacin del conocimiento muy flexible, de
modo que la relacin entre las entidades del dominio puede determinarse claramente y la informacin puede
manipularse de una manera ms provechosa.

1. smbolos descriptivos

El LPO representa el conocimiento acerca de cualquier dominio de objetos, que puede estar
integrado, segn el caso, por entidades de cualquier naturaleza: material o inmaterial, objetos fsicos,
matemticos, sociales, culturales, etc. Su naturaleza no es importante aqu; slo importa aqu el hecho de que
constituyen el dominio de objetos de los que estamos hablando, sobre los cuales cuantificamos, en los que
tienen su rango las variables, y a los cuales podemos darles nombre. Las expresiones que se emplean para
nombrar objetos del dominio sern los trminos del LPO.
Ahora bien, en el contexto de nuestra representacin, decimos cosas acerca de las entidades del
dominio; esto es, predicamos acerca de ellas. Por ejemplo, predicamos de Argentina que es una repblica, de
Chile que es un pas montaoso o predicamos de Argentina y Chile que el primero est al este del segundo.
Es decir, se parte de la existencia de un dominio de objetos, de cuyos miembros se predicarn cosas. Aquello
que se predica puede aplicarse a un objeto por vez (como ser repblica) o a ms de un objeto (como estar
al este de). De este modo, el LPO contendr expresiones que servirn para indicar todo aquello que digamos
de los individuos. A estas expresiones se las llamar predicados. Al adscribir predicados a los trminos se
obtendrn lo que se llamarn frmulas del LPO, en particular enunciados.
Por ejemplo, pinsese nuevamente en los pases del mundo como el dominio de objetos al que nos
referimos. Estos pases pueden ser montaosos, boscosos, pueden tener salida al mar, etc. Tambin puede
darse que un pas tenga ms habitantes que otro, sea ms pequeo que otro, se encuentre al norte de otro, o
dados tres pases puede darse que uno de ellos est ubicado entre los otros dos, etc.
Un ejemplo de naturaleza distinta lo constituye el dominio de los nmeros naturales, de algunos de
los cuales puede predicarse con verdad que son pares, impares, primos, etc.Un nmero puede ser mayor que
otro o ser el duplo de otro, etc. .
A los individuos se har referencia mediante constantes de individuo (o nombres), todo lo que se
diga de los individuos se expresar mediante predicados. Asimismo, harn falta variables para referirse de
manera indeterminada a los individuos del dominio. Puesto que el dominio es en cada caso nico, el de los
individuos, y que slo de estos puede predicarse algo, no habr otro tipo de variables. Es en este sentido que
el LPO es un lenguaje de primer orden (sobre este punto se volver ms adelante).
Se tiene, entonces, la siguiente clasificacin:

(a) Constantes de individuo (o nombres), para las cuales se emplean

las letras a, b, c, d, e, o sino (mediante subndices) a1, a2, a3, etc.
(b) Predicados, que son las letras P, Q, R, S, T, o tambin P1, P2, P3, etc.

Se presupone que el lenguaje dispone de un conjunto numerable de constantes de individuo y de predicados.

1.1 Grado de predicados. Segn el nmero de individuos (sujetos) a los que se refieran, los predicados
pueden tener diferentes grados. Se indicar el grado de un predicado mediante el nmero de variables que le
suceden. Por ejemplo, Px es un predicado de grado 1, Rxy es otro de grado 2 y Sxyz es de grado 3. (Pero,
atencin!, Pxay, p. ej., es de grado 2.). Es usual llamar a los predicados de grado 1 predicados mondicos y
a los predicados de grado mayor que 1 predicados polidicos.

2. Smbolos lgicos

Los smbolos lgicos son en LPO las constantes lgicas. Las operaciones que estos smbolos representan
son el autntico objeto de una "teora lgica" y para los cuales se adopta un simbolismo especial. En
particular, los smbolos lgicos no se refieren a entidades en particular, sino que vinculan enunciados o
frmulas, o, ms en general, sirven para obtener nuevas frmulas a partir de otras dadas. Son los siguientes:

(c). Cuantificadores: universal, (que se lee como "para todo"), y existencial, (que se lee como "existe
al menos uno").
(d). Conectivas: conjuncin, & ("y"), disyuncin, ("o"), condicional, ("si ... entonces"),
negacin, ("no").

El lenguaje posee adems un conjunto numerable de

(e) variables de individuo: x, y, z, o tambin x1, x2, x3.

2.1 Observaciones.
(a) A los cuantificadores les sucede inmediatamente la variable a la que se refiere. Por ejemplo, x se
lee "para todo x", z se lee existe al menos un z.
(b) La negacin se aplica a una sola frmula, de ah que se la llame una conectiva unaria, o de aridad 1. Las
dems conectivas son binarias, o de aridad 2.

2.2. Smbolos auxiliares. Para construir expresiones se emplearn adems, una serie de smbolos que no
tienen significado especificado, sino que son slo auxiliares: parntesis, corchetes, puntos y comas. Los
parntesis ( y ) son, en rigor, tambin smbolos del LPO.

2.3. Variables metalingsticas. Sern variables metalingsticas de trminos, en general, las letras s y t
(eventualmente con subndices). Las letras A, B, C, D y E se emplearan como variables metalingsticas de
frmulas (eventualmente con subndices). As, A[t1...tn] expresa que los trminos t1, ..., tn aparecen en la
frmula A. Se adoptar, en general, la siguiente convencin:

2.3.1. Las expresiones de LPO escritas en negrita son variables metalingsticas de ellas mismas.

Mediante estas variables metalingsticas podemos expresar formas o esquemas de enunciados, en relacin
exclusivamente con el LPO. (Ntese que no se introducirn variables metalingsticas para los smbolos
lgicos, pues ellos son las expresiones constantes de la teora lgica.)

3. Trminos y frmulas
Sobre la base de los smbolos precedentes, se pueden definir recursivamente trminos y frmulas del
lenguaje LPO.

3.1 Trminos de LPO. Las variables y las constantes de LPO son trminos de LPO.

3.2 Frmulas de LPO.

(a) Si t1, ..., tn son trminos de LPO y P es un predicado cualquiera de LPO de grado n, entonces Pt1...tn es
una frmula de LPO.
(b) Si x1, ..., xn son variables cualesquiera de LPO y A es una frmula de LPO, entonces x1...xnA y
x1...xnA son frmulas de LPO.
(c) Si A y B son frmulas de LPO, entonces (A&B), (AB), (A B) y (A) son frmulas de LPO.
(d) Solo son frmulas de LPO las construidas segn las clusulas (a) - (c).

3.3 Ejemplos de frmulas y trminos de LPO. Son trminos de LPO: z, a54, c. Son frmulas de LPO:
(x(Px yQxy)), ((Rxyx)), (P12ab& xQx), ((((xRxa) ((Pa ((yQay))) & Sz)), (yQab), (Ra
Pb).

3.4 Smbolos definidos. Existen otros smbolos lgicos, que -segn el caso- pueden definirse mediante los
dados. Uno de ellos es el bicondicional:

(D) (A B) =df ((A B) & (B A)),

que se lee como si y slo si. (El smbolo =df es una manera de abreviar la expresin metalingstica es
igual por definicin.) Tambin se puede definir otro smbolo, w, que representa la disyuncin exclusiva,
generalmente expresada como o bien, ..., o bien y que se define como

(Dw) (A w B) =df ((A&B) (A&B)).

3.5 Variables libres y ligadas. Se dice que en una expresin del LPO una variable esta ligada si aparece
dentro del alcance de un cuantificador (es decir, el cuantificador afecta a esa variable), de otro modo est
libre. Se indica que una variable est dentro del alcance de un cuantificador mediante parntesis. Por
ejemplo, en x(...), todas las apariciones de la variable x en la expresin "..." estn dentro del alcance del
cuantificador que la antecede. Por ejemplo, en la frmula (xPx & Qx), la segunda aparicin de la x est
libre; en cambio en (x(Px & Qx)) est ligada por x.

3.6 Observaciones y otras definiciones.

3.6.1. Convencin acerca del uso de parntesis. A los efectos prcticos de simplificar la simbolizacin en
LPO, se aceptar la convencin siguiente. Los smbolos , &, , , para las conectivas vinculan
frmulas de manera ms fuerte en ese orden, de modo que pueden ahorrarse aplicaciones de parntesis.
Asimismo, pueden omitirse los parntesis externos. Por ejemplo, en vez de escribir (((A)&B) C), se
escribir A&B C; en vez de (A (B & (C))) se escribir A B&C, pero en ((A B) & (B C))
nicamente se pueden eliminar los parntesis exteriores, obtenindose la frmula (A B) & (B C) . En
lo que sigue se har uso de esta convencin, de modo de facilitar la escritura.

3.6.2. Trminos y frmulas abiertos y cerrados. Si en un trmino o una frmula de LPO aparece al
menos una variable libre, entonces se dice que el trmino o la frmula son abiertas. De otro modo son
cerradas. As las variables de individuo son trminos abiertos y las constantes trminos cerrados. Las
frmulas cerradas representan lo que usualmente se llaman enunciados, es decir, afirmaciones con un
sentido completo. En lo que sigue se emplearn indistintamente las expresiones "formula cerrada" y
"enunciado".
3.6.3. El concepto de subfrmula. Si xA y xA son frmulas de LPO, entonces A es subfrmula de esas
frmulas. Si A, A&B, A B, AB y AB son frmulas de LPO, entonces A y B son subfrmulas de esas
frmulas.

3.6.4. Frmulas atmicas, moleculares y generales.

(a) Aquellas frmulas que no contienen apariciones de cuantores o conectivas se llaman frmulas atmicas.
(b) Se llama smbolo principal de una frmula al smbolo lgico que vincula sus subfrmulas inmediatas.
(c) Una frmula es llamada molecular, si su smbolo lgico principal es una conectiva.
(d) Una frmula es llamada general, si su smbolo lgico principal es un cuantificador.
(e) Se emplearan las letras p, q, y r (eventualmente con subndices) para hacer referencia a frmulas cerradas
atmicas.

3.6.5. El condicional. En el caso del condicional (a diferencia de las dems conectivas vistas) importa si una
frmula est a la derecha o a la izquierda del smbolo , lo cual est en conexin con el significado que
tiene esta conectiva. As, en un condicional A B, diremos que A es el antecedente y B el consecuente del
condicional.

3.6.6. Las constantes de enunciado y . Eventualmente, se usarn los smbolos y para referirse
respectivamente a lo verdadero o lo falso, lo que ha sido demostrado como verdadero o lo
contradictorio. De este modo, y sern consideradas tambin frmulas de LPO. Estos smbolos son
tiles en algunos sistemas formales de deduccin (como la deduccin natural). Desde un punto de vista ms
abstracto los smbolos y pueden considerarse conectivas sin frmulas como argumentos, es decir como
conectivas de aridad 0.

3.6.7. Expresiones y formas de expresiones. Por medio de variables metalingsticas se obtienen formas o
esquemas de las expresiones del LPO. As a es una forma o letra esquemtica de constante de individuo,
siendo un caso concreto a o cualquier otra constante. A[xy] ser la forma lgica de cualquier frmula que
tenga dos variables diferentes libres, por ejemplo Rxy, Sazx o Qyabcx. xA[x] ser la forma lgica de
cualquier cuantificacin universal, por ejemplo zPz , xRax, xySayx o x(Px Qx). A B ser la
forma lgica de cualquier frmula condicional, por ejemplo Pa Rab, xSx Sa & Sb o Tx Qx.

3.6.8. Frmulas abiertas y predicados. Cualquier frmula abierta del LPO puede tomarse como un
predicado de una complejidad determinada ya que posee variables libres y puede convertirse en un
enunciado de dos maneras: (a) reemplazando las variables de individuo por constantes, o (b) ligando las
variables libres con cuantificadores.

4. Identidad y funciones. El lenguaje LPO+.

Si se toma nuevamente el caso de los pases del mundo, puede darse que un pas tenga un
determinado ndice de natalidad, un determinado PBI o que un pas sea el principal proveedor de materias
primas de otro, que tenga una tasa de crecimiento econmico anual mayor que otro, etc. Expresiones como
ndice de natalidad, PBI, el principal proveedor de materias primas, tasas de crecimiento econmico
representan todas funciones que tienen a pases como argumentos. Esto es todava ms obvio en el caso de
dominios numricos, donde se puede decir que un nmero puede ser la suma de otros dos o el cuadrado de
otro, etc. (funciones numricas). Si bien, las funciones pueden definirse como un tipo de relaciones, puede
pensarse en representarlas mediante un tipo particular de smbolos, los smbolos funcionales. As se agrega
un nuevo tipo de smbolos descriptivos, adems de (a) constantes de individuos y (b) predicados, a saber

(f) Smbolos funcionales, que son las letras f, g, h, o tambin f1, f2, f3, etc.

Asimismo, muchas presentaciones incluyen adems la identidad como smbolo lgico. Es decir a
nuestra lista de (c) cuantificadores y (d) conectivas debe agregarse:

(g). Identidad: = ("idntico a").

El smbolo de identidad es, en realidad, un predicado de grado dos, destacado especialmente como smbolo
lgico debido a su universalidad (se aplica a cualquier dominio). Los smbolos lgicos generan frmulas
complejas, generales o moleculares, a partir de frmulas ms simples, pero esto no vale para el caso de la
identidad, que determina frmulas atmicas.
Con estos dos agregados se obtiene el lenguaje de predicados de primer orden con identidad,
abreviado LPO+, que es una extensin de LPO. Esto obliga a redefinir los conceptos de trmino y frmula.
En efecto, son ahora trminos de LPO+: g(f(x)), z, a54, h(z,y), f(h(x,y), a), h(a,d,c), g(b312), de modo que se
tiene:

4.1. Trminos de LPO+.

(a+) Las variables y las constantes de LPO son trminos de LPO+.

(b+) Si t1, ..., tn son trminos de LPO+ y f es una funcin cualquiera de grado n de LPO+, entonces f(t1,...,tn)
es un termino de LPO+.
(c+) Solo son trminos de LPO+ los especificados mediante las clusulas (a) y (b).

Tal como ocurra con los predicados, las funciones tienen tambin grado: f(x) es una funcin de grado 1,
g(x,y) es de grado 2, etc.

4.2. Frmulas de LPO+

Asimismo, a las clusulas que definan las frmulas de LPO, debe agregarse la siguiente para las que
contengan el smbolo de identidad de LPO+:

(a+) Si t1, ..., tn son trminos de LPO y P es un predicado cualquiera de LPO de grado n, entonces Pt1...tn es
una frmula de LPO. En particular, tambin lo es ti=tj (i, j = 1, ...,n), que ser llamada una identidad.

5. Lema de formacin nica. Todo trmino y toda frmula de LPO pueden ser formada o construida de una
nica manera (de acuerdo con las definiciones recursivas de trmino y frmula, dadas en 3.1 y 3.2
respectivamente). En el caso especfico de frmulas y limitndose a conectivas y cuantificadores del LPO, se
puede hacer la siguiente afirmacin:

5.1. Si una formula cualquiera A no es atmica, entonces existe un nico smbolo lgico * tal que A es *Bi
(i = 1 o 2).

Este es el lema de formacin nica. De manera correspondiente, hay una nico modo de descomponer una
formula en sus componentes atmicos.

6. Arboles de generacin

El lema de formacin nica se comprueba al descomponer una frmula. Ello puede representarse
grficamente mediante rboles que indiquen la composicin, y a su vez determinen si una expresin es
frmula o no.
Los rboles que se tratarn de ahora en adelante son un tipo particular de grafos: grafos conectados
sin ciclos. Sern adems rboles binarios, es decir, que sus bifurcaciones generan a lo sumo dos ramas
(sobre el concepto de rbol en general vase, p. ej., Balakrishnan 1996, cap. 6). En el caso de estos rboles de
generacin, se supone que los nodos, es decir, los puntos conectados del rbol son frmulas del LPO. Los
siguientes son ejemplos de estructuras que adoptarn los rboles de generacin (los astericos indican los
lugares a ser ocupados por frmulas del LPO):

(a)
*

*
 / \
* *
/\
* **
(b)
*

*
(c)
*
/ \
* *
/\
**

*

Por ejemplo, a la expresin x (yQxy Px & Rax) le corresponde el siguiente rbol (se hace uso de la
convencin respecto de parntesis):

x (yQxy Pg(x) & Rax)

yQxy Px & Rax
/ \
yQxy Px & Rax
/ \
Qxy Px Rax

Puesto que Qxy, Px y Rax son frmulas del LPO, lo que se obtiene en cada uno de los pasos de
descomposicin, hasta el ltimo, es una frmula (ya que sigue la definicin recursiva dada). Por el contrario,
tmese la siguiente expresin: Pa & z (Qzb & Sz)
x(x Px), cuyo rbol de generacin es:

Pa & z (Qzb & Sz) x(f(x) Px)

/\
Pa & z (Qzb & Sz) x(x Px)
/ \
Pa z (Qzb & Sz) x Px
/ \
Qzb & Sz x Px
/ \
Qzb Sz

Esta expresin no es frmula puesto que x no lo es (es un trmino), aunque Pa, Qzb y Sz s sean frmulas.
Los rboles de generacin muestran la manera en que una frmula est construida de acuerdo con las
clusulas de la definicin de frmula. Por ejemplo, las frmulas Pa&Qa Sa y Pa & (Qa Sa) son
frmulas distintas pese a tener las mismas frmulas atmicas y los mismos smbolos lgicos (y en igual
cantidad). La diferencia (evidenciada ya por medio de los parntesis) est en la composicin de cada una: su
estructura es diferente, y esa diferencia en la composicin es lo que indican los rboles.

6.1. Arboles de generacin para trminos. Tambin pueden construirse rboles de generacin para
trminos, lo cual es relevante en el caso de LPO+, que contiene trminos complejos, con funciones, y que
son analizados o descompuestos hasta llegar a trminos elementales (de acuerdo con la definicin de trmino
de LPO+). Por ejemplo, la expresin h(g(x), f(a,b)) es un trmino cuyo rbol de generacin es el siguiente:
 h(g(x), f(a,b))
/ \
g(x) f(a,b)
x a b

6.2. Decidibilidad de los rboles de generacin. Al examinar los rboles de generacin de frmulas y
trminos -basados en las definiciones de trmino y frmula- dadas arriba, queda claro que los conceptos de
trmino y frmula de LPO y LPO+ estn determinados, es decir, son decidibles: frente a cualquier cadena de
smbolos de LPO o LPO+ puede decidirse si se est frente a un trmino o una frmula, respectivamente.

7. El concepto de orden

Se mencion que en LPO nicamente hay variables de individuo. Por ello, nicamente puede
cuantificarse sobre individuos. La idea preformal que est detrs es que hay un nico dominio, o "universo
de discurso", del cual se habla, y que est constituido por objetos. De ellos se puede predicar cosas. De los
predicados, en cambio no puede predicarse nada, puesto que no denotan (nombran) objetos de un dominio.
Por ejemplo, el enunciado "R es transitivo" no puede traducirse a LPO como, p. ej., TR, donde T estara en
un orden superior. Esto se debe a que R no hace referencia a un objeto del dominio del cual pueda predicarse
algo. Si se considerara la posibilidad de que los predicados se refirieran a un dominio de entidades,
entendidas, tal vez, como "conceptos" (por ejemplo, los conceptos de ser repblica, ser montaoso o
estar al oeste de), eso se expresara mediante la introduccin de variables de predicado, formndose as un
"lenguaje de segundo orden". No obstante, cabe hacer notar que, en general, expresiones que estn en un
orden mayor que 1, como la anterior, pueden traducirse a LPO. Por ejemplo, la traduccin del enunciado "R
es transitivo" al LPO sera xyz (Rxy & Ryz Rxz). Otros casos pueden verse en el cap. 7.

8. Diferentes conjuntos de smbolos

A lo largo de ms de cien aos de historia, la literatura de la lgica simblica ha propuesto diferentes

simbolizaciones para las constantes lgicas (e incluso diferentes notaciones como la notacin prefija de
Lukasiewicz, o notacin polaca). Las diferencias son slo en la grafa y la eleccin de un juego de
smbolos es puramente convencional. A continuacin, se indican los smbolos ms usuales en la literatura:

cuantificador universal: x, /\x, (x), (Ax);

cuantificador existencial: x, \/x, (x), (Ex);
conjuncin: &, , ;
disyuncin: ;
condicional: , , ;
bicondicional: , , ;
negacin: , , ~.

9. Traduccin del lenguaje ordinario al LPO

Supngase, como al comienzo del texto, que el dominio o universo de discurso son los pases del
mundo y considrese los siguientes enunciados:

1. Suiza es montaosa.
2. Finlandia es boscosa.
3. Suiza est al sur de Finlandia y Finlandia no est al sur de Portugal.
4. Si Suiza es montaosa, entonces algo (del dominio considerado) es montaoso.

Un posible cdigo de traduccin (o diccionario) sera el siguiente:

Suiza: a; x es montaoso: Px;

Finlandia: b; x es boscoso: Qx;
Portugal: c x est al sur de y: Rxy;

As, las traducciones al LPO seran:

1`. Pa. 2`. Qb. 3`. Rab & Rbc. 4`. Pa x Px.

Esta traduccin del lenguaje ordinario al LPO recibe el nombre de simbolizacin (o tambin
formalizacin). En sentido estricto, no se trata de lo que se llama una traduccin formal (de un lenguaje
formal a otro), pues, obviamente, el lenguaje ordinario no est formalizado (es decir, su gramtica no est
especificada de manera formal).
Si se agrega al ejemplo el enunciado

5. Finlandia es el mayor proveedor de papel de Portugal.

la simbolizacin puede hacerse por medio de un smbolo funcional de LPO+, a saber,

el mayor proveedor de papel de x: f(x),

de modo que se obtiene el enunciado de LPO+ 5`. b = f(c).

En realidad, lo que se hace con estas simbolizaciones es representar la informacin que se tiene
acerca de diversos dominios de acuerdo con las categoras del LPO. La simbolizacin es flexible, en el
sentido de que, dado un enunciado en castellano, pueden existir diferentes maneras de simbolizarlo. La
eleccin de una de ellas depende -como se ver en el cap. 7- de los objetivos de la simbolizacin, de las
inferencias que se quieran hacer.

9.1. La traduccin de razonamientos del lenguaje ordinario al LPO

Muchos razonamientos formulados en el lenguaje ordinario, es decir, en cualquier lengua histrica

(italiano, japons, guaran, etc.) pueden traducirse al (formalizarse, simbolizarse en) el LPO. Por
ejemplo, un razonamiento como

(9.1) Todos los pases boscosos son hmedos.

Finlandia es boscoso.
Luego, Finlandia es hmedo.

Se simboliza del siguiente modo (con la traduccin de x es hmedo como Sx):

(9.2) x (Qx Sx)

Qb.
Luego, Sb.

10. Representacin y semntica del lenguaje de primer orden: una primera aproximacin

Es obvio que al simbolizar o representar conocimiento por medio del LPO o LPO+ se presuponen
ideas semnticas. Si bien las expresiones del LPO pueden analizarse desde un punto de vista puramente
sintctico (y esto resultar, como se ver ms adelante, especialmente til), uno quiere usarlas para
representar de manera formal una informacin determinada acerca de determinados objetos de un dominio y
de aquello que se predica de ellos.
En cuanto a los smbolos descriptivos o no lgicos de LPO, queda claro cmo representan la
informacin disponible acerca de un mbito de cosas. Las constantes de individuo se refieren a los objetos de
un dominio y un predicado de grado n reflejar cualquier cosa que se diga de n-tuplas de individuos del
dominio.
Una idea muy extendida y prevaleciente desde los orgenes de la lgica de primer orden es que los
predicados mondicos representan propiedades de objetos del dominio y los polidicos representan
relaciones entre ellos. Esto merece alguna aclaracin. En el contexto de nuestra representacin, decimos
cosas acerca de las entidades del dominio; esto es, predicamos acerca de ellas, les adscribimos determinadas
propiedades y afirmamos que entre ellas median determinadas relaciones o se les puede aplicar determinadas
funciones.
Tmese nuevamente, a ttulo de ilustracin, los pases del mundo como el dominio de objetos al que
nos referimos. Estos pases pueden ser montaosos, boscosos, pueden tener salida al mar, etc. (es decir,
pueden tener propiedades). Tambin puede darse que un pas tenga ms habitantes que otro, sea ms
pequeo que otro, se encuentre al norte de otro (relaciones entre dos pases), o dados tres pases puede darse
que uno de ellos est ubicado entre los otros dos (relaciones entre tres pases), etc.
Otro ejemplo era el del dominio de los nmeros naturales, de algunos de los cuales puede
predicarse con verdad que son pares, impares, primos, etc. (propiedades de nmeros). Un nmero puede ser
mayor que otro o ser el duplo de otro (relaciones entre nmeros).
De este modo, la realidad se considera organizada en objetos (individuos), propiedades, relaciones.
A los individuos se har referencia mediante las constantes de individuo (o nombres) del LPO y todo lo que
se diga de los individuos se expresar mediante los predicados del LPO. Esto se puede resumir en el
siguiente cuadro:

constantes de individuo ---- representan ----- objetos (individuos)

predicados mondicos ---- representan ---- propiedades de objetos
predicados polidicos ---- representan ---- relaciones entre objetos

y agregando los smbolos funcionales de LPO+

smbolos funcionales ---- representan ---- funciones u operaciones.

(Desde luego hablar de propiedades, relaciones y funciones no significa aqu que vayan a formar parte del
dominio; slo aquello que es simbolizado con trminos cerrados puede pertenecer a l.)
Ahora bien, tmese el ejemplo dado precedentemente. All se haba representado la informacin
contenida en las afirmaciones 1)-4) en el LPO de un modo que daba lugar a los enunciados 1) - 4) del LPO.
Conversamente, puede partirse de este ltimo conjunto de enunciados del LPO y otorgar significado a los
smbolos descriptivos que lo integran, tomando como dominio en este caso el conjunto de pases del mundo,
e interpretar los smbolos descriptivos como sigue:

la constante a significa Suiza. el predicado Px significa que x es montaoso.

la constante b significa Finlandia. el predicado Qx significa que x es boscoso.
la constante c significa Portugal. el predicado Rxy significa que x est al sur de y.

De este modo, se obtiene una interpretacin de los enunciados 1) - 4) del LPO, que estar dada por los
enunciados 1)-4) del castellano. Ms aun, si 1) - 4) resultan ser enunciados verdaderos, entonces constituirn
lo que se suele llamar un modelo de 1) - 4) (es decir, una interpretacin en la cual las frmulas resultan
todas verdaderas).
Un ejemplo de LPO+ aclarar mejor esta idea. Supnganse los siguientes enunciados:

(i) x y(x=y & Px & Py Ryx).

(ii) x y (x=y & Px & Py Ryx).

Supngase adems que se quiere interpretar ambos enunciados de modo que resulten verdaderos (esto es, se
quiere encontrar un modelo para (i) - (ii)). Una interpretacin semejante estara determinada por la siguiente
adscripcin de significado a los smbolos descriptivos que aparecen en ambos enunciados:

El predicado Px significa que x es un nmero natural.

El predicado Rxy significa que x > y.

As, (i) y (ii) son interpretados del siguiente modo en castellano:

(i*) Para todo nmero natural existe otro distinto de este que es mayor que l.
(ii*) Existe un nmero natural tal que todo nmero natural distinto de l es mayor que l.

Ambos enunciados son verdades aritmticas.

10.1. La idea de semntica formal

Hasta aqu, se ha hecho referencia a los aspectos semnticos del lenguaje de predicados de primer
orden de una manera intuitiva, no formal. Pero es conveniente, desarrollar herramientas formales para
analizarlos, dando lugar a una semntica formal. (En una semntica formal puede caracterizarse el concepto
intuitivo de significado que se ha manejado y el concepto de validez de razonamientos visto anteriormente
respecto de razonamientos formulados en el LPO.)
Resulta claro que la interpretacin o adscripcin de significado puede ser considerado como una
funcin que tiene por argumentos expresiones (cadenas de smbolos) del LPO. No es tan claro, en cambio,
cules son las entidades que deben ser consideradas los valores que tal funcin debe adoptar (y esto es
independiente de la representacin). Queda claro que las constantes de individuo se refieren a las entidades
(de cualquier tipo) que integran el dominio. Ahora bien, los predicados mondicos representan propiedades o
atributos, los polidicos relaciones (y, en el caso de la extensin LPO+, los smbolos funcionales funciones u
operaciones). El problema es qu tipo de entidades son las propiedades, las relaciones (y las funciones). Por
supuesto, no pueden ser entidades del dominio, pues de otro modo habra que considerar diferentes rdenes
de entidades, para los cuales deber haber diferentes tipos de variables y esto nos llevara ms all del LPO
Sin entrar en una discusin que puede volverse un tanto compleja, se adoptar una perspectiva
extensional respecto de tales entidades y se emplearn conceptos elementales de la teora de conjuntos. As,
una propiedad se entender como el conjunto de individuos que la satisfacen (es decir, que dan lugar a
enunciados verdaderos). Por ejemplo, si tenemos como dominio el conjunto de pases del mundo, el hecho de
que el predicado Px se interprete como que x es boscoso quiere decir que el significado extensional o la
referencia de Px ser el conjunto de todos los pases para los que se cumple que son montaosos (es decir,
que dan lugar a enunciados verdaderos cuando la variable x del predicado Px es sustituida por ellos). As, de
acuerdo a aquella interpretacin el enunciado Pa es verdadero, pues Suiza pertenece al conjunto de pases
montaosos.
De forma parecida, los predicados polidicos (de grado mayor que 1) se interpretan como conjuntos
de secuencias (ordenadas) de individuos. Por ejemplo, en el caso de la relacin didica (de grado 2) R, su
significado extensional o referencia consiste en el conjunto de pares ordenados de individuos que satisfacen
la relacin de estar al sur de, es decir, pares ordenados de individuos que dan lugar a enunciados verdaderos
cuando las variables x e y del predicado Rxy son sustituidas por ellos). Rab resulta un enunciado verdadero,
pues el par ordenado <Suiza, Finlandia> pertenece al conjunto de pares ordenados de pases x, y tales que x
est al sur de y. As, los predicados se interpretan mediante sus extensiones, indicados mediante conjuntos.
Con todo esto, se est en condiciones de dar una definicin formal de ese concepto de interpretacin,
al que se llamar, de aqu en ms, modelo (las razones del cambio de denominacin se expondrn ms
adelante) para los smbolos descriptivos del LPO. La definicin se dar en trminos de la teora de conjuntos.
Un modelo para los smbolos descriptivos de LPO ser un par <U, V> tal que U es un domino de objetos (el
universo de discurso) y V una funcin de que cumple las siguientes condiciones:

10.1. V(c) U, para toda constante de individuo c de LPO;

10.2. V(P) Un, para todo predicado n-ario P de LPO;

Sobre esta base puede determinarse el valor que la funcin V de un modelo les asigna, en general,
tanto a constantes de individuo (trminos cerrados) como a enunciados (frmulas cerradas).
La funcin V determinar, en general, para cualquier enunciado atmico de LPO un valor de verdad,
verdadero o falso (y slo uno en cada caso), de modo que se tendr:

10.3. O bien V(A) = v, o bien V(A) = f para todo enunciado atmico A de LPO.
Ahora bien, en el caso de enunciados atmicos, su valor de verdad depender del valor de verdad asignado a
trminos y predicados, del siguiente modo: Sea Pa1...an un enunciado atmico cualquiera de LPO, entonces

10.4. V(Pa1...an) = v si y slo si <V(a1), ... ,V(an )> V(P).

En el caso de la extensin LPO+, los smbolos funcionales se interpretan de modo semejante a los
predicados, en la medida en que pueden asimilarse con relaciones de muchos a uno. Un smbolo funcional
cualquiera de grado 1 f(x) se interpretar como una relacin de muchos a uno didica entre elementos del
dominio. Por ejemplo, dado nuevamente el dominio de pases del mundo, el hecho de que la funcin g(x)
signifique ser el mayor acreedor de x quiere decir que g(x) se interpreta como un conjunto de pares
ordenados, el primer elemento de los cuales es un elemento del dominio (el conjunto de pases) al cual le
corresponde nico elemento de ese mismo dominio como segundo elemento. Una funcin de grado 2 se
interpretar como una relacin didica de muchos a uno que va de un par ordenado a un nico elemento. Por
ejemplo, si una relacin de grado 2 h(x,y) se interpreta como la operacin de suma entre los nmeros
naturales, entonces su significado o referencia ser una relacin entre pares ordenados de nmeros naturales
(a los que se les aplica la operacin) y nmeros naturales (el resultado de la operacin).
De este modo, a la definicin de modelo para los smbolos descriptivos debe agregarse la clusula:

10.2+. V(f(x1...xn)) es una funcin de Un en U.

Adems, a todo trmino cerrado (que ahora puede incluir smbolos funcionales) le corresponde un individuo
del universo de discurso, es decir,

10.3+. V(t) U, para todo trmino cerrado t de LPO.

10.2. El problema del significado de los smbolos lgicos

Hasta aqu nada se ha dicho acerca de la interpretacin de los smbolos lgicos de LPO y, por lo
tanto, tampoco de frmulas moleculares o generales. En realidad, los smbolos lgicos no representan ni
denotan entidades de algn tipo. Pero esto no significa que carezcan de significado. Por el contrario, los
smbolos lgicos de LPO pretenden capturar el significado preformal que tienen las correspondientes
expresiones en el lenguaje ordinario, en castellano u otras lenguas histricas.
La peculiaridad de los smbolos lgicos es que tienen significado en el contexto de frmulas (de ah
que en la historia de la lgica se los haya llamado sincategoremas, es decir, expresiones que tienen
significado nicamente en un contexto). Pero, precisamente, determinar el significado de los smbolos
lgicos es parte de los objetivos especficos de toda teora lgica, por ello se los llama tambin constantes
lgicas. De este modo, habr que tener una teora acerca de los razonamientos deductivos para dar un
significado a los smbolos lgicos, es decir, habr que dar una caracterizacin formal de la inferencia lgica
y de la verdad lgica, de los razonamientos vlidos y de las leyes lgicas.

11. Inferencias deductivas en el LPO

Siguiendo la caracterizacin general del concepto de razonamiento, puede hablarse de razonamientos

formulados en el LPO, de modo que un razonamiento ser un conjunto de frmulas (cerradas) de LPO, una
de las cuales (la conclusin) se infiere deductivamente de las restantes (las premisas). Como ya se ha
explicado, cuando un razonamiento es deductivamente vlido se da una relacin de inferencia deductiva
entre sus premisas y su conclusin. Esta relacin de inferencia queda ahora referida exclusivamente a
frmulas del LPO, cuya gramtica ha sido clara y totalmente especificada, de modo que puede ser objeto de
un estudio formal preciso. Es decir, los mtodos que se emplearn para determinar la validez de un
razonamiento en LPO sern mtodos formales. Asimismo, estos mtodos pueden servir para determinar si un
conjunto de enunciados es consistente.
Los mtodos formales puede adoptar diferentes puntos de vista. Por ejemplo, puede tomarse como
punto de partida el hecho de que en un razonamiento deductivo la conclusin es verdadera siempre que las
premisas tambin lo sean. Esta perspectiva puede presentarse formalmente por medio de los conceptos de
interpretacin y modelo, tal como fueron bosquejados antes para el caso de enunciados atmicos (pero que
debe ampliarse para el caso de constantes lgicas, que son esenciales en los razonamientos deductivos). De
acuerdo con esta perspectiva, se dir que el razonamiento es vlido si toda valuacin que asigna el valor v a
las premisas tambin asigna el mismo valor v a la conclusin.

12. Sistemas de deduccin para LPO

Otra perspectiva consiste en considerar ciertas formas vlidas de razonamiento como reglas de
inferencia bsicas, relativas al LPO, que prescriben el paso de frmulas de LPO de cierta forma a otra
frmula del LPO con una determinada forma, y considerar tambin ciertas formas de frmulas del LPO
postulados o axiomas, a partir de los cuales pueden obtener otras frmulas del LPO mediante reglas de
inferencia. Reglas de este tipo seran, por ejemplo,

12.1 Sean A y A B frmulas de LPO. Entonces, dadas A y A B, entonces infirase B.

12.2. Sean A una frmula de LPO y a una constante de individuo. Entonces, dada A[a], infirase x A[x].

Ntese que en estas reglas se emplean exclusivamente formas de expresiones de LPO, mientras que lo que
permanece constante son los smbolos lgicos.
Se obtienen as sistemas de deduccin construidos sobre la base del LPO. Estos sistemas sirven para
determinar las reglas de inferencia y las leyes lgicas de la llamada lgica de primer orden, es decir, la
lgica construida sobre la base del LPO, que tiene como smbolos lgicos cuantificadores y conectivas. En
general sirven para determinar la validez de cualquier forma de razonamiento que haga referencia a
cuantificadores y conectivas. Si se considera el LPO+, con la identidad como smbolo lgico adicional, se
tendr la lgica de primer orden con identidad.
Debera quedar claro ahora porqu esta lgica de primer orden pertenece a la lgica simblica. Vale
la pena destacar el carcter formal de estos sistemas de deduccin para la lgica de primer orden, pues de
ello resultan varias consecuencias. El LPO tiene su gramtica totalmente especificada y distingue claramente
entre las esferas sintctica y semntica del lenguaje. De este modo, es posible ver a las expresiones
correctamente formadas del LPO como meras estructuras sintcticas, sin ningn tipo de significado.
Entonces, las reglas de inferencia pueden ser consideradas como reglas de transformacin sintctica (reglas
de reescritura) de una frmulas a otras. Esto sugiere ver a los sistemas de deduccin como un clculo, un
conjunto de reglas para transformar expresiones, y nicamente es por su interpretacin y su significado
subyacente que las consideramos reglas de inferencia deductiva.
Esta idea de obtener un clculo del razonamiento se origin a comienzos de la Edad Moderna e
llevaba implcita la de la construccin de un lenguaje puramente simblico. Adems, es una de las ideas
seminales de la inteligencia artificial y la informtica. En efecto, concebir el razonamiento como un clculo,
como una transformacin de smbolos implicaba la posibilidad de mecanizar y automatizar los
procedimientos inferenciales, esto es, indicar un procedimiento que en un nmero finito de pasos permita
establecer que un enunciado se infiere de otros o que es una ley lgica. Sobre esta base era tambin
concebible la construccin de mquinas que razonen, es decir artefactos cuyo mecanismo reproduce
fsicamente el clculo simblico.

13. Determinacin de la validez de razonamientos

Debe quedar en claro que tanto la semntica construida en torno del concepto de valuacin como
estos sistemas de deduccin sirven, de manera indirecta, para determinar la validez de un gran nmero de
razonamientos formulados en el lenguaje ordinario, es decir en alguna de las lenguas histricas, tales como el
castellano, el ingls, el chino o el aymar. Para tal fin deben traducirse (simbolizarse, formalizarse) los
enunciados del razonamiento formulado en el lenguaje ordinario a frmulas del LPO y luego determinarse
del modo correspondiente que la traduccin de la conclusin del razonamiento originario se infiere
deductivamente de las traducciones de sus premisas. Obviamente, la determinacin de la correccin del
razonamiento originario depende de que la traduccin se haya hecho de manera adecuada y adems de que
el razonamiento no exija un lenguaje ms expresivo que el LPO.
 En suma, el procedimiento, para determinar si la conclusin de un razonamiento formulado por
medio de enunciados del lenguaje ordinario se infiere deductivamente de las premisas consta de los
siguientes pasos:

I. Simbolizar las premisas y la conclusin en frmulas del LPO. Se obtiene as un razonamiento formulado
en el LPO.
II. Emplear un mtodo formal para determinar que la conclusin se infiere deductivamente (como se acaba
de mencionar estos mtodos pueden ser de diferente tipo).

No cabe duda de que este procedimiento tiene una vertiente computacional. En efecto, se puede concebir la
automatizacin de ambos pasos y la construccin de programas en un lenguaje de computacin que los
lleven a cabo.

14. Notas histricas y bibliogrficas

La idea de un lenguaje artificial y puramente simblico se puede remontar al pensador medieval

mallorquino Raymundo Lullio (o Lullus, ca. 1235-1315) con su Ars Magna. Sin embargo, ideas ms
explcitas y desarrolladas se encuentran en el filsofo y cientfico alemn Gottfried Wilhelm Leibniz (1646-
1716), quien, en el marco de su proyecto para una mathesis universalis o ciencia formal general, concibi un
alfabeto del pensamiento o characteristica universalis, de carcter abstracto, mecanizable e inequvoco.
Esta simbologa tena como misin representar estructuras de pensamiento en un sistema de signos. En
relacin con esto, Leibniz tambin tuvo la idea de asimilar las operaciones lgicas a operaciones algebraicas.
Las aportaciones de Leibniz tuvieron eco entre sus contemporneos. No obstante, el desarrollo de un
lenguaje simblico para la lgica se di en el siglo XIX con la aparicin del lgebra de la lgica, debida
especialmente al matemtico britnico George Boole (1815-1864), quien pensaba en un lgebra de
smbolos aplicable a leyes lgicas y a razonamientos. Para las conectivas se aplicaban smbolos algebraicos
y el lenguaje contena variables para enunciados.
Los cuantificadores, tal como han sido presentados aqu, se deben al matemtico alemn Gottlob
Frege (1848-1925) en su obra Conceptografa (Frege 1879), si bien el filsofo y matemtico norteamericano
Charles Sanders Peirce (1839-1914) tuvo ideas semejantes. Frege y Russell concibieron un dominio de
cuantificacin universal, en el sentido que los cuantificadores se refieren a todo el universo. La idea de
pensar en dominios acotados es posterior.
A Frege se le debe, adems, la idea moderna de predicado, como una expresin que contiene una o
ms variables libres (tambin formulada en Frege 1879). La asimilacin de predicados a propiedades y
relaciones est presente en los orgenes de la lgica matemtica. Frege seala en otro lugar que el significado
de los predicados son conceptos. La concepcin extensional del significado de los smbolos descriptivos del
LPO ya aparece en la lgica antigua y medieval. De todos modos, la idea de vincular predicados con
conjuntos se hace explcita en el lgebra de la lgica desarrollada en la segunda mitad del siglo XIX. La
semntica formal mencionada aqu y el concepto de modelo tiene antecedentes en la obra de los matemticos
Leopold Lwenheim (1878-1957) y Thoralf Skolem (1887-1963). Pero el desarrollo sistemtico se debe a
las investigaciones del lgico y matemtico polaco Alfred Tarski (1902-1983) y que dieron lugar a la teora
de modelos.
La simbologa para los smbolos lgicos y las convenciones notacionales ms importantes se deben
al matemtico italiano Giuseppe Peano (1858-1932), adoptada en gran medida en los Principia Mathematica
de Russell y Whitehead..
La primera formulacin explcita del LPO, diferenciada de lenguajes de orden superior, aparece en
Hilbert y Ackermann 1928 y, ms tarde, en Quine 1941. Presentaciones del LPO pueden encontrarse en los
manuales usuales de lgica simblica o lgica matemtica. Una variada ejemplificacin con comentarios
aclaratorios puede encontrarse en Lungarzo 1986. Sobre los conceptos de forma lgica y de predicados y su
semntica, puede verse al cap. 1 de Simpson 1975. Los conceptos de lenguaje y metalenguaje, as como los
de sintxis y semntica son explicados en el cap. 2 de Mates 1965. Los rboles de generacin estn
explicados en el cap. 1 de Naishtat 1986 y del concepto de rbol en general se ocupa el cap. 6 de
Balakrishnan 1996