CP法则是（什么是cp规则怎么用）

CP法则，全称Carnap-Putnam Rule，是卡尔纳普-普特南规则的缩写，是数学证明中的一个重要规则。

它是指在证明中，若证明AB→C，则可以将B作为附加前提引入，即在证明中使用B作为前提来证明AB→C。

前提是H1,H2,...,Hn,欲证结论R→P(结论是条件式),则将条件式作为附加前提证得P即可,这就是CP规则.

设H=H1∧H2∧...∧Hn,由前提H证明R→P,即证明H→(R→P)永真,而H→(R→P)等价于H∧R→P,因此证明H∧R→P永真即可.