El sistema MIU, El sistema mg, Sistemas formales, La equivalencia, La negación, discrepancia, y false, Técnicas de demostración y La disyunción, La conjunción, Usando la Regla dorada, Usando lemas, La implicación, Prueba de teoremas en donde participa la implicación, La Regla de leibniz como axioma, Ejercicios.