Teniendo esta expresión Simb: [(p→¬q)∧(q∨¬r)∧r]→¬p

Premisas:

P1: p→¬q
P2: q∨¬r
P3: r

Conclusión: ¬p


1. Definir las proposiciones simples bajo un contexto académico

Ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

3. Demostración de la validez del argumento mediante las leyes de la inferencia lógica