Está en la página 1de 10

Taller de lógica proposicional

Integrantes: Yethsy Audrey Ramírez Rojas 156104530


Laura Carolina Riobo Saganome 156104531
Nelly Alexandra Sabogal 156104532
Sánchez
Erika Gissela Sáenz Ávila 156104533

Teniendo en cuenta las reglas de inferencia,demuestre la


validez de los siguientes razonamientos:

1. 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.

P= Barcelona gana el partido final


q= Barcelona es el campeón
p1= p⟹q
p2= ~q
~p

P4= ~p MTT P1 Y P2
2. 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.

P= Un numero es divisible entre 2


Q= Un numero es divisible entre 3
R= Un numero es divisible entre 6
P1= p˄q
P2= q⟹r
P3= p⟹~r
∴~q

P4= P SIMPLIFICACION DE P1
P5= Q MPP DE P2 Y P4
P6= ~r MPP DE P3 Y P5

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.

P= Coca-Cola hace promociones intensas


Q= Coca-Cola venderá sus productos
P1= p⟹q
P2= p
∴q

P3= q MPP P1 Y P2
4. 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.

P: Estás preparado
Q: llegarás a la otra orilla
R: seguirás entrenando
𝑝1: p v ~p
𝑝2: p⟹q
P3: ~ p⟹ ~q
P4: p⇒ ~r
∴ r ∧~q

5. 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.

P: los jugadores de fútbol aspiran a su propia grandeza.


q: los jugadores de fútbol decepcionan.
r: los jugadores de fútbol son excelentes.

P1: p ⇒ q
P2: r ⇒ p
P3: ~p ⇒ ~q
-----------------
P4:

6. 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.
P= Las privatizaciones son buenas
q=los políticos no son corruptos
r= en las privatizaciones existe control

(~P v ~q)^ (r⇒ q) ^ p)

P1= ~P ^ ~q
P2= r⇒ q
P3=p
-----------------
~r

7. Si hoy es jueves, mañana es viernes. Mañana no es viernes. Luego, hoy no es


jueves.

P= hoy es jueves
q= mañana es viernes

[(p) ^ (q)] ⇒~q)

p1= p
p2=q
p3=~q
--------
P4= ~p

8. Demuestre: 𝒂
P1: 𝑏 ∨ 𝑎
P2: 𝑏 ⇒ 𝑐
P3: 𝑐 ⇒ (𝑑 ∧
𝑒) P4: 𝑒 ∧ 𝑑 ⇒
𝑓 ∨ 𝑔P5: 𝑏 ⇒
~(𝑔 ∨ 𝑓)

P6: a simplificación p1
P7: b MPP P1 Y P6
P8: d^e simplificación P2 Y P3
P9: f v g MPP P4 Y P5
P10: C MPP P8 Y P3
P11: A MPP P7 Y P1

9. Demuestre: 𝒔 ∧ 𝒕
P1: ~ (𝑝 ∨ ~ 𝑟)
P2: 𝑞 ∨ 𝑝
P3: 𝑟 ⇒ 𝑠
P4: (𝑞 ∧ 𝑠) ⇒ (𝑡 ∧ 𝑠)

P5: P MTT P1 Y P2
P6: q simplificación P2 Y P5
P7: t ^ s adjunción p3 y p4
P8: s v t conmutativa
Demuestre la validez del siguiente razonamiento. (SUGEREncia: Use eQUIValencias
TAUTOLÓGICas).

10.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.
11.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.
P: estudio.
q: aprenderé.
r: aprobare el curso.
s: practico tenis.

𝑝1: 𝑝 ⇒ 𝑞
𝑝2: 𝑞 ⇒ 𝑟
𝑝3 ∶ 𝑠 ∨ ∼ 𝑠
𝑝4: ∼ 𝑟

𝑝5: 𝑝 ⇒ 𝑟 MTT p1 & p2


𝑝6: 𝑝 MTP p5 & p4
𝑝7 ∶ 𝑠 equivalencia de p3

Entonces una conclusión válida es:


a) Estudio
b) No estudio
c) Apruebo el curso
d) Aprendo
e) Si estudio, no aprenderé.

12. Encuentre una conclusión válida para el siguiente conjunto de premisas:


P1: ~ (𝑝 ∨ 𝑠)
P2: 𝑞 ⇒ 𝑝

P3: ~ 𝑝 ∧ ~𝑠 Equivalencia de p1
P4: ~ 𝑝 Simplificación de p3
P5: q MTP p2 & p4
P6: ~𝑠 Simplificación de p3
P1: ~ (𝑝 ∨ 𝑠)
P2: 𝑞 ⇒ 𝑝
∴ 𝑞

13.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.
t: los profesores de la Universidad de los llanos es un prestigioso centro
educativo.

P1: p ⇒ q
P2: r ⇒ s
P3: s ⇒ t
∴ 𝑞

14. Demuestre, por dos métodos diferentes, que la conclusión siguiente es válida:
P1: p⇒ q
P2: r ⇒ q
C: (p V r) ⇒ q
UNIVERSIDAD DE LOS LLANOS
FACULTAD DE CIENCIAS ECONÓMICAS
ESCUELA DE ADMINISTRACIÓN Y NEGOCIOS
PROGRAMA ADMINISTRACIÓN DE EMPRESAS

15. Demuestre: r Λ q.

P1: p ˅ q
s → (q ˄
P2: r)
P3: p → s
P4: q → s
P5: p → q SH P3yP4
(q ˄ r) →
P6: p SH P3yP2
q → (q ˄
P7: r) SH P5 y P6
P8: q S P1
C: q ˄ r MPP P7 y P8

16.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
Q: aprendo Matemática
R: copio los deberes
S: estudio música
T: estudio ajedrez

P1: p → q
P2: p → ~r
P3: r
P4: ~p → (s ˅ t)
∴ t
UNIVERSIDAD DE LOS LLANOS
FACULTAD DE CIENCIAS ECONÓMICAS
ESCUELA DE ADMINISTRACIÓN Y NEGOCIOS
PROGRAMA ADMINISTRACIÓN DE EMPRESAS

17.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.

P: practicar algún deporte


Q: mejora la circulación
R: mejora la oxigenación
S: neuronas reciben mayor oxígeno
T: capacidad de aprender es mayor

P1: p → q
P2: q → r
P3: r → s
P4: s → t
∴ p→t

18.Demuestre la siguiente equivalencia tautológica usando las leyes del álgebra

de proposiciones:

a. {(𝑝 ⇒ 𝑞) ⇒ 𝑟} ⇒ 𝑝 ≡ 𝑟 ⇒ 𝑝 condicional

[(~𝑝 𝑉 𝑞) ⇒ 𝑟} ⇒ 𝑝 condicional

[(~𝑝 𝑉 𝑞) v 𝑟} ⇒ 𝑝 asociativa

~𝑝 𝑉 (q v r) ⇒ 𝑝 complentación

𝑝 𝑉 (q v r) ⇒ 𝑝
UNIVERSIDAD DE LOS LLANOS
FACULTAD DE CIENCIAS ECONÓMICAS
ESCUELA DE ADMINISTRACIÓN Y NEGOCIOS
PROGRAMA ADMINISTRACIÓN DE EMPRESAS

b. (~𝑝 𝑉 𝑞) 𝛬 (~𝑞 𝑉 ~𝑝) ≡ ~𝑝 distributiva

También podría gustarte