1

Lgica de predicados

1. El lenguaje formalizado de la lgica de
predicados

Los smbolos que introduce la lgica de
predicados son:

1) Variables individuales, que representan
individuos indeterminados. Se emplean las
ltimas letras minsculas del alfabeto: x, y, z
2) Constantes individuales, que representan
individuos determinados. Se utilizan las primeras
letras minsculas del alfabeto: a, b, c, d...
3) Variables predicativas, que representan
predicados indeterminados. Se usan estas letras
maysculas: F, G, H
4) Cuantificadores, hacen referencia a la totalidad
o a una parte de los miembros de un conjunto.
Pudiendo ser la generalizacin universal o
particular, los cuantificadores son de dos tipos:

( ...): cuantificador universal
( ...): cuantificador existencial

Los smbolos y , se llaman
cuantificadores. En el espacio vaco que le sigue
dentro del parntesis se colocan o bien variables
individuales como ( x) y ( x), y entonces
estamos en el mbito de la lgica de predicados de
primer orden; o bien, variables predicativas como
( F) y ( F), situndonos, con esto, dentro del
marco de la lgica de predicados de segundo
orden.

2. Formalizacin de proposiciones

2.1. Formalizacin de proposiciones singulares

Una proposicin predicativa se simboliza
invirtiendo el orden de sus elementos y, por
razones operativas, se emplea cualquier letra
mayscula para representar los predicados y
cualquier letra minscula para las constantes
individuales. Ejemplos:

(a) David es abogado: Ad
(b) David y Goliat no son mdicos:
Md Mg
(c) Es falso que David y Goliat sean
filsofos: (Fd Fg)
(d) David y Goliat son hermanos: Hdg
(e) Lima es la capital del Per: Clp
(f) Lima est entre Ancash e Ica: Elai

Todas estas frmulas (a), (b), (c), (d), (e)
y (f) representan proposiciones, pues sus
argumentos o sujetos estn simbolizados por
constantes que significan individuos
determinados, consecuentemente se pueden
calificar de verdaderas o falsas.

2.2. Formalizacin de proposiciones categricas

Una proposicin categrica es aquella que
contiene expresiones que hacen referencia a un
conjunto de individuos, de modo que expresiones
tales como algunos, todos o sus expresiones
equivalentes tanto como sus respectivas
negaciones se simbolizan recurriendo a un tipo
especial de smbolos denominados
cuantificadores.

a) Proposiciones universales afirmativas (A)

Una proposicin universal afirmativa es aquella
que contiene la expresin todos o alguna otra
equivalente. Para formalizar una proposicin de
este tipo es necesario recurrir al empleo del
cuantificador universal; as, la proposicin Todos
los protestantes son cristianos se formalizar de
la siguiente manera:

( x) (Px Cx)

Que se lee: Para todo x, si x es protestante,
entonces x es cristiano. Recurdese que las
letras P y C son variables predicativas que estn,
respectivamente, por el conjunto de los individuos
que son protestantes y por la propiedad de ser
cristianos que se predica de dicho conjunto.
Asimismo, x es la variable individual que hace
referencia a todo individuo que satisface.

b) Proposiciones universales negativas (E)

Considerando lo que se dijo al inicio, una
proposicin universal negativa no es sino la
negacin de la propiedad que se predica de cada
uno de los individuos de un conjunto bajo la
forma de una proposicin universal afirmativa. Al
momento de formalizar una proposicin negativa
de este tipo, siempre ser necesario negar el
segundo elemento del condicional. Efectuando la
negacin de la proposicin que nos sirvi de
ejemplo antes tendremos: Todos los protestantes
no son cristianos, y segn lo dicho sta se
formalizar de la siguiente manera:

( x) (Px Cx)

2

Que se lee: Para todo x, si es x es
protestante, entonces x no es cristiano

c) Proposiciones existenciales afirmativas (I)

Las proposiciones existenciales tambin se
denominan particulares, porque se refieren slo a
un mbito parcial de individuos o a uno solo, pero
nunca a una totalidad de ellos. La inclusin de la
expresin algunos u otras equivalentes
caracteriza este tipo de proposiciones. Una
proposicin existencial afirmativa toma la forma
siguiente: Algunos protestantes son cristianos,
cuya simbolizacin ser:

( x) (Px Cx)

Que se lee: Existe al menos un x, tal que x
es protestante y x es cristiano

d) Proposiciones existenciales negativas (O)

Una proposicin existencial negativa ser la
negacin de la propiedad que le fue asignada a un
conjunto de individuos bajo la forma de una
proposicin existencial afirmativa. De este modo,
la negacin de dicha propiedad generar una
proposicin de este tipo: Algunos protestantes no
son cristianos. Su simbolizacin es como sigue:

( x) (Px Cx)

Y se lee: Existe al menos un x, tal que x es
protestante y x no es cristiano

2.3. Formalizacin de proposiciones complejas

Luego de haber expresado simblicamente las
proposiciones atmicas, es posible ahora
conectarlas con los operadores de la lgica
proposicional para formar con ellas proposiciones
moleculares. Por ejemplo, las siguientes
proposiciones

(l) La noticia es sensacional y el pblico aplaude
p q
(m) Si la funcin tiene xito, el promotor se alegra
p q

se representarn as:

(l) Sn Ap
(m) Ef Ap

3. Reglas de equivalencia entre cuantificadores
(Intercambio de cuantificadores: I.C.)

Para intercambiar cuantificadores no hace falta
sino reemplazar uno por otro, teniendo cuidado al
hacer esto de cambiar de signo tanto al
cuantificador como a la funcin predicativa.

1. (x) Fx (x) Fx
2. (x) Fx (x) Fx
3. (x) Fx (x) Fx
4. (x) Fx (x) Fx

Ejemplos:
(h) Todos son honestos
equivale a
Es falso que algunos no sean honestos
(i) Algunos son honestos
equivale a
Es falso que ninguno sea honesto
(j) Ninguno es honesto
equivale a
Es falso que algunos sean honestos
(k) Algunos no son honestos
equivale a
Es falso que todos sean honestos

Recurriendo a las letras que se emplean para
designar a cada una de las proposiciones
categricas, el esquema de equivalencias que
acabamos de presentar quedar configurado de la
siguiente forma:
1. A O
2. E I
3. I E
4. O A

4. Leyes de oposicin aristotlica

Sobre la base de este sencillo sistema de
equivalencias se puede determinar claramente las
leyes de oposicin con el simple recurso de negar
la contradictoria. Recurdese que al efectuar esta
operacin, es necesario negar toda la proposicin.
Y para esto hace falta negar el cuantificador que
ha reemplazado al que se ha retirado, as como
negar el segundo componente del condicional o de
la conjuncin, segn se trate de una proposicin
universal o de una existencial, respectivamente.
Las cuatro leyes de oposicin aristotlica son:

1. ( x) (Fx Gx) ( x) (Fx Gx)
2. ( x) (Fx Gx) ( x) (Fx Gx)
3. ( x) (Fx Gx) ( x) (Fx Gx)
4. ( x) (Fx Gx) ( x) (FxGx)

3

5. Silogismo Categrico

5.1. Definicin

Aristteles defini el silogismo como un
argumento en el que una proposicin categrica,
llamada conclusin, se sigue de otras, tambin
categricas, llamadas premisas, por ser estas lo
que son. Lo que Aristteles significaba con estas
palabras era que (1) en una inferencia silogstica
no debe aparecer en la conclusin algo que no
aparezca en las premisas, y (2) que stas deben
exhibir con toda claridad un nexo que permita ver
cmo obtener la conclusin a partir de ellas.
Ejemplo:

1. Todo ingeniero es profesional
2. Algunos matemticos son ingenieros
C. Algunos matemticos son profesionales

5.2. Elementos:

Trmino mayor Predicado de C (profesionales)
Trmino menor Sujeto de C (matemticos)
Trmino medio Repetido en premisas (ingeniero)
Premisa mayor Contiene al trmino mayor (1)
Premisa menor Contiene el trmino menor (2)

5.3. Forma Estndar (o forma lgica):

Llamamos forma estndar de un silogismo a esa
estructura en la que aparecen en su orden:

(1) la premisa mayor,
(2) la premisa menor y
(3) la conclusin.

Cuando examinamos un silogismo categrico en
forma estndar es posible reconocer en l una
estructura en la que se conjugan los elementos que
previamente identificamos por separado.

a) Modo: Son las letras tpicas de cada
proposicin categrica del silogismo.

Consideremos este ejemplo:
(1) Todos los seres de negro corazn son
inmorales (premisa mayor, tipo A)
(2) Todos los ladrones son seres de negro corazn
(premisa menor, tipo A)

(3) Todos los ladrones son inmorales (conclusin,
tipo A)

El conjunto de 3 elementos que forman los 3 tipos
de proposiciones que intervienen en l si las
consideramos en su orden; es decir, premisa
mayor, premisa menor y conclusin, es este: A, A,
A. Para determinar el modo del silogismo es
indispensable siempre colocar el silogismo en
forma estndar, pues el orden de las letras
corresponde exactamente al orden: premisa
mayor, premisa menor y conclusin.

Por otra parte, si examinamos el trmino medio
(seres de negro corazn) notamos que en la
premisa mayor aparece como sujeto, que en la
premisa menor aparece como predicado y que
desaparece en la conclusin. Esa posicin que
ocupa el trmino medio se llama la figura del
silogismo y puede tener 4 versiones:

b) Figura: Posicin del trmino medio del
silogismo

Primera
figura
Segunda
figura
Tercera
figura
Cuarta
figura
M P
S M

S P
P M
S M

S P
M P
M S

S P
P M
M S

S P

Segn esto, nuestro ejemplo sera un silogismo de
primera figura, puesto que el trmino medio
aparece como sujeto de la premisa mayor y como
predicado de la premisa menor.

(1) Todos los seres de negro corazn son
inmorales (premisa mayor, tipo A)
(2) Todos los ladrones son seres de negro
corazn (premisa menor, tipo A)

(3) Todos los ladrones son inmorales (conclusin,
tipo A)

Nuestro silogismo tiene entonces las siguientes
caractersticas:

1. Su modo es AAA.
2. Su figura es 1.

Cuando hemos dado el modo y la figura de un
silogismo ya lo hemos caracterizado
completamente, pues el modo y la figura son las
caractersticas esenciales del silogismo categrico.

6. Formas vlidas del silogismo categrico

Los silogismos categricos de forma tpica sern
vlidos si pasan exitosamente el examen de las
ocho reglas del silogismo planteados por
Aristteles. De los 256 modos solamente son
vlidos 24 modos, a 19 de los cuales los lgicos
medievales les dieron nombres nemotcnicos. As,
4

al modo AAA que es vlido solo en la primera
figura le llamaron BARBARA. A continuacin,
los modos vlidos segn la nemotecnia medieval:

Primera
Figura
Segunda
Figura
Tercera
Figura
Cuarta
Figura
BARBARA
CELARENT
DARII
FERIO
AAI
EAO
CESARE
CAMESTRES
FESTINO
BAROCO
AEO
EAO
DARAPTI
FELAPTON
DATISI
DISAMIS
BOCARDO
FERISON
BAMALIP
CAMENES
DIMATIS
FESAPO
FRESISON
AEO

Pero, de los 19 silogismos vlidos de acuerdo con
las reglas de Aristteles, slo 15 son lgicamente
vlidos a la luz de los mtodos de la lgica
moderna:

Primera
Figura
Segunda
Figura
Tercera
Figura
Cuarta
Figura
1- AAA
1- EAE
1- AII
1- EIO
2- EAE
2- AEE
2- EIO
2- AOO
3- AII
3- IAI
3- OAO
3- EIO
4- AEE
4- IAI
4- EIO

Como sabemos, la validez de un silogismo
depende exclusivamente de su forma y es
completamente independiente de su contenido.
As, cualquier silogismo de la forma 1- AAA es
vlido, sea cual fuere aquello de lo que trata, en
virtud de su forma vlida.

Ejercicios propuestos:

1. El trmino menor del siguiente silogismo es:
1) Toda recta es infinita
2) Existen lneas rectas
C) Algunas lneas son infinitas
A) recta B) infinita C) lneas
D) toda E) algunas

2. La premisa mayor del siguiente silogismo es:
1) Algunos matemticos son lgicos
2) El 100% de cientficos son matemticos
C) Existen lgicos que son cientficos
A) 1) y 2) B) Solo 2) C) Solo 1)
D) Solo C) E) Ninguna

3. Si la forma de un silogismo es AEO-4, su
trmino medio es escptico y su conclusin es
algunos dogmticos no son relativistas, seale
cul de las alternativas indica su premisa menor
A) faltan datos
B) algunos relativistas no son dogmticos
C) ningn dogmtico es escptico
D) todo relativista es escptico
E) ningn escptico es dogmtico

4. Si la forma de un silogismo es IAI-4, su
trmino medio es griego, y su conclusin es
algunos atenienses son filsofos, seale cul de
las alternativas indica su premisa mayor
A) algunos filsofos son griegos
B) todo griego es ateniense
C) todo ateniense es griego
D) faltan datos
E) algunos griegos son filsofos

5. El trmino es aquel que se repite en las
premisas; mientras que el trmino es el que
aparece como sujeto de la conclusin
A) mayor-medio B) medio-mayor
C) mayor-menor D) menor-medio
E) medio-menor

6. El silogismo categrico se caracteriza
fundamentalmente por tener
A) solo una premisa y una conclusin
B) dos premisas y una conclusin
C) cualquier nmero de premisas
D) conclusin probable
E) solo dos proposiciones

7. Complete correctamente. En el silogismo:
1) Ningn filsofo es dogmtico
2) Algn cientfico es filsofo
C) Por lo tanto, algn cientfico no es dogmatico
Tiene como trmino medio a y su forma lgica
es
A) filsofo-EOI4 B) dogmtico-EIO1
C) cientfico-AOI4 D) dogmtico-IEO4
E) filsofo-EIO1

8. Seale la forma del silogismo
1. Nadie responsable es inconsciente
2. Algn humano es responsable
C. Algunos humanos no son inconscientes
A) AII4 B) EIO1 C) AEI2 D) EIO3 E) AIA4

9. Halle el trmino y la premisa menor en el
siguiente silogismo:
P1. Todo postulante es sabio
P2. Elas es postulante
C. Elas es sabio
A) sabio y P1 B) Elas y P2 C) Todo y C
D) Elas y C E) postulante y P1

10. El silogismo: Todos los alemanes son
hombres. Ningn hombre es perfecto. Luego,
ningn alemn es perfecto, corresponde al modo
y figura siguiente.
A) EAE-1 B) AEE-2 C) AEE-1
D) AEE-4 E) EEA-4