generated at
→導入規則
ゲンツェンの自然演繹(NK)の「→導入規則」
演繹規則とも言う

[A] は仮定