En cada uno de los problemas siguientes traduzcase a la forma simbólica y empleando las reglas de inferencia y de validez indique si cada argumento es o no valido1 si llueve entonces ire al cine?

1. - Inferencia o forma de razonamiento : Modus Ponendo Ponens

Variables p : llueve, q : voy al cine.

Forma lógica

Si lleve, entonces voy al cine : p→q

llueve p

entonces voy al ciene ∴ q este razonamiento es válido.

2, - Inferencia o forma de razonamiento : Modus Tollendo Tollens

Variables p : llueve, forma negativa - p : no llueve, q : voy al cine, forma negativa - q : no voy al cine

Forma lógica

Si llueve, entonces iré al cine : p→q

no llueve - p

entonces no voy al cine ∴ - q razonamiento válido

3.

- Inferencia o forma de razonamiento, no está dada

Variables p : me caigo de la bisicleta, q : me golpeo

Forma lógica

Si me caigo de la bisicleta me golpeo : p→q

Estoy golepado q

Entonces me caí de la bisicleta ∴p, forma de razonaiento inválido, pues el estar golpeado puede ser a causa de otro evento.