Lgica de predicados

(tambin llamada lgica de conjuntos o lgica cuantificacional)

 La lgica de predicados
Distingue dos clases de trminos:
Los que representan individuos o sujetos,
a los cuales llamaremos argumentos.
Los que representan propiedades, que
llamaremos predicados.
El predicado es una caracterstica del sujeto.
Argumento

Proposicin: Pedro es mecnico

Predicado
 Las proposiciones
De acuerdo a la cantidad del sujeto, se clasifican
en:
Singulares, cuando el sujeto es un individuo.
Universales, cuando el sujeto es una totalidad
de individuos.
Particulares, el sujeto es una parcialidad de
individuos.
La cantidad del sujeto introduce los cuantificadores todos y algunos.
Sintaxis de la lgica de predicados
Las variables individuales Los cuantificadores hacen
representan individuos referencia a la totalidad o una
indeterminados. Se usan las parte de los miembros de un
ltimas letras minsculas del conjunto.
alfabeto: x, y, z.
Cuantificador
Las constantes individuales, () universal
representan individuos (todos)
determinados. Se usan las
primeras letras minsculas del
alfabeto: a, b, c. Cuantificador
Las variables predicativas, () existencial
representan predicados (algunos)
indeterminados. Se usan las
primeras letras maysculas del
alfabeto: F, G, H.
Lgica de predicados de primer orden
En el espacio vaco despus del cuantificador
se colocan variables individuales, por ejemplo
(x), (y), a esto se llama lgica de primer
orden.
Si se usan variables predicativas como (F) o
(F), se llama lgica de segundo orden.

Trabajaremos slo con lgica de primer orden

 Reglas de formacin
de frmulas bien formadas
 Reglas de formacin
de frmulas bien formadas
 Formalizacin de
proposiciones singulares
Una proposicin predicativa se simboliza
invirtiendo el orden de los elementos, usando
maysculas para los predicados y minsculas
para las constantes individuales.
Ejemplos:
Jorge es cerrajero: Cj
Paco y Lola son hermanos: Hpl
Es falso que Oscar sea millonario: ~Mo
 Ejercicios
Formalice las siguientes proposiciones
singulares:
Pedro es abogado
Pedro y Daniel son ingenieros
Es falso que Pedro y Daniel sean filsofos
Francia est entre Espaa y Alemania
 Formalizacin de
funciones proposicionales
Las expresiones x es amable y es grande, se
simbolizan como Ax y Gy, respectivamente.
Una funcin proposicional expresa
simblicamente la forma de una proposicin
individual, y se le anteponen los cuantificadores
para ampliarse a ms individuos.
Ejemplos:
x es periodista: Px
Algunos x son periodistas: (x) Px
Todos los x son periodistas: (x) Px
 Formalizacin de
proposiciones cuantificadas
Las proposiciones cuantificadas universales y
existenciales pueden ser negativas o afirmativas:

Proposicin
Todo x es rojo (x) Rx
Ningn x es rojo (x) ~Rx
Algn x es rojo (x) Rx
Algn x no es rojo (x) ~Rx
Intercambio de cuantificadores (IC)
Equivalencia Ejemplo
(x) Fx ~(x) ~Fx Todos los celulares son funcionales
equivale a es falso que algunos celulares no
son funcionales.
(x) Fx ~(x) ~Fx Algunos celulares son funcionales equivale
a es falso que ningn celular es funcional.
(x) ~Fx ~(x) Fx Ningn celular es funcional equivale a es
falso que algunos celulares son funcionales.
(x) ~Fx ~(x) Fx Algunos celulares no son funcionales
equivale a Es falso que todos los celulares
son funcionales.
Reglas de proposiciones
contradictorias

Expresin Contradiccin
(x) (Fx Gx) (x) (Fx Gx)
(x) (Fx Gx) (x) (Fx Gx)
 Formalizacin de
proposiciones complejas
Despus de hacer la representacin funcional de las
proposiciones atmicas se pueden emplear los
operadores (conectivas) de la lgica proposicional.
Ejemplo:
Si la seleccin juega bien, entonces el pblico est contento

Bs Cp

Bs Cp
 Ejercicios
Escriba el equivalente de las siguientes frmulas
aplicando las reglas de intercambio de
cuantificadores:
~(x) (Fx Gx)
(x) ~Fx
~(x) (Fx Gx)
~(x) [(Fx Gx) ( Fx Hx)]
 Ejercicios
Escriba el equivalente aplicando las reglas de las
proposiciones contradictorias.
Ningn hombre es inmortal.
Algunos artistas no son pintores.
Cada uno de los seleccionados no es
saprisista.
Muchos apolticos son insensatos.
 Formalizacin de
proposiciones categricas
La proposicin categrica es un enunciado que
relaciona dos categoras o clases, las cuales se
colocan en una relacin de sujeto-predicado.
Algo es predicado (o dicho) acerca de un sujeto, por
tanto, la clase del sujeto estar incluida o excluida
de la clase del predicado. Los 4 tipos que hay son:
Proposicin universal afirmativa (A)
Proposicin universal negativa (E)
Proposicin particular afirmativa (I)
Proposicin particular negativa (O)
 Proposicin universal afirmativa (A)
La proposicin:
Todos los ticos son pura vida
Se representa funcionalmente como:
Para todo x, si x es tico, entonces x es pura vida
(x) Tx Px

Por tanto: (x) (Tx Px)

Proposicin universal negativa (E)
La proposicin:
Ningn pez vuela
Se representa funcionalmente como:
Para todo x, si x es pez, entonces x no vuela
(x) Px ~Vx

Por tanto: (x) (Px ~Vx)

 Proposicin particular afirmativa (I)
La proposicin:
Algunos trenes son elctricos
Se representa funcionalmente como:
Existe al menos un x tal que, x es tren y x es elctrico
(x) Tx ^ Ex

Por tanto: (x) (Tx ^ Ex)

 Proposicin particular negativa (O)
La proposicin:
Algunos polticos no son millonarios
Se representa funcionalmente como:
Existe al menos un x tal que, x es poltico y x no es millonario
(x) Px ^ ~Mx

Por tanto: (x) (Px ^ ~Mx)

 Alcance del cuantificador
Si el cuantificador no va seguido de los signos
de agrupacin ( ) o [ ], su alcance llega
hasta la primera letra del predicado.
Si el cuantificador va seguido de signos de
agrupacin ( ) o [ ] su alcance se extiende
a toda la expresin.
 Ejercicios
Formalice las siguientes proposiciones categricas:
Todos los penalistas son abogados
Ningn adolescente es congresista
Existe al menos un mdico que no es
otorrinolaringlogo.
Cualquier pez es vertebrado
No existe un solo tico que no sea
centroamericano
Leyes de la oposicin aristotlica

Equivalencias
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx ~Gx) ~(x) (Fx Gx)
 Silogismo categrico
Un silogismo categrico es un
tipo de inferencia que consta de
tres proposiciones categricas y
de tres trminos.
Las primeras dos son las premisas
y la ltima es la conclusin.
La conclusin de un silogismo es
una proposicin categrica que
contiene dos de sus tres
trminos.
1. El predicado se llama
trmino mayor y se
representa con P.
2. El sujeto se llama trmino
menor y se representa con S.
3. El trmino que no aparece
en la conclusin se llama
trmino medio, y se
representa con M.
La premisa que tiene el trmino
mayor se llama premisa mayor.
La premisa que tiene el trmino
menor se llama premisa menor.
 Figuras y modos del
silogismo categrico
Primera Segunda Tercera Cuarta
Proposiciones
figura figura figura figura
Premisa mayor MP PM MP PM
Premisa menor SM SM MS MS
Conclusin SP SP SP SP
1. AAA 2. EAE 3. IAI 4. AEE
1. EAE 2. AEE 3. AII 4. IAI
Modos vlidos
1. AII 2. EIO 3. OAO 4. EIO
1. EIO 2. AOO 3. EIO
 Comprobacin por mtodo analgico
Ningn tringulo es circular (E )
M P
Algunos tringulos son figuras (I)
M S
--------------------------------------------------------------
Por tanto, algunas figuras no son circulares (O)
S P
Este silogismo categrico es vlido segn la tercera figura.

S: Trmino menor (sujeto de la conclusin)

P: Trmino mayor (predicado de la conclusin)
M: Trmino medio (aparece slo en las premisas)
Comprobacin por mtodo analgico
Todos los estudiantes son jvenes (A)
M P
Todos los universitarios son estudiantes (A)
S M
--------------------------------------------------------------
Por tanto, todos los universitarios son jvenes (A)
S P
R//Este silogismo categrico es vlido segn la primera figura.

S: Trmino menor (sujeto de la conclusin)

P: Trmino mayor (predicado de la conclusin)
M: Trmino medio (aparece slo en las premisas)
 Ejercicios
Construya el silogismo correspondiente:
1. EAE
4. IAI
2. EAE
3. AII
 Ejercicios
Determine la validez o invalidez de los siguientes
silogismos categricos mediante el mtodo
analgico:
Ningn hombre es perfecto. Todos los profesores
son hombres. Luego, ningn profesor es perfecto.
Algunos silogismos son vlidos. Ninguna oracin
es un silogismo. Por tanto, algunas oraciones no
son vlidas.
Todos los estudiantes son jvenes. Todos los
universitarios son estudiantes. Luego, todos los
universitarios son jvenes.