Lgica de primer orden

Lgica de primer orden

La lgica de primer orden, tambin llamada lgica de predicados o clculo de predicados, es un sistema formal
diseado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez,
lenguajes formales con cuantificadores que alcanzan slo a variables de individuo, y con predicados y funciones
cuyos argumentos son slo constantes o variables de individuo.
La lgica de primer orden tiene el poder expresivo suficiente para definir a prcticamente todas las matemticas.

Introduccin
Como el desarrollo histrico y las aplicaciones de la lgica de primer orden estn muy ligados a la matemtica, en lo
que sigue se har una introduccin que contemple e ilustre esta relacin, tomando ejemplos tanto de la matemtica
como del lenguaje natural. Primero se introducen cada uno de los conceptos bsicos del sistema, y luego se muestra
cmo utilizarlos para analizar argumentos.
Predicados
Un predicado es una expresin lingstica que puede conectarse con una o varias otras expresiones para formar una
oracin. Por ejemplo, en la oracin Marte es un planeta, la expresin es un planeta es un predicado que se
conecta con la expresin Marte para formar una oracin. Y en la oracin Jpiter es ms grande que Marte, la
expresin es ms grande que es un predicado que se conecta con dos expresiones, Jpiter y Marte, para formar
una oracin.
En lgica matemtica, cuando un predicado se conecta con una expresin, se dice que expresa una propiedad (como
la propiedad de ser un planeta), y cuando se conecta con dos o ms expresiones, se dice que expresa una relacin
(como la relacin de ser ms grande que). La lgica de primer orden no hace ningn supuesto, sin embargo, sobre si
existen o no las propiedades o las relaciones. Slo se ocupa de estudiar el modo en que hablamos y razonamos con
expresiones lingisticas.
En la lgica de primer orden, los predicados son tratados como funciones. Una funcin es, metafricamente
hablando, una mquina que recibe un conjunto de cosas, las procesa, y devuelve como resultado una nica cosa. A
las cosas que entran a las funciones se las llama argumentos,[1] y a las cosas que salen, valores o imgenes.
Considrese por ejemplo la siguiente funcin matemtica:
f(x) = 2x
Esta funcin toma nmeros como argumentos y devuelve ms nmeros como valores. Por ejemplo, si toma el
nmero 1, devuelve el nmero 2, y si toma el 5, devuelve el 10. En la lgica de primer orden, se propone tratar a los
predicados como funciones que no slo toman nmeros como argumentos, sino expresiones como Marte,
Mercurio y otras que se vern ms adelante. De este modo, la oracin Marte es un planeta puede transcribirse,
siguiendo la notacin propia de las funciones, de la siguiente manera:
Planeta(Marte)
O, ms abreviadamente:
P(m)
En la matemtica existen adems funciones que toman varios argumentos. Por ejemplo:
f(x,y) = x + y
Esta funcin, si toma los nmeros 1 y 2, devuelve el nmero 3, y si toma el -5 y el -3, devuelve el -8. Siguiendo esta
idea, la lgica de primer orden trata a los predicados que expresan relaciones, como funciones que toman dos o ms
argumentos. Por ejemplo, la oracin Can mat a Abel puede formalizarse as:
Mat(Can,Abel)

Lgica de primer orden

O abreviando:
M(c,a)
Este procedimiento puede extenderse para tratar con predicados que expresan relaciones entre muchas entidades. Por
ejemplo, la oracin Ana est sentada entre Bruno y Carlos puede formalizarse:
S(a,b,c)
Constantes de individuo
Una constante de individuo es una expresin lingstica que refiere a una entidad. Por ejemplo Marte, Jpiter,
Can y Abel son constantes de individuo. Tambin lo son las expresiones 1, 2, etc., que refieren a nmeros.
Una entidad no tiene que existir para que se pueda hablar acerca de ella, de modo que la lgica de primer orden
tampoco hace supuestos acerca de la existencia o no de las entidades a las que refieren sus constantes de individuo.
Variables de individuo
Adems de las constantes de individuo que hacen referencia a entidades determinadas, la lgica de primer orden
cuenta con otras expresiones, las variables, cuya referencia no est determinada. Su funcin es similar a la de las
expresiones del lenguaje natural como l, ella, esto, eso y aquello, cuyo referente vara con el contexto.
Las variables generalmente se representan con letras minsculas cerca del final del alfabeto latino, principalmente la
x, y y z. Del mismo modo, en la matemtica, la x en la funcin f(x) = 2x no representa ningn nmero en particular,
sino que es algo as como un espacio vaco donde pueden insertarse distintos nmeros. En conclusin, podemos
representar una expresin como esto es antiguo con la expresin:
Antiguo(x)
O abreviadamente:
A(x)
Es evidente, sin embargo, que hasta que no se determine a qu refiere la x, no es posible asignar un valor de verdad a
la expresin esto es antiguo, del mismo modo que hasta que no se determine un nmero para la x en la funcin f(x)
= 2x, no ser posible calcular ningn valor para la funcin.
Por supuesto, al igual que con las constantes de individuo, las variables sirven tambin para formalizar relaciones.
Por ejemplo, la oracin esto es ms grande que aquello se formaliza:
G(x,y)
Y tambin pueden combinarse constantes de individuo con variables. Por ejemplo en la oracin ella est sentada
entre Bruno y Carlos:
S(x,b,c)
Cuantificadores
Considrese ahora la siguiente expresin matemtica:
x>3
Esta expresin no es ni verdadera ni falsa, y parece que no lo ser hasta que no reemplacemos a la x por algn
nmero cualquiera. Sin embargo, tambin es posible dar un valor de verdad a la expresin si se le antepone un
cuantificador. Un cuantificador es una expresin que afirma que una condicin se cumple para un cierto nmero de
individuos. En la lgica clsica, los dos cuantificadores ms estudiados son el cuantificador universal y el
cuantificador existencial. El primero afirma que una condicin se cumple para todos los individuos de los que se est
hablando, y el segundo que se cumple para al menos uno de los individuos. Por ejemplo, la expresin "para todo x"
es un cuantificador universal, que antepuesto a "x < 3", produce:
Para todo x, x < 3

Lgica de primer orden

Esta es una expresin con valor de verdad, en particular, una expresin falsa, pues existen muchos nmeros (muchos
x) que son mayores que tres. Anteponiendo en cambio la expresin "para al menos un x", un cuantificador
existencial, se obtiene:
Para al menos un x, x < 3
La cual resulta ser una expresin verdadera.
Advirtase ahora, sin embargo, que el valor de verdad de las dos expresiones anteriores depende de qu nmeros se
est hablando. Si cuando se afirma "para todo x, x < 3", se est hablando slo de los nmeros negativos, por ejemplo,
entonces la afirmacin es verdadera. Y si al afirmar "para al menos un x, x < 3" se est hablando solamente de los
nmeros 3, 4 y 5, entonces la afirmacin es falsa. En lgica, a aquello de lo que se est hablando cuando se usa algn
cuantificador, se lo llama el dominio de discurso.
Esta maquinaria puede adaptarse fcilmente para formalizar oraciones con cuantificadores del lenguaje natural.
Tmese por caso la afirmacin "todos son amigables". Esta oracin puede traducirse as:
Para todo x, x es amigable.
Y una oracin como "alguien est mintiendo" puede traducirse:
Para al menos un x, x est mintiendo.
Tambin es frecuente traducir esta ltima oracin as:
Existe al menos un x, tal que x est mintiendo.
A continuacin se formalizan ambas oraciones, introduciendo a la vez la notacin especial para los cuantificadores:
Para todo x, x es amigable.

x A(x)

Existe al menos un x, tal que x est mintiendo. x M(x)

Conectivas
La lgica de primer orden incorpora adems las conectivas de la lgica proposicional. Combinando las conectivas
con los predicados, constantes, variables y cuantificadores, es posible formalizar oraciones como las siguientes:
Oracin

Formalizacin

Scrates es sabio y prudente.

Ss Ps

Si Scrates es sabio, entonces tambin es prudente. Ss Ps

Nadie es sabio y adems prudente.

x (Sx Px)

Todos los sabios son prudentes.

x (Sx Px)

Argumentos
Considrese el siguiente argumento clsico:
1. Todos los hombres son mortales.
2. Scrates es un hombre.
3. Por lo tanto, Scrates es mortal.
La tarea de la lgica de primer orden consiste en determinar por qu los argumentos como ste resultan vlidos. Para
eso, el primer paso es traducirlos a un lenguaje ms preciso, que pueda ser analizado mediante mtodos formales.
Segn lo visto ms arriba, la formalizacin de este argumento es la siguiente:
1. x (Hx Mx)
2. Hs
3. Ms

Lgica de primer orden

Sistema formal
A continuacin se define un lenguaje formal, Q, y luego se definen axiomas y reglas de inferencia sobre ese lenguaje
que dan como resultado el sistema lgico SQ.

Sintaxis
El alfabeto del lenguaje formal Q consta de los siguientes smbolos:
axfP*'()
A partir de estos smbolos, se definen las siguientes nociones:
Un nombre (o constante de individuo) es una a seguida de una o ms comillas. Por ejemplo, a', a'' y a'''''' son
nombres. Para facilitar la lectura, se suelen omitir las comillas y utilizar distintas letras cerca del comienzo del
alfabeto latino, con o sin subndices, para distinguir nombres distintos: a, b, c, d, e, a1, a3, c9, etc.
Una variable (o variable de individuo) es una x seguida de una o ms comillas. Por ejemplo, x', x'' y x'''''' son
variables. Para facilitar la lectura, se suelen omitir las comillas y utilizar distintas letras cerca del final del alfabeto
latino, con o sin subndices, para distinguir variables distintas: x, y, z, x1, x3, z9, etc.
Un functor es una f seguida de uno o ms asteriscos, y luego de una o ms comillas. Por ejemplo, f*', f**'''' y
f****'' son functores. El nmero de asteriscos indica la aridad del functor. Para facilitar la lectura, se suelen omitir
los asteriscos y las comillas y utilizar distintas letras del alfabeto latino cerca de la f, con o sin subndices, para
distinguir functores distintos: f, g, h, f1, f3, h9, etc.
Un predicado es una P seguida de uno o ms asteriscos, y luego de una o ms comillas. Por ejemplo, P*', P**'''' y
P****'' son predicados. El nmero de asteriscos indica la aridad del predicado. Para facilitar la lectura, se suelen
omitir los asteriscos y las comillas y utilizar distintas letras en mayscula a lo largo del alfabeto latino para distinguir
predicados distintos: P, A, B, C, S, T, etc.
La nocin de trmino se define recursivamente mediante las siguientes clusulas:
1.
2.
3.
4.

Todos los nombres son trminos.

Todas las variables son trminos.
Si f es un functor de aridad n 1 y t1,...,tn son trminos, entonces f(t1,...,tn) es un trmino.
Nada ms es un trmino.

Segn esta definicin, las siguientes cadenas de caracteres son trminos:

Cadena

Simplificacin Posible interpretacin

a'

x'''''

f*'''(a''')

h(c)

f*''(f*''(f*''(a'))) f(f(f(b)))

Aristteles

El hermano de Can
El padre del padre del padre de Beatriz

Y en cambio, las siguientes cadenas de caracteres no son trminos:

Lgica de primer orden

Cadena

Error

Faltan comillas.

x*'''

Sobra el asterisco.

f'

Faltan asteriscos y argumentos.

f**

Faltan comillas y argumentos.

f*'(f*')

Falta el argumento del functor ms anidado.

f*'(a',a'') El functor es de aridad 1 pero tiene dos argumentos.

La nocin de frmula bien formada de Q se define a travs de las siguientes clusulas:

1.
2.
3.
4.
5.

Si P es un predicado de aridad n 1 y t1,...,tn son trminos, entonces P(t1,...,tn) es una frmula bien formada.
Si A es una frmula bien formada, entonces A tambin lo es.
Si A y B son frmulas bien formadas, entonces (A B), (A B), (A B) y (A B) tambin lo son.
Si A es una frmula bien formada y x es una variable, entonces x A y x A son frmulas bien formadas.
Nada ms es una frmula bien formada.

Segn esta definicin, las siguientes cadenas de caracteres son frmulas bien formadas:
Cadena

Simplificacin Posible interpretacin

P*'(a')

Pa

Abel es pastor.

P**''''(a'',a''')

Aae

Abelardo ama a Elosa.

P*'(f*'(a'))

P(h(a))

El hermano de Abel no es pastor.

(P*'''(a'') P*'''''(a'')) Pv Ev

Si Venus es un planeta, entonces no es una estrella.

x'' P*'''(x'')

x Mx

Todos son mentirosos.

x'' x'''' P**'(x'',x'''')

x y Axy

Todos aman a alguien.

x'' x'''' P**'(x'',x'''')

x y Axy

Alguien ama a todos.

Y en cambio, las siguientes cadenas de caracteres no son frmulas bien formadas:

Cadena

Error

P*'

El predicado es de aridad 1 pero no tiene argumentos.

P***'(a')

El predicado es de aridad 3 pero tiene un slo argumento.

P*'(a') P*'(a''') Faltan los parntesis externos.

(P*'(a'))

Sobran los parntesis externos.

a' P*'(a')

El cuantificador est seguido de un nombre en vez de una variable.

Para ciertos predicados muy utilizados, la notacin estndar puede tener la forma a R b en vez de R(a,b). Por
ejemplo, se escribe 2 > 1 en vez de >(2,1), y 4 = 4 en vez de =(4,4). Anlogamente, si f es un functor de aridad 2, a
veces se escribe a f b en vez de f(a,b). Por ejemplo, se escribe 1 + 2 en vez de +(1,2).

Lgica de primer orden

Observaciones
El smbolo de identidad a veces se incluye entre los smbolos primitivos del alfabeto y se comporta
sintcticamente como un predicado binario. A una lgica de primer orden que incluye el smbolo de identidad se
la llama, justamente, lgica de primer orden con identidad.
Los nombres pueden ser definidos como functores de aridad 0, de modo que es posible omtir a la a de entre los
smbolos primitivos.
En la definicin anterior se requiere que los predicados tengan aridad mayor o igual que 1. Es posible permitir
predicados de aridad 0, considerndolos como variables proposicionales de la lgica proposicional.
Es posible reducir el nmero de smbolos primitivos hasta quedarse con slo nueve: x f P * ' ( )
Hay diferentes convenciones acerca de dnde poner los parntesis. Por ejemplo, algunos escriben (x) en vez de
x. A veces se usan dos puntos (:) o un punto (.) en vez de parntesis para desambiguar frmulas. Una notacin
interesante pero poco usual es la notacin polaca, donde se omiten todos los parntesis y se escribe , , delante
de los argumentos en vez de entre ellos. La notacin polaca es compacta pero poco comn por ser difcil para ser
leda por los humanos.
Una observacin tcnica es que si existe un smbolo de funcin de aridad 2 representando el par ordenado (o
smbolo de predicado de aridad 2 representando la relacin) no se necesitan funciones y predicados de aridad
mayor que 2.
Usualmente se considera que el conjunto de constantes, funciones y relaciones forman un lenguaje, mientras que
las variables, los operadores lgicos y cuantificadores se los considera pertenecientes a la lgica. Por ejemplo, el
lenguaje de la teora de grupos consiste de una constante (el elemento identidad), una funcin de aridad 1 (la
inversa), una funcin de aridad 2 (el producto), y una relacin de aridad 2 (la igualdad), omitida por los autores
que incluyen la igualdad en la lgica subyacente.
Substitucin de variables libres
Las nociones de variable libre y variable ligada se introducen para evitar un posible error en el proceso de
substitucin. Supongamos por un momento la frmula
. Intuitivamente, esta frmula dice que para todo
x, x es menor o igual que y (es decir, que y es mximo). En esta frmula, y es una variable libre, o sea que no est
bajo el alcance de ningn cuantificador. Si substituimos y por cualquier otro trmino t, entonces la frmula pasar a
decir que t es mximo. Pero supongamos ahora que substituimos a y por x mismo (a fin de cuentas, x es un trmino).
En ese caso, y pasa a estar ligada por un cuantificador universal, porque la nueva frmula es:
. Pero
esta frmula ya no dice de un trmino que es mximo, sino algo muy distinto. Para evitar este tipo de desplazamiento
de significado, convenimos que al substituir una variable libre por un trmino cualquiera, hay que evitar que las
variables libres en el nuevo trmino queden ligadas por algn cuantificador. Es decir, que permanezcan libres.
Dicho de una manera ms general, si t es un trmino y
es una frmula que posiblemente contiene a x como
una variable libre, entonces

es el resultado de substituir todas las apariciones libres de x por t, suponiendo que

ninguna variable libre en t se vuelva ligada en este proceso. Si alguna variable libre de t se volviera ligada, entonces
para substituir t por x se necesita cambiar los nombres de las variables ligadas de
por otros que no coincidan
con las variables libres de t.

Lgica de primer orden

Identidad
Hay varias maneras diferentes de introducir la nocin de identidad en la lgica de primer orden, pero todas con
esencialmente las mismas consecuencias. Esta seccin resume las principales:
La manera ms comn de introducir a la identidad es incluyendo al smbolo entre los primitivos, y agregando
axiomas que definan el comportamiento del mismo. Estos son:

Otra manera es incluir al smbolo de identidad como una de las relaciones de la teora y agregar los axiomas de
identidad a la teora. En la prctica esta convencin es casi indistinguible de la anterior, salvo en el caso inusual
de las teoras sin nocin de identidad. Los axiomas son los mismos. La nica diferencia es que unos se llaman
axiomas lgicos y los otros axiomas de la teora.
En las teoras sin funciones y con un nmero finito de relaciones, es posible definir la identidad en trminos de las
relaciones. Esto se hace definiendo que dos trminos a y b son iguales si y slo si ninguna relacin presenta
cambios reemplazando a por b en cualquier argumento. Por ejemplo, en teora de conjuntos con una relacin de
pertenencia (), definiramos a=b como una abreviacin para x [(a x) (b x)] [(x a) (xb)]. Esta
definicin de identidad automticamente satisface los axiomas de identidad.
En algunas teoras es posible dar definiciones ad hoc para la identidad. Por ejemplo, en una teora de rdenes
parciales con una relacin de menor o igual () podramos definir a=b como una abreviacin para (a b) (b
a).

Reglas de inferencia
La lgica de primer orden tiene dos reglas de inferencia. La primera es el modus ponens, heredada de la lgica
proposicional. La segunda es la regla de Generalizacin universal, que es caracterstica de la lgica de primer orden.
La misma dice:

O en la notacin del clculo de secuentes:

Es decir: a partir de A es posible concluir que x A.

Ntese que la regla de generalizacin universal es anloga a la regla de Necesitacin de la lgica modal.

Axiomas
Los axiomas considerados aqu son los axiomas lgicos los cuales son parte del clculo de predicados. Al formalizar
teoras de primer orden particulares (como la aritmtica de Peano) se agregan axiomas no-lgicos especficos, es
decir axiomas que no se consideran verdades de la lgica pero s verdades de una teora particular.
Cuando el conjunto de axiomas es infinito, se requiere de un algoritmo que pueda decidir para una frmula bien
formada si es un axioma o no. Ms an, debera existir un algoritmo que pueda decidir si la aplicacin de una regla
de inferencia es correcta o no.
Es importante notar que el clculo de predicados puede ser axiomatizado de varias formas diferentes. No existe nada
cannico sobre los axiomas y reglas de inferencia aqu dadas, pero cualquier formalizacin produce los mismos
teoremas de la lgica (y permite deducir los mismos teoremas de cualquier conjunto de axiomas no-lgicos).

Lgica de primer orden

Los siguientes tres axiomas son heredados de la lgica proposicional y se incorporan a la lgica de primer orden.
Sean A, B y C frmulas bien formadas de Q. Luego, los siguientes son axiomas lgicos:
Ax1: A (B A)
Ax2: (A (B C)) ((A B) (A C))
Ax3: (A B) (B A)
Los dos axiomas siguientes son caractersticos de la lgica de primer orden. Sean A y B frmulas bien formadas de
Q con como mximo una variable libre, x. Sea t un trmino cerrado y A(x/t) el resultado de reemplazar toda aparicin
de x en A por t. Luego, los siguientes son axiomas lgicos:
Ax4: x A A(x/t)
Ax5: x (A B) (x A x B)
Intuitivamente, el cuarto axioma dice que lo que vale para todos vale para cualquiera. Por ejemplo, un caso particular
del axioma podra ser: Si todos son mortales, entonces Abel es mortal; o tambin: Si todos son mortales, entonces
el padre de Mateo es mortal El quinto axioma es anlogo al axioma K de la lgica modal, y un caso particular del
mismo podra ser: Si todos los humanos son mortales, entonces, si todos son humanos, todos son mortales.

Semntica
Una interpretacin es un par <D,I>, donde D es un conjunto no vaco llamado el dominio de discurso e I es una
funcin llamada la funcin de interpretacin definida como sigue:
1. Si a es un nombre, entonces I le asigna un elemento del dominio.
2. Si f es un functor de aridad n, entonces I le asigna una funcin de n argumentos que toma elementos del dominio
y devuelve elementos del dominio.
3. Si P es un predicado de aridad n, entonces I le asigna un conjunto de n-tuplas construidas a partir del dominio.
Luego es posible definir la nocin de verdad para una interpretacin (para las oraciones de Q):[2]
1. P(t1,...,tn) es verdadera para la interpretacin M si y slo si la n-tupla formada por las interpretaciones de t1,...,tn
es un elemento de la interpretacin de P.
2. A es verdadera para la interpretacin M si y slo si A es falsa bajo esa interpretacin.
3. (A B) es verdadera para la interpretacin M si y slo si A es verdadera y B es verdadera bajo esa interpretacin.
4. (A B) es verdadera para la interpretacin M si y slo si A es verdadera o B es verdadera bajo esa interpretacin.
5. (A B) es verdadera para la interpretacin M si y slo si A es falsa o B es verdadera bajo esa interpretacin.
6. (A B) es verdadera para la interpretacin M si y slo si A y B son ambas verdaderas o ambas falsas bajo esa
interpretacin.
Para dar las definiciones de verdad para frmulas con la forma x A o x A, primero son necesarias algunas
definiciones preliminares: Sea A(x/a) el resultado de reemplazar toda aparicin de x en A por un nombre a (que no
haya sido utilizado en la frmula). Adems, si M y M' son interpretaciones y a un nombre, entonces M' es una
a-variante de M si y slo si M' es idntica a M o difiere slo en el elemento del dominio que le asigna al nombre a.[3]
1. x A es verdadera para M si y slo si A(x/a) es verdadera para toda a-variante de M.
2. x A es verdadera para M si y slo si A(x/a) es verdadera para al menos una a-variante de M.
Una frmula es falsa bajo una interpretacin si y slo si no es verdadera bajo esa interpretacin.
A partir de esto pueden definirse varias otras nociones semnticas:
Una frmula es una verdad lgica si y slo si es verdadera para toda interpretacin.
Una frmula es una contradiccin si y slo si es falsa para toda interpretacin.
Una frmula es consistente si y slo si existe al menos una interpretacin que la haga verdadera.
Una frmula A es una consecuencia semntica de un conjunto de frmulas
interpretacin que haga verdaderas a todas las frmulas en

si y slo si no hay ninguna

y falsa a A. Cuando A es una consecuencia

Lgica de primer orden

semntica de en un lenguaje Q, se escribe:
Una frmula A es lgicamente vlida si y slo si es una consecuencia semntica del conjunto vaco. Cuando A es
una frmula lgicamente vlida de un lenguaje Q, se escribe:

Metalgica
La lgica de primer orden es uno de los sistemas lgicos con propiedades metalgicas mejor conocidas. A
continuacin se introducen algunas de las ms importantes.

Completitud
El teorema de completitud de Gdel, demostrado por Kurt Gdel en 1929, establece que existen sistemas de primer
orden en los que todas las frmulas lgicamente vlidas son demostrables. Esto quiere decir que dado un lenguaje de
primer orden Q, es posible seleccionar algunas frmulas como axiomas, y algunas reglas de inferencia, de modo tal
que todas las frmulas lgicamente vlidas (verdaderas bajo cualquier interpretacin) sean demostrables a partir de
los axiomas y las reglas de inferencia. Un ejemplo de axiomas y reglas de inferencia que permiten demostrar
completitud son los que se dieron ms arriba en este artculo.

Decidibilidad
Un sistema es decidible cuando existe al menos un mtodo efectivo (un algoritmo) para decidir si una frmula
cualquiera del lenguaje del sistema es lgicamente vlida o no. Por ejemplo, en la lgica proposicional, la evaluacin
de las frmulas mediante tablas de verdad es un mtodo efectivo para decidir si una frmula cualquiera es
lgicamente vlida (una tautologa). En este sentido, la lgica de primer orden es indecidible, siempre y cuando
tenga al menos un predicado de aridad 2 o ms (distinto de la identidad). Este resultado fue alcanzado de manera
independiente por Alonzo Church en 1936 y por Alan Turing en 1937, dando as una respuesta negativa al
Entscheidungsproblem planteado por David Hilbert en 1928. Por otra parte, la lgica de primer orden mondica (con
o sin identidad) es decidible, como lo demostr Leopold Lwenheim en 1915.

El teorema de Lwenheim-Skolem
El teorema de Lwenheim-Skolem establece que si una teora de primer orden numerable tiene un modelo infinito,
entonces para cualquier nmero cardinal K, la teora tiene un modelo de cardinalidad K.
En este contexto, una teora de primer orden es simplemente un conjunto de frmulas en un lenguaje de primer
orden. Una teora es numerable si sus frmulas pueden ser puestas en correspondencia biunvoca con algn
subconjunto (finito o infinito) de los nmeros naturales. Y una teora tiene un modelo infinto si tiene al menos una
interpretacin con un dominio infinito que hace verdaderas a todas las frmulas de la teora. Lo que el teorema de
Lwenheim-Skolem afirma, entonces, es que si una teora tiene una interpretacin con un dominio infinito que hace
verdaderas a todas las frmulas de la teora, entonces tambin tiene interpretaciones con dominios de cualquier
cardinalidad que hacen verdaderas a todas las frmulas de la teora.
Esto significa que las lgicas de primer orden son incapaces de controlar la cardinalidad de sus modelos infinitos: si
una teora tiene un modelo infinito, entonces tambin tiene modelos infinitos de todas las cardinalidades. Una
consecuencia de esto es que por ejemplo, la aritmtica de Peano, que es una teora de primer orden, tendr como
modelo no slo al conjunto de los nmeros naturales (que sera lo deseable), sino tambin al conjunto de los nmeros
reales e infinitos otros conjuntos de mayor cardinalidad.

Lgica de primer orden

El teorema de compacidad
El teorema de compacidad afirma que un conjunto de frmulas de primer orden tiene un modelo si y slo si todo
subconjunto finito de ese conjunto tiene un modelo. Esto implica que si una frmula es una consecuencia lgica de
un conjunto infinito de axiomas, entonces es una consecuencia lgica de algn subconjunto finito de ellos.
El teorema fue demostrado por primera vez por Kurt Gdel como una consecuencia del teorema de completitud, pero
con el tiempo se han encontrado varias demostraciones adicionales. El teorema es una herramienta central en teora
de modelos, ya que provee un mtodo fundamental para construir modelos.

El teorema de Lindstrm
El teorema de Lindstrm establece que la lgica de primer orden es el sistema lgico ms fuerte que cumple con el
teorema de compacidad y el teorema descendente de Lwenheim-Skolem. Esto significa que el cumplimiento de
esos dos teoremas caracteriza a la lgica de primer orden. Fue demostrado por Per Lindstrm, quien tambin defini
la clase de los sistemas lgicos abstractos, permitiendo as la comparacin entre sistemas.

Historia
Dnde ubicar los orgenes de la lgica de primer orden depende de lo que se entienda por lgica de primer orden. Si
se entiende cualquier sistema lgico en torno a la cuantificacin sobre individuos, entonces la lgica de primer orden
es tan antigua como la lgica misma, y sus orgenes se remontan al rganon de Aristteles. Aristteles realiz una
gran cantidad de observaciones y contribuciones acerca del comportamiento de los cuantificadores todos,
algunos, ningn, etc. Construy, por ejemplo, el famoso cuadro de oposicin de los juicios, y ofreci una
influyente clasificacin para los distintos juicios con cuantificadores.
Sin embargo, si por lgica de primer orden se entiende un sistema lgico similar al expuesto en este artculo,
entonces los orgenes de la lgica de primer orden deben buscarse recin en el siglo XIX, en la obra de Gottlob
Frege. En 1879, Frege public su Conceptografa (Begriffsschrift), donde present el primer sistema de lgica de
predicados tal como lo entendemos hoy (aunque con una notacin muy diferente a la actual). Luego lo refinara en
un trabajo de 1893 (y reeditado en 1903) titulado Los fundamentos de la aritmtica (Grundgesetze der Arithmetik).
Sin embargo, la notacin de Frege era difcil de entender, y sus revolucionarias contribuciones permanecieron
desconocidas por varios aos.
Entre 1910 y 1913, Bertrand Russell y Alfred North Whitehead publicaron Principia Mathematica, una monumental
obra directamente influida por los trabajos de Frege. Con ella la lgica de predicados en general, y la lgica de
primer orden en particular, cobraron una forma ms familiar y alcanzaron una mayor audiencia.
Luego de Principia Mathematica comenz una frtil poca de resultados metalgicos para la lgica de primer orden
(y otras). En 1915, Leopold Lwenheim demostr la consistencia, completitud semntica y decidibilidad de la lgica
de primer orden mondica. En 1928, David Hilbert y Wilhelm Ackermann demostraron la consistencia de la lgica
de primer orden. En 1929, Kurt Gdel demostr la completitud semntica de la lgica de primer orden. Y en 1936,
Alonzo Church y Alan Turing demostraron, de manera independiente, la indecibilidad de la lgica de primer orden
(no mondica).
En 1933, Alfred Tarski abri otro captulo en la historia de la lgica de primer orden (y de la lgica en general), con
la publicacin de sus definiciones de verdad para lenguajes formales. Las mismas permitieron el surgimiento de la
teora de modelos. En su trabajo, Tarski ofreci una definicin de verdad para el lenguaje de la lgica de primer
orden (entre otros) que todava se utiliza. Dicha definicin permiti refinar las demostraciones de consistencia y
completitud semntica para la lgica de primer orden.
En 1934-1935, Gerhard Gentzen public Investigaciones sobre la inferencia lgica (Untersuchungen ber das
logische Schliessen), donde introdujo una alternativa a la construccin axiomtica de los sistemas lgicos
(incluyendo la lgica de primer orden), conocida como la deduccin natural.[4] Gentzen pronto desarrollara la

10

Lgica de primer orden

deduccin natural hasta llegar al clculo de secuentes, y con la demostracin del teorema de corte-eliminacin
(cut-elimination theorem), provey una nueva aproximacin a la teora de la demostracin.

Notas y referencias
[1] No deben confundirse con los argumentos que estudia la lgica.
[2] Esta definicin de verdad slo sirve para las frmulas bien formadas cerradas (oraciones) de Q. Es posible dar una definicin para todas las
frmulas bien formadas, pero dicha definicin involucra muchas complicaciones que no convienen a este artculo. Para la definicin ms
general, vase
[3] Esta estrategia est tomada de
[4] Vase la seccin Natural deduction and sequent calculus en

11

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Lgica de primer orden Fuente: http://es.wikipedia.org/w/index.php?oldid=72390215 Contribuyentes: .Sergio, 4lex, Acratta, Airunp, Alakasam, Antonio92, Azevedo bandeira, Bernardo
Bolaos, Davius, Diegusjaimes, Drake 81, Drowne, Elwikipedista, GabiAPF, HUB, IIM 78, Julian Mendez, JulianMendez, Luis Felipe Schenone, MONIMINO, Marianov, Matdrodes, Nicop,
Omerta-ve, PabloCastellano, Panypeces, Rodrigo.ros, Saloca, SantiagoMB, Technopat, Unificacion, Vitorres, Vivero, Wedrey, Zlayne, 119 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/

12