¿Cómo se aplica?
Si en algún punto de una deducción aparece una implicación y en algún otro aparece el antecedente de ésta, entonces es legítimo escribir el consecuente al final de la lista. Esto quiere decir, que si A y luego (o antes) A→B podemos escribir B porque se da antes o despues A.
⚠️ Ojo Si aparece B, no se puede escribir que A!
Se suele comentar a la derecha de con el siguiente símbolo E→ y seguidamente la enumeración separado por comas de los enunciados implicados