A
―という推論法則が成り立つこと　と　A→Bが証明できること　は同値である。
B


これは命題論理では正しい。変数条件を気にする必要がないから。
変数条件という制約のある述語論理では正しくない。