taller de deducción natural III

Este taller consiste en demostrar una a una las reglas derivadas de deducción natural. Se le propone un reto: sólo puede usar aquellas reglas que ha demostrado y que puede demostrar. Entre más reglas derivadas demuestre, más reglas podrá usar para resolver ejercicios. Recuerde que las reglas derivadas pueden simplificar considerablemente los procesos de demostración.