其實CP規則就是應用了等價式H→(R→P)<=>(H∧R)→P 當你發現結論是R→P的結構，而且看上去不好證明的話，就用CP規則。 就是把R放到左邊的部分，作為一個條件，最後推論得出P。

CP規則即附加前提引入，在最後使用。

1、P規則：就是直接利用推理中給出的前提，即前提引入。T規則：就是由某一個或幾個前提可以透過等價、蘊含得到其他命題公式，即推理規則。

2、I表示在T規則中透過蘊含式推出其他命題公式，即推理規則中的蘊含推理。E表示在T規則中透過等價式推出其他命題公式，即推理規則中的置換規則。

3、CP(Conditional Proof)規則，若證明AB→C, B可作為附加前提引入。通俗點說，就是咱在做證明題時，看到待證結論是B→C這樣的，把B當作前提來用，這就是CP規則。

1、使用P規則，把R當作一般前提（就像S一樣）來使用；但應加以說明：附加前提。2、當推匯出C之後，可直接寫出最後的結論：R→C；這一步的說明是：CP規則。離散數學研究離散量的結構及其相互關係的數學學科，現代數學的一個重要分支。離散的含義是指不同的連線在一起的元素，主要是研究基於離散量的結構和相互間的關係，其物件一般是有限個或可數個元素。