EJERCICIO 4_UNIDAD 1

EJERCICIOS: E

E. Expresión simbólica:

[(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ (𝑝→𝑞)] →(𝑞)

Premisas:

P1: 𝑝∧𝑟
P2: 𝑞∨¬𝑟
P3: 𝑝→𝑞
Conclusión: 𝑞
p: Lucia quiere estudiar en la UNAD
r: Lucia paga su inscripción en la UNAD
q: es admitida en el programa de Psicología

Lucia quiere estudiar en la UNAD y paga su inscripción en la UNAD y es admitida en el

programa de Psicología o no paga su inscripción en la UNAD y Lucia quiere estudiar en la
UNAD entonces es admitida en el programa de Psicología.
Entonces es admitida en el programa de Psicología.

p q r ¬𝑟 (𝑝∧𝑟) 𝑞∨¬𝑟 𝑝→𝑞 (𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧ [(𝑝∧𝑟) ∧ (𝑞∨¬𝑟) ∧

(𝑞∨¬𝑟) (𝑝→𝑞) (𝑝→𝑞)]
V V V F V V V V V V
V V F V F V V F V F
V F V F V F F F F F
V F F V F V F F F F
F V V F F V V F V F
F V F V F V V F V F
F F V F F F F F F F
F F F V F F F F F F

CONTINGENCIA.
• Demostración de la validez del argumento

P1: 𝑝∧𝑟
P2: 𝑞∨¬𝑟
P3: 𝑝→𝑞
Conclusión: 𝑞

P4: p simplificación (1)

P5: q M ponendo ponens (3,4)