LOGICA DE PREDICADOS FORMALIZACION

~Md ^ ~Mg Diferente ~(Md^Mg)

~Mdg
∃xy Pxy ∀x Px
Relación aRb bRc aRc
aRb bRa
aRa
Relación de Equivalencia: Función Fx, Fz….
Proposición: (∀x) ~Ex …es equivalente...? ~∀x Ex

Alcance de los cuantificadores

Conviene determinar algunos criterios para indicar el área de in- fluencia de un

cuantificador:
Si un cuantificador no va seguido de un signo de agrupación su alcance llega hasta la variable
correspondiente a la primera letra de predicado a su derecha. Ejemplos:
• ( ∀ x) Fx
• ( ∀x) Fx  Gx en ambos casos el alcance sólo llega a Fx
Si un cuantificador va delante de signos de agrupación su alcance se extiende a toda la
expresión encerrada dentro de ellos. Ejemplos:
• ( ∀x) (FxGx)
• (∃x) [(Fx v Gx) ^ Hx]
Otros ejemplos:
( x) ( y) Fxy
(  x) (Fx  Gx)
(  x) Fxy  (  y) Gxy
(  x) (Fxa  Gx)

Ejemplos de formalización en Lógica de Predicados

Liliana ama a x Alx
Fulano visitó a mengano Vxy
x >a Mxa
x>y Mxy

Todos admiran a Valentín (  x) Axv

Alan admira a alguien (  x) Aax
Todos los filósofos admiran a Platón (  x) (Fx  Axp)
Daniel aprende de algún profesor (  x) (Px  Adx)
Todos aman u odian a Barrabás (  x) (Axb  Oxb)
Todo causa a todo (  x) (  y) Cxy
Todo es causado por todo (  x) (  y) Cyx
Todo se vincula con algo (  x) (  y) Vxy
Algo se vincula con todo (  x) (  y) Vxy
Algo se vincula con alguna cosa (  x) (  y) Vxy
Todos los estudiantes aprenden de alguien (  x) [Ex  (  y) Axy]
Todos los estudiantes aprenden de algún profesor (  x) [Ex  (  y) (Py  Axy)]
Algunos perros ladran a todos los niños (  x) [Px  (  y) (Ny  Lxy)]
Todos los maestros quieren a sus alumnos (  x) [Mx  (  y) (Ayx  Qxy)]
Ninguna ciudad descuida su patrimonio cultural (  x) [Cx  (  y) (Pyx  ~ Dxy)]
Madrid está entre La Coruña y Cartagena Fabc
(a: Madrid; b: La Coruña; c: Cartagena; Fxyz: x está entre y y z)
2.      Los colores brillantes llaman la atención ∀x (Fx ∧ Gx → Hx)
(Fx: x es un color; Gx: x es brillante; Hx: x llama la atención)
3.      Un enfermo que no se cuida empeora ∀x (Fx ∧ ¬Gx → Hx)
(Fx: x es un enfermo; Gx: x se cuida; Hx: x empeora)
4.      A Pepe le gustan todas las chicas excepto las pelirrojas ∀x (Fx ∧ ¬Gx → Hxa)
(a: Pepe; Fx: x es una chica; Gx: x es pelirroja; Hxy: x le gusta a y)
5.      Para todo chico, hay alguna chica a la que él ama ∀x (Fx → ∃y (Gy ∧ Hxy))
∀x (x es un chico → x ama a alguna chica)
Pero el segundo predicado es complejo: incluye una cuantificación existencial y una relación: ∃y (y es una
chica ∧ x ama a y)
La formalización completa será, pues ∀x (Fx → ∃y (Gy ∧ Hxy))
(Fx: x es un chico; Gx: x es una chica; Hxy: x ama a y)
6.      Todos los grandes compositores son genios.
C=ser un gran compositor; G=ser un genio; ∀x(Cx → Gx)
7. En el dominio de todos los libros, considere los siguientes predicados:
P(x) = es pesado C(x) = es confuso )
Si todos los libros son pesados entonces son confusos. ∀x(Px → Cx)
Algunos libros son pesados entonces son confusos. ∃x(Px → Cx)
Algunos libros son confusos y pesados. ∃x (Cx ∧ Px)
Todos libros son confusos y pesados. ∀x (Cx ∧ Px)
∀x (Px ∧ Cx) OK
8. A Pepe le gustan todas las chicas excepto las pelirrojas. ∀x (Fx ∧ ¬Gx → Hxa)
(a: Pepe; Fx: x es una chica; Gx: x es pelirroja; Hxy: x le gusta a y)
A todos los hombres les gustan todas las chicas excepto las pelirrojas.
∀xy (Jy^Fx ∧ ¬Gx → Hxy)
(a: Pepe; Fx: x es una chica; Gx: x es pelirroja; Hxy: x le gusta a y; J:es un hombre)
A algunos hombres les gusta una chica llamada Sofía que no es pelirroja. ∃x (Jx^Fs ∧ ¬Gs → Hsx)
(s: Sofia; Fx: x es una chica; Gx: x es pelirroja; Hxy: x le gusta a y; Jx: x es un hombre)
sobre(y,x) y está sobre x

Escribir 2 ejemplos de cada cuantificador (∀ universal y ∃ existencial), donde se muestre la fórmula

(expresión lógica) y su enunciado equivalente de cada proposición correspondiente.
*Escribir el enunciado correspondiente de cada una de las siguientes formulas:
Ɐx: Cuantificador Universal, ∃x: Cuantificador Universal
P(x): El libro es pesado, C(x): El libro es confuso
P(x): El libro es pesado
C(x): El libro es confuso
1.∃x(P(x) ^ ~C(x))   = Hay un libro que es pesado y no es confuso
2.Ɐx(P(x) ^ ~C(x))   =
3.∃x(~P(x) ^ C(x))   =
7.Ɐx(~P(x) ^ C(x))   =
4.∃x(~P(x) ^ ~C(x)) =
5.Ɐx(~P(x) ^ ~C(x)) =
6.Ɐx(P(x) ^ C(x))     =
8.∃x(P(x) ^ C(x))     = 
~(ꓱ x(P(x) ^ C(x))) = Ɐx(~P(x) ^ ~C(x)))
*Para las siguientes propiedades de los cuantificadores, escribir los enunciados equivalentes en cada caso,
asignando un predicado válido para Px:
Px  =  
1. ~(∀x(Px))≡∃x(~Px) =
2. ~(∃x(Px))≡∀x(~Px) =
3. ∃x(Px)≡~[∀x(~Px)] =
4. ~(∃x(~Px)≡∀x(Px) =
Formalizar y demostrar la corrección del siguiente razonamiento mediante deducción natural.
Quien a buen árbol se arrima, buena sombra le cobija. Juan se arrima a un buen árbol. Por tanto, existen
buenas sombras
A(w): w es un árbol
B(w): w es un buen árbol
S(w): w es sombra
R(x,y): x se arrima a y
C(w,z): w cobija a z
1. ∀x(∃y(B(y) ∧ A(y) ∧ R(x, y)) → ∃y(B(y) ∧ S(y) ∧ C(y, x))) P.
2. ∃x(B(x) ∧ A(x) ∧ R(j, x)) Premisa
3. (z)R(j, z) ∧ B(z) ∧ A(z) Supuesto
4. ∃y(B(y) ∧ A(y) ∧ R(j, y)) → ∃y(B(y) ∧ S(y) ∧ C(y, j)) ∀E1
5. ∃y(B(y) ∧ A(y) ∧ R(j, y)) ∃I3
6. ∃y(B(y) ∧ S(y) ∧ C(y, j)) → E4, 5
7. (t)B(t) ∧ S(t) ∧ C(t, j) Supuesto
8. B(t) ∧E7
9. S(t) ∧E7
10. B(t) ∧ S(t) ∧I8, 9
11. ∃x(B(x) ∧ S(x)) ∃I10
12. ∃x(B(x) ∧ S(x)) ∃E6, 7 − 11
13. ∃x(B(x) ∧ S(x)) ∃E2, 3 – 12
PROPIEDADES
¬[∀x R(x)] = ∃x ¬R(x)
¬[∃x R(x)] = ∀x ¬R(x)
¬[∀x ¬R(x)] = ∃x R(x)
¬[∃x ¬R(x)] = ∀x R(x)

~(∀x(Px))≡∃x(~Px)
~(∃x(Px))≡∀x(~Px)
∃x(Px)≡~[∀x(~Px)]
~(∃x(~Px)≡∀x(Px)
 (∀ x ( Px )) ≡∃ x( Px)
 (∃ x ( Px )) ≡ ∀ x( Px)
 ∃ x ( Px ) ≡ [ ∀ x ( Px ) ]
 ¿
 ( ∀ x) Fx ( ∀ x) ~ Fx
CONTRADICTORIAS
DICTORIAS

CONTRA

(∃ x) Fx ( ∃ x) ~ Fx

Reglas de equivalencia entre cuantificadores (Intercambio de cuantificadores: IC)

Para intercambiar cuantificadores se suple uno con otro teniendo cuidado de cambiar de
signo tanto el cuantificador como a la función predicativa.

a) (  x) Fx ~ ( ∃x) ~ Fx
b) ( ∃x) Fx ~ (  x) ~ Fx
c) (  x) ~ Fx ~ ( ∃x) Fx
d) ( ∃x) ~ Fx ~ ( x) Fx

Ejemplos:
 Todos son probos equivale a es falso que algunos no sean probos
 Algunos son probos equivale a es falso que ninguno sea probo
 Ninguno es probo equivale a es falso que algunos sean probos
 Algunos no son probos equivale a es falso que todos sean probos

Distribución de cuantificadores

1. El cuantificador universal es distributivo con respecto a la con junción.

(  x) (Fx  Gx) (  x) Fx  (  x)Gx

2. El cuantificador existencial es distributivo con respecto a la disyunción.

(  x) (Fx  Gx) (  x) Fx  (  x)Gx

EJERCICIOS FORMALIZACION:
 Todos los penalistas son abogados.
 Todos los injustos son deshonestos.
 Todos los estudiantes universitarios son rebeldes.
 Ningún adolescente es congresista.
 Ningún sacerdote católico es inmoral.
 Ningún religioso es avaro o usurero.
 Algunos musulmanes son talibanes.
 Algunos médicos ayacuchanos son protestantes.
 Algunos dipsómanos son apolíticos.
 Casi todos los descorteses no son universitarios.
 Existe al menos un médico que no es otorrinolaringólogo.
 No todos los colombianos son Caleños.
 Cualquier pez es vertebrado.
 Ni siquiera un metal es un ser vivo.
 No existe un solo Colombiano que no sea sudamericano.
 Ningún estudiante universitario es autista.
 Algunas estudiantes universitarias son melómanas.
 Ningún tímido es atrevido.
 Algunas tímidas no son bonitas.
 Algunos estudiantes universitarios son serios y tímidos.
 Raquel es bonita, pero no es atrevida.
 No todas las tímidas son bonitas.
 Algunos estudiantes universitarios que no son serios, son deportistas.
 Ningún tímido no es circunspecto.
 Algunos estudiantes universitarios que son deportistas no son tímidos.
 Todas las tímidas que son deportistas son bonitas.
 Cualquiera que es deportista es atleta o veloz.
 Algunos estudiantes universitarios son aficionados al rock y a la salsa.
 Ningún estudiante universitario es aficionado al rock y a la salsa
simultáneamente.
 Hay algunos estudiantes universitarios que son aficionados al rock pero no a la salsa.
 Todo tímido sale a bailar con alguna estudiante universitaria.
 Silvia no sale a bailar con ningún tímido.
 Algunos estudiantes universitarios sólo salen a bailar con estudiantes universitarias.
 Algunos tímidos salen a bailar con estudiantes universitarias.
 Algunos estudiantes universitarios no salen a bailar con estudiantes universitarias.
 Tanto estudiantes universitarios como estudiantes secundarios salen a bailar con Silvia.
 Algunos atrevidos salen a bailar con estudiantes universitarias aficionadas al rock.
 Solamente atrevidos salen a bailar con atrevidas.
 Los atrevidos salen a bailar sólo con atrevidas.
 Raúl sale a bailar con tímidas solamente si son bonitas.
 Raúl sale a bailar con una estudiante universitaria.