EJEMPLO DE DEMOSTRACIÓN USANDO "MP" Y "MT" SIMULTÁNEAMENTE

Dejo el ejercicio resuelto en clase donde se usaron las reglas "Modus Ponens" y Modus Tollens" simultáneamente para verificar si la demostración que se verifica es un argumento válido.

RECUERDA DAR CLICK EN LA IMAGEN PARA VERLA MÁS GRANDE.