A.

Expresión simbólica:

{(𝒑 → ¬𝒓) ∧ (¬𝒒 → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑 ∧ ¬𝒓)

B. Premisas:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
Conclusión: 𝒑 ∧ ¬𝒓

➢ Proposiciones simples:

P: Sara estudia ética ciudadanía en la universidad

q: Sara paso el curso de lógica diferencial
r: Sara está matriculada en el segundo semestre

➢ Lenguaje Natural:

si Sara estudia ética ciudadanía en la universidad entonces Sara no

está matriculada en el segundo semestre. Sara no paso el curso de
lógica diferencial entonces Sara estudia ética y ciudadanía en la
universidad si Sara estudia ética ciudadanía en la universidad y Sara
no paso el curso de lógica diferencial por lo tanto Sara estudia ética
ciudadanía y Sara no está matriculada en el segundo semestre

➢ Tabla de verdad manual

p r q ¬𝒓 ¬𝒒 𝒑 ¬𝒒 𝒑 {(𝒑 → ¬𝒓) {(𝒑 → ¬𝒓) ∧ (¬𝒒 {(𝒑 → ¬𝒓) ∧ (¬𝒒 →

→ → ∧ ∧ (¬𝒒 → → 𝒑) ∧ (𝒑 ∧ ¬𝒒)} 𝒑) ∧ (𝒑 ∧ ¬𝒒)} → (𝒑
¬𝒓 𝒑 ¬𝒒 𝒑) ∧ ¬𝒓)

V V V F F F V F F F V
V V F F V F V V F F V
V F V V F V V F V V V
V F F V V V V V V V V
F V V F F V V F V V V
F V F F V V F F F V V
F F V V F V V F F V V
F F F v V V F F F V V
 Tabla de verdad Simulador UNAD

➢ Demostración de la validez del argumento mediante las Leyes

de Inferencia:
P1: 𝒑 → ¬𝒓
P2: ¬𝒒 → 𝒑
P3: 𝒑 ∧ ¬𝒒
P4:
P5: