Ejercicio 4: Problemas de aplicación

A. Expresión simbólica:
[ (p →r) ∧ (∼r ∧ q) ]→ ∼p

Premisas:
P1: p →r
P2: ∼r ∧ q
Conclusión: ∼p

Proposiciones simples:
P: Heidy estudia contaduría publica
q: Heidy paso el curso de pensamiento lógico y matemático
r: Heidy es del periodo 16-04

Lenguaje Natural:
Heidy estudia contaduría pública entonces Heidy es del periodo 16-04 y Heidy no
es del periodo 16-04 y Heidy paso el curso de pensamiento lógico y matemático,
entonces Heidy no estudia contaduría pública.

Tabla manual

p q r ∼p ∼r P →r ∼r ∧ q (p→ r) ∧ (∼r ∧ q) [(p→ r) ∧ (∼r ∧ q) ] →∼p

V V V F F V F F V
V V F F V V V V V
V F V F F F F F V
V F F F V F F F V
F V V V F V F F V
F V F V V V V V V
F F V v F V F F V
F F F V V V F F V

Tabla de verdad simulador UNAD

 p q r ((p→r)∧(~r∧q))→~p
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V
Demostración de la validez del argumento mediante las
Leyes de Inferencia:

P1: p →r
P2: ∼r ∧ q

P3: ∼q Modus Tollendo Tollens entre P1 y P2