¿Cómo se aplica?
Para poder escribir A → B hay que abrir una subdeducción encabezada por A (hipótesis) y continuar, en el ámbito de esta subdeducción, hasta llegar al enunciado B. Cuando en la subdeducción se llega a B, entonces A → B ya se puede escribir, pero ahora fuera del ámbito de la subdeducción.
Cuando se ha vuelto al nivel inmediatamente anterior al de la subdeducción, ésta queda clausurada y no es posible utilizar ninguno de los enunciados que contiene. El enunciado A → B sí que podrá ser utilizado porque no forma parte de la subdeducción que ha permitido obtenerlo.
Se suele comentar a la derecha de con el siguiente símbolo I→ y seguidamente la enumeración separado por comas de los enunciados implicados