分离规则

分离规则(modus ponens, rule of detachment)指证明论中一个常见于各种推理系统的推理规则，即[math]\displaystyle{ \phi, \phi \rightarrow \psi \vdash \psi }[/math]。

在 Hilbert 系统中通常称为 MP规则(MP rule)，
在自然演绎系统中对应蕴含消除（[math]\displaystyle{ \rightarrow }[/math]-elim）。
这一规则对应的重言式是肯定前件式 [math]\displaystyle{ \phi \land (\phi \rightarrow \psi) \rightarrow \psi }[/math] 。

分离规则是保存真实性的，得到的结论和两个前提对应赋值下真值不会改变。