Eliminación del implicador o Modus ponens E.I.