c.

Expresión simbólica: [ ( p →q ) ⋀ ( p ∨q ) ⋀ ( ¬q ) ] → ( q )

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

Conclusión: q

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla

bajo una descripción basada en un contexto, el que se solicita es
un contexto académico
p: Estudio Matemáticas
q: Apruebo Matemáticas

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.
Si estudio Matemática, entonces Apruebo Matemática. Estudio
Matemática o Apruebo Matemática. No apruebo Matemática, por
lo tanto Apruebo Matemática

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico
𝑝 𝑞 𝑝∨𝑞(En 𝑞Word,
𝑝 𝑞 Excel
∧ 𝑝∨𝑞 o foto
𝑝 𝑞∧ del
𝑝∨𝑞desarrollo
∧ 𝑞 𝑝 manual).
𝑞 ∧ 𝑝∨𝑞 ∧ 𝑞 𝑞

p q → ¬ ( → ) ( ) ( → ) ( ) (¬ ) [( → ) ( ) (¬ )]→
V V V V F V F V
V F F V V F F V
F V V V F V F V
F F V F V F F V

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

1) p →q
2) p ∨q
3) ¬ q
∴q
4) q ∨ p por Ley conmutativa LC de (2)
5) p Por Modo Tollendo Ponens (MTP) de (4) y (3)
6) q Por Modo Ponendo Ponens (MPP) de (1) y (5)