分离规则

分离规则
术语名称	分离规则
英语名称	modus ponens
别名	mp, mp rule, rule of detachment

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

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

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