Lógica Cuantificacional
Analizamos más allá de las oraciones declarativas
* Cuantificar y cualificar las oraciones
Lógica Oracional
Oraciones declarativas
Oración Típica Particular +
Verbo: "ser o estar"
Cuantificador Predicado
Hay inteligentes
Simbolización Típica
(Cuantificador, verbo "ser o estar", predicado)
Universal + Todos son predicados (∀x) (PREDICADO)
Universal - Ninguno es predicado (∀x) ¬(PREDICADO)
Particular + Alguno es predicado (∃x) (PREDICADO)
Particular - Alguno no es predicado (∃x) ¬(PREDICADO)
* Todos son practicantes y estudiantes universitarios.
Léxico:
Px = "x" es un practicante
Ex = "x" es un estudiante universitario
U+ Típico (∀x) (Px ^ Ex)
* Alguno es colega de la universidad.
Léxico:
Cx = "x" es un colega de la universidad
P+ Típico (∃x) (Cx)
Hay = Alguno = Existen * Hay protestantes u ortodoxos.
Léxico:
Px = "x" es un protestante
Ox = "x" es un ortodoxo
P+ Típico (∃x) (Px v Ox)
* Ninguno afirma que la lógica es compleja y difícil.
Léxico:
Cx = "x" afirma que la lógica es compleja
Dx = "x" afirma que la lógica es difícil
U- Típico (∀x) ¬(Cx ^ Dx)
No es cierto que todos sean perros y gatos
¬ (∀x) (PREDICADO)
Léxico:
Px = "x" es un perro
Gx = "x" es un gato
¬ (∀x) (Px ^ Gx)
No es cierto que Perú y Chile son paises limítrofes
¬P
Simbolización Típica
(Cuantificador, verbo "ser o estar", predicado)
Universal + Todos son predicados (∀x) (PREDICADO)
Universal - Ninguno es predicado (∀x) ¬(PREDICADO)
Particular + Alguno es predicado (∃x) (PREDICADO)
Particular - Alguno no es predicado (∃x) ¬(PREDICADO)
ATÍPICA 1: Las "y" en los sujetos siempre se simbolizan como
una disyunción.
Los hombres y las mujeres son inteligentes
Léxico:
Hx = "x" es un hombre
Mx = "x" es una mujer
Ix = "x" es inteligente
Universal + (∀x)(Sujeto → Predicado)
Sujeto: Hx v Mx
Predicado: Ix
(∀x)((Hx v Mx) → Ix)
ATÍPICA 2: Los "que" subordinantes siempre se simbolizan como una "y"
Algunos practicantes que están cursando 7mo ciclo tienen muchas
dudas existenciales
Léxico:
Px = "x" es un practicante
Cx = "x" está cursando el 7mo ciclo
Mx = "x" tiene muchas dudas existenciales
Particular + (∃x)(Sujeto ^ Predicado)
Sujeto: Px ^ Cx
Predicado: Mx
(∃x)((Px ^ Cx) ^ Mx)
Atípica 3: Solamente en los universales, si se niega el verbo siempre se
simbolizará como la negación del cuantificador.
Ningún practicante de finanzas no cree que sea bueno en filosofía
Léxico:
Px = "x" es un practicante de finanzas
Cx = "x" cree que sea bueno en filosofía
Universal - (∀x)(Sujeto → ¬Predicado)
Sujeto: Px
Predicado: Cx
¬(∀x)(Px → ¬Cx)
Ejercicios a realizar
Simbolización Típica
(Cuantificador, verbo "ser o estar", predicado)
Universal + Todos son predicados (∀x) (PREDICADO)
Universal - Ninguno es predicado (∀x) ¬(PREDICADO)
Particular + Alguno es predicado (∃x) (PREDICADO)
Particular - Alguno no es predicado (∃x) ¬(PREDICADO)
Una persona Px = "x" es prudente
juan = a
Pa
Otra persona Py = "y" es prudente
felipe = b
Pb
1 Todos los Profesores son Engreidos y Tolerantes
No todos los Tolerantes Pierden la paciencia si son Engreidos
Algunos Estudiosos son Engreidos
Juan es Profesor y Tolerante
1 2 3
2 No es cierto que no todos los Prudentes no Crean en Dios
Todos los que Creen en Dios tienen una religión
María no Creen en Dios y no es Prudente
María no tiene una religión o Alguien no Cree en Dios
3 No hay estudiantes en la clase de lógica, a pesar de que todos los profesores toman lista
Los profesores fueron estudiantes de lógica.
Marcos no es un estudiante de lógica
Como Marcos no es un profesor de lógica, no tomó lista.
Oración Categórica Universal +
Verbo: "ser o estar"
Cuantificador Predicado
s Los estudiantes son inteligentes
Sujeto
Simbolización Categórica
(Cunatificador, Sujeto, Verbo "ser o estar" y Predicado)
Universal + Todos los Sujetos son Predicados (∀x)(Sujeto → Predicado)
Universal - Ningún Sujeto es Predicado (∀x)(Sujeto → ¬Predicado)
Particular + Algún Sujeto es Predicado (∃x)(Sujeto ^ Predicado)
Particular - Algún Sujeto no es Predicado (∃x)(Sujeto ^ ¬Predicado)
→
PUCP → Universitario
Todos los estudiantes de la PUCP son estudiantes universitarios Ningún perro es un ave
Universitario Ave
PUCP
Algún alumno es de la PUCP
Alumno Alumno
PUCP
Alumno Alumno
PUCP
Simbolización Categórica
(Cunatificador, Sujeto, Verbo "ser o estar" y Predicado)
Universal + Todos los Sujetos son Predicados (∀x)(Sujeto → Predicado)
Universal - Ningún Sujeto es Predicado (∀x)(Sujeto → ¬Predicado)
Particular + Algún Sujeto es Predicado (∃x)(Sujeto ^ Predicado)
Particular - Algún Sujeto no es Predicado (∃x)(Sujeto ^ ¬Predicado)
pre se simbolizan como
e simbolizan como una "y"
o ciclo tienen muchas
niega el verbo siempre se
or.
ea bueno en filosofía Todos los profesores no creen en Dios = Es falso que los profesores crean en D
Léxico:
Px = "x" es profesor
Dx = "x" cree en Dios
¬(∀x)(Px → Dx)
Todo gobernante que no conoce historia está condenado a repetirla
(∀x)((Gx ^ ¬Cx) → Ex)
Solo los B, A = B ↔ A
Simbolización
(∀x)(Lx → Fx) Solo los profesores saben matemáticas
(∃x)(Ax ^ ¬Fx)
(∃x)(Ax ^ ¬Lx)
(∀x)(Sujeto ↔ Predicado)
Pb ^ Vb
¬(∀x)(Px → ¬Vx) (∀x)(Px ↔ Sx)
(∀x)(Dx → Ex)
(∀x)(Ex → (Jx ^ Cx))
¬(Jc v Cc)
¬Dc v ¬Oc
(∀x)(Ex → Px)
(∃x)(Ex ^ Hx)
(∃x)(Ex ^ Jx)
(∃x)Px ^ (∃y)Py
Simbolización Categórica
(Cunatificador, Sujeto, Verbo "ser o estar" y Predicado)
Universal + Todos los Sujetos son Predicados (∀x)(Sujeto → Predicado)
Universal - Ningún Sujeto es Predicado (∀x)(Sujeto → ¬Predicado)
Particular + Algún Sujeto es Predicado (∃x)(Sujeto ^ Predicado)
Particular - Algún Sujeto no es Predicado (∃x)(Sujeto ^ ¬Predicado)
(∀x)(Px → (Ex ^ Tx)) Px = "x" es profesor
¬(∀x)(Tx → (Ex → Cx)) Ex = "x" es engreido
(∃x)(Ox ^ Ex) Tx = "x" es tolerante
Pj ^ Tj Cx = "x" pierde la paciencia
Ox = "x" es estudioso
¬¬¬(∀x) (Px → Cx) Px = "x" es prudente
(∀x) (Cx → Rx) Cx = "x" cree en Dios
¬Cm ^ ¬Pm Rx = "x" tiene una religión
¬Rm v (∃x)¬Cx m = María
os los profesores toman lista ¬(∃x)Ex ^ (∀x) (Px → Lx) Ex = "x" es un estudiante de Lógica
(∀x) (Px → Ex) Px = "x" es un profesor
¬Em Lx = "x" toma lista
¬Pm → ¬Lm m = Marcos
eligentes
Algunos estudiantes de la Católica son
Léxico:
Ex = "x" es un estudiante de la católica
Rx = "x" es religioso
x)(Sujeto → Predicado) P+ Categórico (∃x)(Ex ^ Rx)
x)(Sujeto → ¬Predicado)
x)(Sujeto ^ Predicado)
x)(Sujeto ^ ¬Predicado) Ningún profesor de ciencias es matem
Léxico:
Px = "x" es profesor de ciencias
gún perro es un ave Perro → ¬Ave Mx = "x" es matemático
U- Categórico (∀x)(Px → ¬Mx)
Ave
Todos los protestantes son creyentes
Perro
Léxico:
Px = "x" es protestante
Cx = "x" es creyente
U+ Categórico (∀x)(Px → Cx)
Algún alumno no es de la PUCP Algún árbol es eterno
Léxico:
Ax = "x" es un árbol
Alumno
PUCP Ex = "x" es eterno
Alumno
PUCP
^ P+ Categórico (∃x)(Ax ^ Ex)
Es falso que los profesores crean en Dios = No todos los profesores creen en Dios
condenado a repetirla Particular +
es saben matemáticas
gunos estudiantes de la Católica son religiosos
= "x" es un estudiante de la católica
= "x" es religioso
ngún profesor de ciencias es matemático
= "x" es profesor de ciencias
x = "x" es matemático
x)(Px → ¬Mx)
dos los protestantes son creyentes
= "x" es protestante
= "x" es creyente
gún árbol es eterno
= "x" es un árbol
= "x" es eterno
Algunos creyentes son elocuentes siempre y cuando sean religiosos
Léxico:
Cx = "x" es un creyente
Ex = "x" es elocuente
Rx = "x" religioso
Algún Sujeto es Predicado (∃x)(Sujeto ^ Predicado)
(∃x)(Cx ^ (Ex ↔ Rx))
Instanciación
* La ejemplificación de una cuantificador
Los estudiantes son inteligentes
Ex = "x" es un estudiante Juan es un estudiante
Ix = "x" es inteligente a = Juan
Ea
α = {x, y, z, a, b, c}
Variables indefinidas β = {x, y, z}
Constantes γ = {a, b, c}
Instanciar Regla Intercambio del Cuantificador
∃x(Px) 1) ¬∀x(Px) = ∃x ¬(Px)
2) ¬∃x(Px) = ∀x ¬(Px)
3) ¬∀x¬(Px) = ∃x(Px)
(Pγ) 4) ¬∃x¬(Px) = ∀x(Px)
1 Pa
2 Pb
3 Pc
CASO 1: Identificar la negación del cuantificador e intercambiarlo a la afirmación del mi
P1) ∀x(Px ^ Rx)
P2) ¬∃x (¬Px v ¬Tx)
P3) ∃x(Tx → Fx) //.: Fa
4) ∀x ¬(¬Px v ¬Tx) RIC / Equivalencia de Cuantificadores 2
5) Ta → Fa E.E / I.E. / E.P / I.P (3)
6) (Pa ^ Ra) E.U. (1)
7) ¬(¬Pa v ¬Ta) E.U. (4)
8) ¬¬Pa ^ ¬¬Ta De Morgan 7
9) Pa ^ Ta Doble Negación 8
10) Ta Simp. 9
11) Fa MPP (5, 10)
Generalización Universal Generalización del Particular
Pγ Pγ
∀x(Px) ∃x(Px)
Caso 2: Uso de las generalizaciones
P1) ∀x(Px ^ Rx)
P2) ∃x¬(Tx → Fx)
P3) ∀x (¬Px v ¬Tx) //.: ∃x(¬Px v Sx)
4) ¬(Ta → Fa) IP/E.P (2)
5) (Pa ^ Ra) E.U (1)
6) (¬Pa v ¬Ta) E.U (3)
7) ¬(¬Ta v Fa) Def. Cond. 4
8) ¬¬Ta ^ ¬Fa De Morgan 7
9) ¬¬Ta Simpl. 8
10) Ta DN 9
11) ¬Pa SD (6, 10)
12) ¬Pa v Sa Ad. 11
13) ∃x(¬Px v Sx) G.E. (12)
PRUEBA CONDICIONAL
P1) ∀x(Px ^ Rx)
P2) ∃x¬(Tx → Fx)
P3) ∀x (¬Px v ¬Tx) //.: ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx)
4) ¬∃x(Rx v ¬Fx) Prem. Ad. //.: ∃x(¬Px v ¬Sx)
5) ∀x¬(Rx v ¬Fx) EC 4
6) ¬(Ta → Fa) E.E 2
7) (Pa ^ Ra) E.U. 1
8) (¬Pa v ¬Ta) E.U. 3
9) ¬(Ra v ¬Fa) E.U. 5
10) ¬(¬Ta v Fa) Def. Cond. 6
11) ¬¬Ta ^ ¬Fa De Morgan 10
12) ¬¬Ta Simpl. 11
13) Ta DN 12
14) ¬Pa SD (8, 13)
15) ¬Pa v ¬Sa Ad. 14
16) ∃x(¬Px v ¬Sx) G.E. 15
17) ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx) PC (4 - 16)
P1) ∀x(Px ^ Rx)
P2) ∃x¬(Tx → Fx)
P3) ∀x (¬Px v ¬Tx) //.: Rb → (¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx))
4) Rb Prem. Ad. //.: ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx)
5) ¬∃x(Rx v ¬Fx) Prem. Ad. //.: ∃x(¬Px v ¬Sx)
mbio del Cuantificador
x(Px) = ∃x ¬(Px)
x(Px) = ∀x ¬(Px)
x¬(Px) = ∃x(Px)
x¬(Px) = ∀x(Px)
biarlo a la afirmación del mismo
MPP
5) Ta → Fa
a de Cuantificadores 2 10) Ta
//.: Fa
SD
6) (¬Pa v ¬Ta)
10) Ta
.: ¬Pa
PRUEBA REDUCCIÓN AL ABSURDO / PRUEBA INDIRECTA
P1) ∀x(Px ^ Rx)
P2) ∃x¬(Tx → Fx)
) → ∃x(¬Px v ¬Sx) P3) ∀x (¬Px v ¬Tx) //.: ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx)
4) ¬[¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx)] Prem. Ad.
5) ¬[¬¬∃x(Rx v ¬Fx) V ∃x(¬Px v ¬Sx)] Def. Condicional 4
6) [¬¬¬∃x(Rx v ¬Fx) ^ ¬∃x(¬Px v ¬Sx)] De Morgan 5
7) ¬¬¬∃x(Rx v ¬Fx) Simpl. 6
8) ¬∃x(¬Px v ¬Sx) Simpl. 6
9) ¬∃x(Rx v ¬Fx) DN 7
10) ∀x¬(¬Px v ¬Sx) EC 8
11) ∀x¬(Rx v ¬Fx) EC 9
12) ¬(Ta → Fa) E.E. 2
13) (Pa ^ Ra) E.U. 1
14) (¬Pa v ¬Ta) E.U. 3
15) ¬(¬Pa v ¬Sa) E.U. 10
16) ¬(Ra v ¬Fa) E.U. 11
17) Pa Simpl. 13
18) Ra Simpl. 13
19) (¬Ra ^ ¬¬Fa) De Morgan 16
20) ¬Ra Simpl. 19
21) Ra ^ ¬Ra Conj. (18, 20)
22) ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx) RA (4 - 21)
Rx v ¬Fx) → ∃x(¬Px v ¬Sx))
) → ∃x(¬Px v ¬Sx)
INDIRECTA
: ¬∃x(Rx v ¬Fx) → ∃x(¬Px v ¬Sx)
f. Condicional 4
Morgan 16
Ningún Lógico es Creyente
Solo los Creyentes son Felices
Ningún Lógico es Feliz
RA
1. ∀x(Lx → ¬Cx)
2. ∀x(Cx ↔ Fx) .: (∀x)(Lx → ¬Fx)
3. ¬∀x(Lx → ¬Fx) Prem. Ad.
4. ∃x¬(Lx → ¬Fx) EC 3
5. ¬(La → ¬Fa) E.E. 4
6. (La → ¬Ca) E.U. 1
7. (Ca ↔ Fa) E.U. 2
8. ¬(¬La v ¬Fa) Def. Cond. 5
9. ¬¬La ^ ¬¬Fa De Morgan 8
10. La ^ Fa DN 9
11. La Simpl. 10
12. Fa Simpl. 10
13. ¬Ca MPP 6, 11
14. (Ca → Fa) ^ (Fa → Ca) Def. Bic. 7
15. Fa → Ca Simpl. 14
16. Ca MPP (12, 15)
17. Ca ^ ¬Ca Conj. (13, 16)
18. (∀x)(Lx → ¬Fx) RA (3-17)
1. (∀x)(Lx → Fx)
2. (∃x)(Ax ^ ¬Fx) //.: (∃x)(Ax ^ ¬Lx)
3. Aa ^ ¬Fa E.E. 2
4. La → Fa E.U. 1
5. Aa Simpl. 3
6. ¬Fa Simpl. 3
7. ¬La MTT (4, 6)
8. Aa ^ ¬La Conj. (5, 7)
9. (∃x)(Ax ^ ¬Lx) G.E. 8
1. Pb ^ Vb //.: ¬(∀x)(Px → ¬Vx) = (∃x) (Px ^ Vx) 1. ¬(∀x)(Px → ¬Vx)
2. (∃x) (Px ^ Vx) G.E. 1 2. (∃x) ¬(Px → ¬Vx)
3. (∃x) (¬¬Px ^ ¬¬Vx) DN 2 3. (∃x) ¬(¬Px V ¬Vx)
4. (∃x) ¬(¬Px V ¬Vx) DM 3 4. (∃x) (¬¬Px ^ ¬¬Vx)
5. (∃x) ¬(Px → ¬Vx) DC 4 5. (∃x) (Px ^ Vx)
6. ¬(∀x)(Px → ¬Vx) EC 5
1. (∀x)(Dx → Ex)
2. (∀x)(Ex → (Jx ^ Cx))
3. ¬(Ja v Ca) //.: ¬Da v ¬Oa
4. (Da → Ea) E.U. 1
5. (Ea → (Ja ^ Ca)) E.U. 2
6. (¬Ja ^ ¬Ca) DM 3
7. (¬Ea V (Ja ^ Ca)) DC 5
8. (¬Ea v Ja) ^ (¬Ea v Ca) Distribución 7
9. ¬Ea v Ja Simpl. 8
10. ¬Ja Simpl. 6
11. ¬Ea SD (9, 10)
12. ¬Da MTT (4, 11)
13. ¬Da v ¬Oa Adic. 12
1. (∀x)(Ex → Px)
2. (∃x)(Ex ^ Hx) HAY UNA PERSONAS Y HAY OTRA PERSONA
3. (∃x)(Ex ^ Jx) //.: (∃x)Px ^ (∃y)Py
4. Ea ^ Ha E.E. 2
5. Eb ^ Jb E.E. 3
6. (Ea → Pa) E.U. 1
7. (Eb → Pb) E.U. 1
8. Ea Simpl. 4
9. Eb Simpl. 5
10. Pa MPP (6, 8)
11. Pb MPP (7, 9)
12. (∃x)Px G.E. 10
13. (∃y)Py G.E. 11
14. (∃x)Px ^ (∃y)Py Conj. (12, 13)
¬(∀x)(Px → ¬Vx)
(∃x) ¬(Px → ¬Vx) EC 1
(∃x) ¬(¬Px V ¬Vx) DC 2
(∃x) (¬¬Px ^ ¬¬Vx) De Morgan 3
(∃x) (Px ^ Vx) DN 4
Lógica Extendida
Wrobleski
Argumentos
Contrucción Deducción Construcción Inductiva
(P1 ^ P2 ^ P3 .→. C)
P1) Ley
P2) Hecho
.: C
tos
Construcción Aductiva Construcción Análoga
