Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Argumentos para el desarrollo del ejercicio.

a. Si trabajo entonces tendré dinero. No tengo dinero.
Conclusión: No trabajo (~p)
Ley de inferencia aplicada: Modus Ponens
Lenguaje simbólico: (p→q) ~q
p: Si trabajo
q: Tendré dinero
~q: No tengo dinero

P1: (p→q)
P2: ~q
p→q
~q_____
~p