DEMOSTRACIONES CON "MP" Y "MT" CON 4 Y 5 PREMISAS - 4010, 4020

Les dejo los ejercicios de clase usando dos reglas de inferencia simultáneamente: Modus Ponens (MP) y Modus Tollens (MT)

Recuerda dar click en la imagen para verla más grande