cp规则是什么?
发布网友
发布时间：2022-05-29 15:13
共1个回答
热心网友
时间：2023-06-22 15:38
CP规则即附加前提引入，在最后使用。
CP(Conditional Proof)规则，若证明AB→C, B可作为附加前提引入。通俗点说，就是咱在做证明题时，看到待证结论是B→C这样的，把B当做前提来用，这就是CP规则。即证明AB→C，等同证明 A∧BC。
P规则：就是直接利用推理中给出的前提，即前提引入。
T规则：就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式，即推理规则。
I表示在T规则中通过蕴含式推出其他命题公式，即推理规则中的蕴含推理。
E表示在T规则中通过等价式推出其他命题公式，即推理规则中的置换规则。
