逻辑演算的一个基本推理规则，也称作modus ponens。有的书中采用modus ponens的缩写，记作MP规则。设A，B表示任意公式，分离规则是说：从前提A→B和A，可推出结论B。分离规则也常用下面的图式表示：
横线上面的公式是前提，横线下面的公式是结论。在自然推理系统中，这个规则常表示成：A→B，A┝B。符号┝表示前提与结论之间的推理关系，┝左边的为前提，右边的是结论。
