Introducción del implicador o teoría de la deducción I.I.