TALLER DE LÓGICA PROPOSICIONAL
CARLOS ANDRES MANCHOLA
156004525
ASHLEY JAHEL NAVARRO
156004528
JESUS GUILLERMO CARDOZO
156004503
TENIENDO EN CUENTA LAS REGLAS DE INFERENCIA, DEMUESTRE LA VALIDEZ DE LOS
SIGUIENTES RAZONAMIENTOS:
Si Barcelona gana el partido final, entonces, Barcelona es el campeón, pero Barcelona
no es el campeón entonces Barcelona no ganó el partido final.
PREMISAS:
Premisa 1: Si Barcelona gana el partido final, entonces, Barcelona es el campeón.
Premisa 2: Barcelona no es campeón.
SIMBOLOGIA
P: Barcelona gana el partido final.
q: Barcelona es el campeón.
P1: p → q
P2: ˜q
˜p
P3: ˜p MTT P1 y P2
Premisa 3 (RESPUESTA): Barcelona no ganó el partido final.
Si un número es divisible entre 2 y entre 3, es divisible entre 6. Entonces, si un número
es divisible entre 2 pero no entre 6; no es divisible entre 3.
PREMISAS:
Premisa 1: Si un número es divisible entre 2 y entre 3, es divisible entre 6.
Premisa 2: un número es divisible entre 2 pero no entre 6
SIMBOLOGÍA:
p: Un número es divisible entre 2
q: Un número es divisible entre 3
r: Un número es divisible entre 6
P1: (p Λ q) → r
P2: (p Λ ˜r)
˜q
P3: ˜q Simplificación P2
P4: ˜r Simplificación P2
P5: ˜ (p Λ q) MTT P1 y P4
P6: ˜ p V ˜ q Ley Morgan
P7: ˜ q MTP P6 y P3
Premisa 3(RESPUESTA): no es divisible entre 3
Si Coca-Cola hace promociones intensas, entonces, venderá su producto. Ya que Coca Cola hace promociones
intensas por lo tanto Coca Cola venderá su producto
PREMISAS:
Premisa 1: Si Coca-Cola hace promociones intensas, entonces, venderá su producto.
Premisa 2: Coca Cola hace promociones intensas
SIMBOLOGIA:
P: Coca-Cola hace promociones intensas
q: Coca-Cola venderá su producto
P1: p → q
P2: p
q
P3: q MPP P1 y P2
Premisa 3 (RESPUESTA): Coca Cola venderá su producto
.
Estás preparado o no lo estás. Si estás preparado llegarás a la otra orilla. Si no estás
preparado no llegarás a la otra orilla. Si estás preparado no seguirás entrenando. Por
lo tanto, seguirás entrenando siempre y cuando no llegues a la otra orilla.
PREMISAS:
Premisa 1: Estás preparado o no lo estás
Premisa 2: Si estás preparado llegarás a la otra orilla
Premisa 3: Si no estás preparado no llegarás a la otra orilla
SIMBOLOGÍA:
p: Estás preparado
q: Llegarás a la otra orilla
r: Seguirás entrenando
P1: p v ˜p
P2: p → q
P3: ˜p → ˜q
r↔˜q
Premisa 4 (RESPUESTA): Seguirás entrenando siempre y cuando no llegues a la otra
orilla.
Si nuestros jugadores de fútbol aspiran a su propia grandeza nos decepcionan. Si son excelentes,
aspiran su propia grandeza. Si no lo son, causan nuestra decepción. Por tanto, nuestros
jugadores de fútbol nos decepcionan.
PREMISAS:
Premisa 1: Si nuestros jugadores de fútbol aspiran a su propia grandeza nos decepcionan
Premisa 2: Si son excelentes, aspiran su propia grandeza
Premisa 3: Si no lo son, causan nuestra decepción.
.
SIMBOLOGÍA:
p: Nuestros jugadores de fútbol aspiran a su propia grandeza
q: Nuestros jugadores de fútbol nos decepcionan
r: Nuestros jugadores de fútbol son excelentes
P1: p → ˜q
P2: r → p
P3: ˜r → ˜q
˜q
P4: r MTT P3
P5: p MPP P2 y P4
P6: ˜q MPP P1 y P5
Premisa 4 (RESPUESTA): Nuestros jugadores de fútbol nos decepcionan
Las privatizaciones son malas o los políticos son corruptos. Si existiera control,
entonces, los políticos no serían corruptos. Las privatizaciones son buenas. Por lo
tanto, no hay control.
PREMISAS:
Premisa 1: Las privatizaciones son malas o los políticos son corruptos
Premisa 2: Si existiera control, entonces, los políticos no serían corruptos
Premisa 3: Las privatizaciones son buenas
SIMBOLOGÍA:
p: Las privatizaciones son malas
q: los políticos son corruptos
r: Existe control
P1: ˜p v q
P2: r → ˜q
P3: p
˜r
P4: q MTTP P1 y P2
P5: ˜r MTT P2 y P4
Premisa 4 (RESPUESTA No hay control.
Si hoy es jueves, mañana es viernes. Mañana no es viernes. Luego, hoy no es jueves.
PREMISAS:
Premisa1: Si hoy es jueves, mañana es viernes
Premisa2: Mañana no es viernes
SIMBOLOGÍA:
p: Hoy es jueves
q: Mañana es viernes
P1: p → q
P2: ˜q
˜p
P3: ~p MTT P1 y P2
Premisa 3 (RES`PUESTA): Hoy no
es jueves
DEMUESTRE:
P1: ∨
P2: ⇒
P3:⇒(∧)
P4:∧⇒∨
P5: ⇒~( ∨ )
P6: b ⇒ ( ∧ ) SH P2 y p3
P7: b ⇒ ∨ SH P6 y P4
P8: ~ ⇒ Ley condicional P1
P9: b MPP P4 y P5
P10: a MTT P8 y P9
INVÁLIDO
DEMUESTRE:
P1:~( ∨~ )
P2: ∨
P3: ⇒
P4:( ∧ )⇒( ∧ )
P5: ˜p Λ
r Morgan P1
P6: r Simplificación P5
P7: s MPP P3 y P6
P8: ˜p → q Condicional P2
P9: ˜p Simplificación P5
P10: q MPP P8 y P9
P11: q Λ s Adjunción P10 y P7
P12: t Λ s MPP P4 y P11
P13: s Λ t Conmutativa P12
DEMUESTRE LA VALIDEZ DEL SIGUIENTE RAZONAMIENTO. (SUGERENCIA: USE
EQUIVALENCIAS TAUTOLÓGICAS).
Si Juan gana, entonces, Luis o Esteban serán segundos. Si Luis es segundo,
entonces, Juan no ganará. Si Pedro es segundo, entonces, Esteban no será segundo.
Por tanto, Si Juan gana, entones Pedro no será segundo.
PREMISAS:
Premisa 1: Si Juan gana, entonces, Luis o Esteban serán segundos
Premisa 2: Si Luis es segundo, entonces, Juan no ganará
Premisa 3: Si Pedro es segundo, entonces, Esteban no será segundo
SIMBOLOGÍA:
p: Juan gana
q: Luis será segundo
r: Esteban será segundo
s: Pedro es segundo
Premisa 4 (RESPUESTA): Si Juan gana, entones Pedro no será segundo
p q r s (qvr) ((p p (q r (s s (p→ s ) (p (p (p
→(qvr )¿ → p¿ → r¿ → ( qvr ) μ→ ( qvr ) μ ( → ( qvr ) μ (
(q q q
→ p ¿ → p ¿ μ( s →→r) p ¿ μ( s → r)
)→ ¿)
V V V V V V F F F F F F F F V
V V V F V V F F F V V V F F V
V V F V V V F F V V F F F F V
V V F F V V F F V V V V F F V
V F V V V V F V F F F F F F V
V F V F V V F V F V V V V V V
V F F V V F F V V V F F F F V
V F F F V F F V V V v V F F V
F V V V V V V V F F F V V F V
F V V F V V V F F V V V F F v
F V F V V V V V V V F V V V V
F V F F V V V F V V V V F F V
F F V V V V V V F F F V V V v
F F V F V V V V F V V V V V V
F F F V V F V V V V F V F F V
f f f f f f v v v V v v f f v
La afirmación es valia
Dadas las premisas:
P1: Si estudio, aprenderé.
P2: Si aprendo, aprobaré el curso.
P3: O práctico tenis o no práctico tenis
P4: No apruebo el curso.
Simbología:
p: Estudio
q: Aprenderé
r: Aprobaré el curso
s: Practico tenis
P1: p → q
P2: q → r
P3: s v ˜s
P4: ˜r
P5: p → r SH P1 y P2
P6: ˜p MTT P5 y P4
P7: v Ley de complementación P3
P8: ˜p Λ V Adjunción P6 y P7
P9: ˜q Ley de identidad P8
RESPUESTA: NO ESTUDIO
Entonces una conclusión válida es:
a) Estudio
b) No estudio X
c) Apruebo el curso
d) Aprendo
e) Si estudio, no
aprenderé.
Encuentre una conclusión válida para el siguiente conjunto de premisas:
P1:~( ∨ ) ) p3: ~p ˄ ~ s Morgan
P2: ⇒ p4: ~p simplificación de p3
p5: modus ponens de p2 & p4
p2: q ⇒ p
P4: ~p
∴ ~q
Si la Universidad de los Llanos es un prestigioso plantel, entonces, prepara excelentes
estudiantes. Los profesores de la Universidad de los Llanos no son gordos, pero están
bien preparados. Si los profesores de la Universidad de los Llanos están bien
preparados, entonces es un prestigioso centro educativo. Luego, la Universidad de los
Llanos prepara excelentes estudiantes.
P: la universidad de los llanos es un prestigioso plantel
q: la universidad de los llanos prepara excelentes estudiantes
r: los profesores de la universidad de los llanos son gordos
s: los profesores de la universidad de los llanos están bien preparados
p1: p⇒ q p4 : s simplificación de p2
p2: ~r ˄ s p5: p MPP p3 & p4
p3: s ⇒p p6: q MPP p1& p5
∴ q
DEMUESTRE QUE LA CONCLUSIÓN SIGUIENTE ES VÁLIDA:
P1: p⇒ q
P2: r ⇒ q
C: (p V r) ⇒ q
P Q R p Vr p⇒ q r⇒q p⇒q˄ r⇒q (p Vr) ⇒ q (p⇒q)˄ (r⇒q)⇒ (p Vr) ⇒ q
V V V V V V V V V
V V F V V V V V V
V F V V F F F F V
V F F V F V F F V
F V V V V V V V V
F V F V V V V V V
F F V F V F F F V
f F F v V v v v V
DEMUESTRE: R Λ Q.
P1: p V q
P2: s ⇒ q Λ r
P3: p ⇒ s
P4:q⇒ s
P5: s v s DC P1, P3, P4
P6: s LEY DE IDEMPOTENCIA P5
P7: q Λ r MPP P2 & P6
P8: r Λ q
Conmutativa p7
Si aprendo lógica, entonces, aprendo Matemática. Si aprendo Matemática,
entonces, no copio los deberes. Sin embargo, copio los deberes. Si no
aprendo lógica, entonces, estudio música o ajedrez. Por lo tanto, estudio
ajedrez.
P: aprendo lógica p1: p⇒q p5: p⇒~ r (SH)
P1 & P2
q: aprendo matemáticas p2: q⇒~r P6: ~p MTT P5&
P3
r: copio los deberes p3: r P7: ~p⇒ t
simplificación p4
s: estudio música p4: ~p⇒ (sV t) p8: ~p⇒ t MTT
P7&P6
t: estudio ajedrez ∴ t ~p
∴t
Si practicas algún deporte mejora tu circulación
Sanguínea. Si mejora tu circulación, mejora tu oxigenación. Si mejora tu oxigenación, tus
neuronas reciben mayor oxígeno. Si tus neuronas reciben mayor oxígeno, tu capacidad de
aprender es mayor. Por tanto, si haces deporte tienes mayor capacidad de aprender.
Premisas:
Premisa 1: si practicas algún deporte mejora tu circulación sanguínea.
Premisa 2: si mejora tu circulación, mejora tu oxigenación
Premisa 3: Si mejora tu oxigenación, tus neuronas reciben mayor oxígeno.
Premisa 4: Si tus neuronas reciben mayor oxígeno, tu capacidad de aprender es mayor
Premisa 5 (conclusión): si haces deporte tienes mayor capacidad de aprender.
Simbología:
p: practicar algún deporte
q: mejora tu circulación sanguínea
r: mejora tu oxigenación
s:tus neuronas reciben mayor oxígeno
t: tu capacidad de aprender es mayor
P1: p ⇒ q
P2: q ⇒ r
P3: r ⇒ s
P4: s ⇒ t
p⇒t
P5: p ⇒ t SH (P1, P2, P3, P4)
Demuestre la siguiente equivalencia tautológica usando las leyes del
álgebra de proposiciones:
a. {(⇒)⇒}⇒≡⇒
{(⇒)⇒}⇒ Condicional
≡ ~{~(~) } Morgan
≡~{( ~) } Morgan
≡{~( ~) ~} Morgan
≡[(~) ~] Distributiva
≡(~)(~) Asociativa
≡ (~ p) q (~ ) Complemento
≡ V q (~ ) Identidad
≡V(~ ) Identidad
≡(~ ) Condicional
b. (~) (~~)≡~
(~)(~~) Distributiva Inversa
~p ( ~ ) Complemento
~p F Identidad
~p
≡ ⇒
