>>671
[A] とは、演繹操作の上では演繹に使用した仮定のうち A を除去することを示します

A, B, C, D, ... から結論 Z を得たとき、f(A, B, C, D, ... )->Z

これから A->Z に演繹するときには

B, C, D, ....
--------
A->Z

いいかえると
f(B, C, D, ... ) -> (A->Z)

とします