LGICA DE PREDICADOS

La lgica es la disciplina que estudia los mtodos de formalizacin del

conocimiento humano. En lgica, se estudian por lo tanto, mtodos de formalizacin de
frases declarativas. Para ello existen dos niveles de abstraccin segn el grado de
detalle que se quiera formalizar: Lgica proposicional y lgica de predicados.
La lgica proposicional o lgica de enunciados toma como elemento bsico las
frases declarativas simples o proposiciones que son aquellos elementos de una frase
que constituyen por si solos una unidad de comunicacin de conocimientos y pueden
ser considerados verdaderos o falsos.
La lgica de predicados estudia las frases declarativas con mayor grado de detalle,
considerando la estructura interna de las preposiciones. Se tomarn como elemento
bsico los objetos y las relaciones entre dichos objetos. Es decir, se distingue:

Lo que se afirma (predicado o relacin).

De quien se afirma (objeto).

La lgica de predicados est basada en la idea de las sentencias realmente

expresan relaciones entre objetos, as como tambin cualidades y atributos de tales
objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos.
Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se
conocen como argumentos o trminos del predicado.

Necesidad de la lgica de predicados

Aristteles, en el s. IV A.C., describi el primer sistema de inferencia de que se tiene
noticia, con el que poda justificar la correccin de argumentos como
p: Todos los hombres son mortales.
q: Scrates es hombre.
Entonces,

r: Scrates es mortal.
La lgica proposicional no es suficiente para aseverar que esta argumentacin es
correcta. De hecho, si se usara lgica proposicional para modelar este argumento,
habra que definir un smbolo de proposicin para cada frase separada, como est
sealado arriba, y debera poderse verificar que la frmula fuera una tautologa. Esto,
claramente, no es cierto.
pqr
Qu tienen los silogismos de Aristteles que no maneje la lgica proposicional?
Hay dos caractersticas delo que se afirma en los argumentos que la lgica
proposicional deja de aprovechar.
En primer lugar, si se observa con ms detalle la estructura de las frases, hay
relaciones entre ellas que el modelaje con proposiciones simples no considera: "ser
hombre" es parte de lo afirmado en la primera y la segunda premisas; as como "ser
mortal" se afirma en la primera premisa y en la conclusin. O sea, con los smbolos que
se han definido, es como si p y q, as como p y r, tuvieran algo en comn que el
modelaje proposicional deja de lado.
En segundo lugar, la primera frase es una afirmacin de algo que debe ser cierto
para una coleccin de individuos. El poder mencionar caractersticas de colecciones y,
ms adelante, inferir de all verdades sobre los miembros de estas colecciones,
tampoco es aprovechado por la lgica proposicional.
La discusin anterior ilustra la necesidad de aumentar el poder expresivo y
deductivo de la lgica que se use en la prctica, de manera que estos razonamientos
sean tambin justificables como lo fueron los ya estudiados en el caso proposicional.
No se trata de desechar la lgica proposicional: por el contrario, se trata de enriquecer
el lenguaje (para poder expresar, por ejemplo, afirmaciones sobre colecciones) y el
aparato deductivo (para poder inferir aprovechndose de la estructura de lo afirmado).
Esto va a dar lugar an sistema lgico de ms poder llamado lgica de predicados.

Elementos de una proposicin.

Como se ha explicado anteriormente, la lgica de predicados contiene una mayor
cantidad de detalles en su composicin. De esta forma encontramos que sus
proposiciones

estn

compuestas

por

trminos,

predicados,

conectores

cuantificadores.
Trmino.
Cuando decimos Pitgoras naci en Grecia declaramos una proposicin. Esta
proposicin tiene dos componentes principales:
Pitgoras
Sujeto

naci en Grecia
Predicado

Trmino
El trmino es el objeto al cual se refiere la proposicin, en este caso, Pitgoras. Y
el predicado es el que expresa algo sobre el trmino en la proposicin.
Una proposicin con predicado se forma al unir por lo menos un trmino con un
predicado. Estas uniones pueden ser de dos formas:
a. Si en la proposicin el predicado expresa una propiedad o cualidad verificada por el
trmino se llama cpula afirmativa.
b. Si en proposicin la propiedad expresada por el predicado no es verificada por el
trmino se llama cpula negativa.
Los predicados se representan mediante letras maysculas y los trminos
mediante letras minsculas.

Ejemplo:
p : Pitgoras
H() : naci en Grecia
El predicado es:
H( p) : Pitgoras naci en Grecia
Segn el objeto referenciado (de quien se est hablando ) el objeto puede ser de
tres tipos:
a. Trmino constante. El objeto referenciado es algo o alguien especfico. H( p) :
Pitgoras naci en Grecia.
b. Trmino variable. El objeto referenciado no es algo o alguien especfico. F(x) :
x es mayor que 3
c. Trmino funcin. El objeto referenciado viene dado por otro objeto. G(x, y) : La
hermana mayor
Si un trmino se refiere a todos los objetos que verifican una propiedad
expresada en el predicado, se le llama Trmino universal. En caso contrario, cuando el
trmino no se refiere a todos los objetos se le llama Trmino existencial o particular.

Predicado.
Un predicado es una proposicin en la que se afirma o se niega algo de uno o
varios objetos que son los trminos del predicado.
En funcin del nmero de trminos referenciados, el predicado puede ser:
a. Mondico o de atribucin de propiedades a sujeto. Es el predicado al que se refiere a
un nico trmino. H( p) : Pitgoras naci en Grecia.
b. Polidico o de relacin entre trminos. Es el predicado que se refiere a ms de un
trmino. F(x) : x es mayor que 3 . G(x, y) : La hermana mayor de Nazira se llama Leyla.
La hermana mayor de x se llama y .

Los predicados pueden ser: contradictorios o contrarios recprocamente: Son

contradictorios uno del otro si cada uno de ellos se verifica en todos los objetos que no
verifican el otro.
Ejemplo:
F(x) : Esa pared es blanca
F(x) y G(x) son predicados contradictorios
G(x): Esa pared no es blanca
Son contrarios uno del otro si no pueden verificarse en un mismo objeto pero
puede existir un objeto que no verifica ni uno ni otro.
Ejemplo:
F(x, y) : Leyla es la hermana mayor de Nazira
F(x, y) y G(x, y) son
G(x, y) : Leyla es la hermana menor de Nazira

predicados contrarios

Conectivos.
Los Conectivos pueden ser de negacin, conjuncin, disyuncin, implicacin o
bicondicional.
a. Negacin H( p) : Pitgoras no naci en Grecia
b. Conjuncin H( p) : Pitgoras naci en Grecia y fue un gran matemtico
c. Disyuncin F(x, y) : Leyla 0 es la hermana mayor de Nazira o es la hermana menor.
d. Implicacin G(x) : si esa pared es blanca entonces yo necesito lentes.
e. Bicondicional G(x) : esa pared se ve blanca s y slo s le da la luz.
Cuantificadores.

Son categoras de frases que afirman algo sobre los elementos de una coleccin.
Existen cuatro maneras de unir trminos con predicados para obtener proposiciones:

A (universal afirmativo): Trmino universal con cpula afirmativa

Todoes

E (universal negativo): Trmino universal con cpula negativa

Ninguno es

I (existencia afirmativo): Trmino existencial con cpula afirmativa

Alguno es

(existencial negativo): Trmino existencial con cpula negativa

Algn no es
Ejemplo:
M(x) : es mortal (predicado) en el dominio D: todas las personas.
A: Todas las personas son mortales xM(x)
E: Ninguna persona es mortal x M(x)
I: Alguna persona es mortal xM(x)
O: Alguna persona no es mortal x M(x)

Identidad en la Lgica de Predicados

Hay varias maneras diferentes de introducir la nocin de identidad en la lgica de

predicados:

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) (x b)]. 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 en la Lgica de Predicados.

La lgica de predicados tiene dos reglas de inferencia. La primera es el modus
ponens, heredada de la lgica proposicional.
En necesario recordar que el modus ponens (que significa en latn, modo que
afirmando afirma), es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
Otra manera ms formal de presentar el modus ponens es:

La segunda es la regla de Generalizacin universal, que es caracterstica de la

lgica de primer orden. La misma dice que Si una funcin proposicional tiene todos sus

casos de sustitucin por constantes de su conjunto de referencia verdaderos, se infiere

la verdad del enunciado (" x)( Px).
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 nolgicos).
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.

Simbolizacin de las Proposiciones Singulares y Vocabulario Primitivo.

Por vocabulario primitivo se entiende la asignacin de smbolos lgicos a los
distintos elementos de las proposiciones
Para simbolizar las proposiciones singulares es necesario tomar en cuenta lo
siguiente:

Constantes individuales: Aquellas que representan los individuos determinados

del universo del discurso. Se denotan con las primeras letras minsculas del
alfabeto hasta la letra n (a, b, c, d... n). Siempre se colocan a la derecha de la

variable predicativa.
Variables individuales: Designan los individuos indeterminados del universo del

discurso. Se denotan con las ultimas letras minsculas del alfabeto (x, y, z).
Variables predicativas o predicados: Se denotan con las letras iniciales
maysculas de la palabra principal del predicado.

Como ejemplo de esto tenemos:

1) Proposicin: Rafael Urdaneta fue Presidente de la Gran Colombia.
Vocabulario primitivo: a: Rafael Urdaneta.
Px: x fue presidente de la Gran Colombia.
Simbolizacin: Pa (Que se lee P de a).
2) Proposicin: El Padre de la Patria liber cinco naciones

Vocabulario primitivo: a: El Padre de la Patria

Lx: x liber cinco naciones
Simbolizacin: La.

Simbolizacin de Proposiciones Generales de un predicado.

Para simbolizar las proposiciones generales de un predicado es necesario
introducir los smbolos de los cuantificadores universales y existenciales.
Para el cuantificador universal todos o sus equivalentes, se utilizar el smbolo
(x), el cual se leer para toda x, donde dicho smbolo ser un individuo indeterminado.
El cuantificador existencial algunos o sus equivalentes se representarn con
(x) y se leer existe, al menos, un x, tal que
Como ejemplo de la simbolizacin de proposiciones generales universales
tenemos:
1) Proposicin: (a) Todos son estudiantes.
2) Vocabulario primitivo: (x): Todos o para todo x.
Ex: x es estudiante.
3) Equivale: (b) Para todo x, x es estudiante.
4) Simbolizacin: (c) (x) Ex.
5) Se lee: Para todo x, x es estudiante y tambin Para todo x, E de x

Como ejemplo de la simbolizacin de proposiciones existenciales o particulares

de un solo predicado tenemos:
1) Proposicin: (a) Algunos son filsofos.
2) Vocabulario primitivo: (x): Algunos o existe, al menos, un x.
Fx: x es filsofo.
3) Equivale: (b) Existe, al menos, un x tal que x es filsofo.
4) Simbolizacin: (c) (x)Fx.

5) Se lee: Existe al menos, un x tal que x es filsofo y tambin Existe, al menos,

un x tal que F de x.

Como ejemplo de la simbolizacin de proposiciones universales negativas de un

solo predicado tenemos:
1) Proposicin: (a) Ninguno es filsofo.
2) Vocabulario primitivo: (x): Algunos o existe, al menos, un x.
Fx: x es filsofo.
3) Equivale: (b) Todos son no-filsofos. (Inferencia por observacin)
(c) Para todo x, x es no-filsofo.
4) Simbolizacin: (d) (x) Fx
5) Se lee: Para todo x, no F de x.

Como ejemplo de la simbolizacin de proposiciones particulares negativas

tenemos:
1) Proposicin: (a) Algunos no son estudiantes.
2) Vocabulario primitivo: (Ex): Existe, al menos, un x.
Ex: x es estudiante.
3) Equivale: (b) Existe, al menos, un x tal que x no es estudiante.
4) Simbolizacin: (c) (x) Ex
5) Se lee: Existe al menos, un x tal que no E de x.

Simbolizacin de las Proposiciones Categricas.

Simbolizacin de la proposicin universal afirmativa (tipo A)
1) Proposicin: (a) Todos los hombres son mortales.
2) Vocabulario primitivo: (x): Para todo x.
Hx: x es hombre.
Mx: x es mortal.
3) Equivale: (b) Para todo x, si x es hombre, entonces x es mortal.
4) Simbolizacin: (c) (x) (Hx Mx)
5) Se lee: Para todo x, H de x implica M de x.

Simbolizacin de la proposicin universal negativa (tipo E)

1) Proposicin: (a) Ningn molusco es vertebrado.
2) Vocabulario primitivo: (x): Para todo x.
Mx: x es molusco.
Vx: x es vertebrado.
3) Equivale: (b) Todo molusco es no-vertebrado.
(c) Para todo x, si x es molusco entonces x es no-vertebrado.
4) Simbolizacin: (d) (x) (Mx Vx)
5) Se lee: Para todo x, M de x implica no V de x.

Simbolizacin de la proposicin particular afirmativa (tipo I)

1) Proposicin: (a) Algunos hombres son libres.
2) Vocabulario primitivo: (x): Existe, al menos, un x.
Hx: x es hombre.
Lx: x es libre.
3) Equivale: (b) Existe, al menos, un x tal que x es hombre y x es libre.
4) Simbolizacin: (c) (x) (Hx Lx)
5) Se lee: Existe, al menos, un x tal que H de x y L de x.
Simbolizacin de la proposicin particular negativa (tipo O)
1) Proposicin: (a) Algunos letras no son vocales.
2) Vocabulario primitivo: (x): Existe, al menos, un x.
Lx: x es letra.
Vx: x es vocal.
3) Equivale: (b) Existe, al menos, un x tal que x es letra y x no es vocal.
4) Simbolizacin: (c) (x) (Lx Vx)
5) Se lee: Existe, al menos, un x tal que L de x y no V de x.
Simbolizacin de la proposicin categrica no tpica.
1) Proposicin categrica no tpica: (a) Hay algunos alumnos distrados.
2) Proposicin CFT: (b) Algunos alumnos son distrados
3) Vocabulario primitivo: (x): Existe, al menos, un x.
Ax: x es alumno.
Dx: x es distrado.
4) Equivale: (c) Existe, al menos, un x tal que x es alumno y x es distrado.

5) Simbolizacin: (d) (x) (Ax Dx)

6) Se lee: Existe, al menos, un x tal que A de x y D de x.

Simbolizacin de Silogismos Categricos de forma Tpica.

Dado que los silogismos de forma tpica se componen de proposiciones CFT
ordenadas debidamente, la simbolizacin de los mismos es elemental.
Como ejemplo del silogismo de forma tpica tenemos:
1) Todos los grandes humanistas son demcratas.
Algunos abogados son demcratas.
Por tanto, algunos abogados son grandes humanistas.
2) Vocabulario primitivo: Hx: x es un gran humanista.
Dx: x es demcrata.
Ax: x es abogado.
3) Simbolizacin: (x) (Hx Dx)
(x)(AxDx)
(x)(AxHx)
Simbolizacin de Silogismos Categricos de forma Tpica.
La nica diferencia de stos con los silogismos de forma tpica es que, antes de
proceder a simbolizarlos, hay que traducirlos a forma tpica, recordando, entre otras
cosas, que todas las proposiciones tienen que ser categricas de forma tpica, y que la
premisa es mayor.
Como ejemplo del silogismo de forma no tpica tenemos:
1) Ningn mdico es juez, pues todos los mdicos son profesionales de la salud y
ningn juez es profesional de la salud. (No es tpica porque la conclusin se
encuentra al principio).
2) Ningn juez es profesional de la salud.
Todos los mdicos son profesionales de la salud.
Por tanto, ningn mdico es juez.
3) Vocabulario primitivo: Mx: x es mdico.
Sx: x es profesional de la salud.

Jx: x es juez.
4) Simbolizacin: (x) (Jx Sx)
(x)(Mx Sx)
(x)(Mx Jx)

REFERENCIAS BIBLIOGRFICAS
LABRA GAYO, JOSE EMILIO; FERNNDEZ LANVIN, DANIEL (2009). Cuaderno
Didctico: Lgica de Predicados. Escuela Universitaria de Ingeniera Tcnica en
Informtica de Oviedo. Universidad de Oviedo. Espaa.
ROMERO, ALFREDO; GAINZA, JOSE LUIS (2006). Lgica para un Profesional
Eficiente. Universidad del Zulia. Maracaibo. Venezuela.

TECNOLGICO DE MONTERREY (2011). Introduccin a la computacin. Instituto

Tecnolgico de Monterrey. Campus Cuernavaca. Mxico.

REFERENCIAS WEB
http://sistemas.uniandes.edu.co/~isis1104/dokuwiki/lib/exe/fetch.php?
media=enlaces:v3:v3_4_logica_de_predicados.pdf
http://www.angelfire.com/mac2/jpmavericktg/logicap.htm
http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia
%20Artificial/Apuntes/IA/Logica_Predicados.pdf

http://es.slideshare.net/rober_09/logica-de-predicado
http://www2.uca.es/matematicas/Docencia/ESI/1710040/Apuntes/Leccion2.pdf
http://www.galeon.com/nevifi/Archivos/Predicados.PDF