Ejercicio 4: Problemas de aplicación

A continuación, encontrará los argumentos para el desarrollo del

ejercicio 2:

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

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

Proposiciones simples
Premisas:
p: Carlos estudia Zootecnia en la UNAD
q: La UNAD es una Universidad Pública
r: Andrés estudio veterinaria en la UNAD

Razonamiento en el lenguaje natural

Si Carlos estudia Zootecnia en la UNAD entonces la UNAD no es

una universidad pública. La UNAD es una universidad pública o
Andrés no estudio veterinaria en la UNAD, y Andrés estudio
veterinaria en la UNAD. Por lo tanto, Carlos no estudia Zootecnia
en la UNAD
 Tabla de verdad elaborada manualmente

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

V V V F F F V F F F V

V V F F F V V F F F V

V F V F V F F V F F V

V F F F V V V V V F V

F V V V F F V V V V V

F V F V F V V V V F V

F F V V V F F V F F V

F F F V V V V V V F V

Resultado de la tabla de verdad: Tautología

Tabla de verdad con el simulador Lógica UNAD