→導入規則
ゲンツェンの自然演繹(NK)の「→導入規則」
演繹規則とも言う
https://gyazo.com/f5361f21d2d08a57d149db6608a1774f
[A]は仮定