a.

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

Premisas:
P1: p →¬ q
P2:q ∨ ¬r
P3:r
Conclusión: ¬ p

 
q: Todo lo que es bueno es caro.              
p: Todo es bueno,
r:Todo es caro.

DESARROLLO

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

Todo lo que es bueno es caro entonces todo no es bueno y todo es bueno o todo no es caro y
todo es caro entonces todo lo que es bueno no es caro

• Generar una tabla de verdad con el simulador Lógica UNAD 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 r (~q) (p→(~q)) (~r) (qv(~r)) (~p) [(p→¬q)∧(q∨¬r)∧r]→¬p

F F F V V V V V V
F F V V V F F V V
F V F F V V V V V
F V V F V F V V V
V F F V V V V F V
V F V V V F F F V
V V F F F V V F V
V V V F F F V F V

Resultado de la tabla de verdad: TAUTOLOGIA