命题逻辑演绎的cp规则是什么（cp在名字前和在名字后有什么区别）

1、附加前提规则，如果从给定前提集合Γ与公式p（附加前提）中推出结论s，则给定前提Γ，能推出p蕴含s:

1、使用P规则，把R当作一般前提（就像S一样）来使用；但应加以说明：附加前提。

2、当推导出C之后，可直接写出最后的结论：R→C；这一步的说明是：CP规则。