Lgica de primer orden

La lgica de primer orden, tambin llamada lgica de predicados o clculo de

predicados, es un sistema formaldiseado para estudiar la inferencia en los lenguajes de
primer orden.1 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. 2
La lgica de primer orden tiene el poder expresivo suficiente para definir a prcticamente
todas las matemticas.

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos

ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.1
La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o
variables interpretables como entidades. En lgica proposicional si bien no hay signos para
variables de tipo entidad, s existen signos para variables proposicionales (es decir, que
pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ah
el nombre proposicional. La lgica proposicional incluye adems de variables
interpretables como proposiciones simples signos para conectivas lgicas, por lo que
dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir
de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms
simples.2
Predicados[editar]
Un predicado es una expresin lingstica que puede conectarse con una o varias otras
expresiones para formar unaoracin.3 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). Sin embargo, la lgica de primer orden no hace ningn supuesto 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,4 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)
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[editar]
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[editar]
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:

1.1 proposiciones simples y compuestas

May 14, 2012 de cpdg123
34

En la lgica se distinguen dos tipos de proposiciones, siendo estas:

Proposiciones Simples o atmicas.
Proposiciones Compuestas o Moleculares.
Antes de iniciar el tratamiento de estos dos tipos de proposiciones, se dar la
definicin de los que es una proposicin:
Proposicin es la oracin afirmativa que puede ser verdadera o falsa,
pero no ambas.
Como ejemplos de proposiciones se dan los siguientes:
1. 4 es menor que ocho
2. Carlos es alto
3. Mxico es un pas de Amrica
4. 6 es mayor que 10
5. Mara es inteligente
6. El sbado no hay clases
7. 5 ms 11 es 16
8. El uno es el primer nmero natural
Ahora se dan algunas expresiones que no son proposiciones:
1. Cmo te llamas?
2. Qu hora es?
3. UPIICSA
4. El rbol
5. Levanta esa pluma!

Estas expresiones no son proposiciones porque no afirman nada que sea

verdadero o falso, es decir, la 1 y 2 son preguntas, la 3 y 4 son frases y la 5 es
una orden.
Las proposiciones simples o atmicas son proposiciones que ya no
pueden descomponerse en dos expresiones que sean proposiciones.
Ejemplos de proposiciones simples o atmicas:
1. La ballena es roja
2. La raz cuadrada de 16 es 4
3. Gustavo es alto
4. Teresa va a la escuela
A las proposiciones en las que aparecen las partculas gramaticales
como:
No, o, y, sientonces, si y solo si.
Se les llama Proposiciones Compuestas o Moleculares.
Ejemplos de proposiciones compuestas:
1. La ballena no es roja
2. Gustavo no es alto
3. Teresa va a la escuela o Mara es inteligente
4. 4 es menor que 8 o 6 es mayor que 10
5. El 1 es el primer nmero primo y es mayor que cero
6. El 7 es mayor que 5 y 7 es menor que 10
7. Si Yolanda es estudiosa entonces pasar el examen
8. Si corro rpido entonces llegar temprano
9. Terminar rpido si y slo si me doy prisa
10. Aprender Matemticas si y slo si estudio mucho
Observacin. Se les llama trminos de enlace o conectivos lgicos a las
partculas:
No, o, y, sientonces, si y solo si
observemos que los conectivos: o, y, sientonces, si y solo si, se usan para
enlazar dos proposiciones, pero el conectivo no acta sobre una sola
proposicin.