La tarea consiste en la aplicación de las reglas de equivalencia y leyes de inferencia. Ud.

debe plantear
y describir un argumento, representarlo de manera simbólica y aplicando leyes y reglas de inferencia
demostrar su validez.

“Si Brasil recibió la Copa América de futbol, entonces el deporte de Brasil es reconocido. Si Brasil no
recibió la Copa América de futbol, entonces el futbol de Brasil no es reconocido”

PREMISA 1 Si Brasil recibió la Copa América de futbol, entonces el deporte de Brasil es

reconocido.
PREMISA 2 Brasil no recibió la Copa América de futbol.
CONCLUSION El futbol de Brasil no es reconocido.

Regla de inferencia: Modus Tollendo Tollens

1. 𝑝→𝑞
2. ~𝑝
3. ∴ ~𝑞

Demostrémoslo ahora a través de la tabla de verdad desarrollada en su proposición condicional

correspondiente.

p q 𝑝→𝑞 𝑞Λ𝑝 ~𝑝 ~𝑝 → ~𝑝 ~𝑞
V V V F F V F
V F F F F V V
F V V V V F F
F F V V V V V

Como se puede observar, el resultado final es una contingencia por lo que se demuestra su no validez.