Sobre la correspondencia de la introducción a la izquierda y la eliminación de la implicación en el cálculo secuencial y en la deducción natural resp.

¿Podría alguien dar una explicación intuitiva ( no intuitiva) de la correspondencia de la introducción a la izquierda y la eliminación de la implicación en el cálculo secuencial (SC) y la deducción natural (ND) respectivamente? Sé que deberían hacerlo por la simetría de SC pero no veo cómo se...