C.

Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:

P1: 𝑝 → ¬𝑞

P2: 𝑞 ∨ ¬𝑟

P3: 𝑟

Conclusión: ¬ p

Lenguaje simbólico:

p. Sofia es estudiante de psicología.

q. Sofia es estudiante de la UNAD.

r. Juan está matriculado en epistemología de la piscología.

Lenguaje natural:

Si Paula es estudiante de la Unad entonces no asiste de forma presencial a la

universidad. Si asiste de forma presencial a la universidad,

entonces, Paula no tiene clase todos los días. Paula tiene clase todos los días

Ley de inferencia: Modus pollendo ponens

Demostración de las leyes de inferencia

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

P1 𝑝 → ¬𝑞: Si P entonces ¬q

P2 𝑞 ∨ ¬𝑟: Si q o ¬r

P3: r

conclusión ¬q
 TABLA DE VERDAD MANUAL

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

p q r → ¬𝑝

V V F V V V

V V V V V V

V F F F F V

V F V F V V

F V F V V V

F V V V V V

F F F V F F

F F V V V V

DISYUNCION

Tabla de verdad simulador