问题标题：
【离散数学cp怎么理解】
问题描述：
离散数学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永真即可.
点击显示
数学推荐
热门数学推荐