离散数学中的CP规则，是怎么运用的啊？

运用方法就是：

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