generated at
Modus Ponens
モーダスポネンス_, 分離規則_
ゲンツェンの自然演繹(NK)の「→除去規則」のこと
「前件肯定式」などともいう
\frac{A\rightarrow B\quad A}{B}(\rightarrow E)