離散數學中的CP規則，是怎麼運用的啊

1樓：匿名使用者

運用方法如下：

1、使用p規則，把r當作一般前提（就像s一樣）來使用；但應加以說明：附加前提。

2、當推導出c之後，可直接寫出最後的結論：r→c；這一步的說明是：cp規則。

離散數學研究離散量的結構及其相互關係的數學學科，現代數學的乙個重要分支。離散的含義是指不同的連線在一起的元素，主要是研究基於離散量的結構和相互間的關係，其物件一般是有限個或可數個元素。

2樓：良弘壯符宜

先說一下，即使不用cp規則，只用p規則和t規則（即直接證明法）也可以實現所有證明。引入cp規則，只是為了簡化證明過程。不過cp規則的適用範圍不像p、t規則那樣具有普遍性——當被證明的結論本身是乙個條件復合命題時，才會用到cp規則。

其內容是：

若要證明：(s)=>(r→c)；——s是前提，r→c是結論；

只需證明：(s∧r)=>(c)；——即：把r當作附加的前提，引入推理過程；

具體運用方法就是：

（1）使用p規則，把r當作一般前提（就像s一樣）來使用；但應加以說明：附加前提；

（2）當推導出c之後，可直接寫出最後的結論：r→c；這一步的說明是：cp規則；

需要注意：單純來看（2）中的這一步推理，其實從c到r→c是可以直接推出的。【c=>r→c】本身就是乙個重言蘊含式（也就是推理公式），在直接證明法中可直接使用t規則完成這一步的推理。

但是，在這裡是不行的。

因為，推導c的過程中我們用到了r這一前提，但這個前提不是用純正的p規則引入的。r是作為「附加前提」引入的。可以說，c這個中間結論（以及所有借助r推出的中間結論）並不是純正的結論。

事實上，這個中間結論可能根本就是個假命題。——雖然這並不影響我們的最終推理，因為我們的目標並不是c，而是r→c，但是，這種情況在直接推理中是絕對不允許的：在直接推理中，包括中間結論在內的每一步都必須是真命題。

這也就是cp規則與p、t規則的區別所在。所以，在這樣的推理中，必須對cp規則的使用作出說明。

如上所說，cp規則的使用被分成了（1）、（2）兩部分。這兩部分所依據的規則都與純正的p、t規則不同，所以都應作出特殊的說明。至於具體的措辭，還是參照你教材上的說法吧。

我這裡用的也是一本書上的說法，不過可能和你的教材不一樣。