离散数学中CP规则内容是什么啊？

前提是H1,H2,...,Hn,欲证结论R→P(结论是条件式),则将条件式作为附加前提证得P即可,这就是CP规则.

设H=H1∧H2∧...∧Hn,由前提H证明R→P,即证明H→(R→P)永真,而H→(R→P)等价于H∧R→P,因此证明H∧R→P永真即可.

扩展资料:

什么是离散数学

离散数学是研究离散量的结构及其相互关系的数学学科，离散数学是数学几个分支的总称，研究基于离散空间而不是连续的数学结构。更一般地，离散数学被视为处理可数集合（与整数子集基数相同的集合，包括有理数集但不包括整数集）的数学分支。与光滑变化的实数不同，离散数学的研究对象———例如整数、图和数学逻辑中的命题———不是光滑变化的，而是拥有不等、分立的值。离散数学中的对象集合可以是有限或者是无限的。特别是，有限数学一词通常指代离散数学处理有限集合的那些部分，特别是在与商业相关的领域。包括基本的概率论、线性规划、矩阵和行列式的理论。