CP规则，全称Carnap-Putnam Rule，是 在数学证明中引入附加前提的一种方法。具体来说，如果在证明过程中需要证明A⇒B￫C，那么可以引入B作为附加前提，从而得到A∧B⇒C。这个规则也被称为条件证明规则（Conditional Proof Rule）。
此外，CP规则还可以理解为将已知的一个或多个命题通过逻辑运算合成一个新的命题。例如，在离散数学中，可以使用P规则将R作为一般前提（如S）来使用，并在导出C后直接写出结论R￫C。
总之，CP规则是一种在数学证明中非常有用的技巧，它可以帮助简化证明过程，使得证明更加清晰和简洁。