全站数据
8 4 2 0 5 8 1

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

读书学习舍 | 教育先行,筑梦人生!         
问题更新日期:2024-05-14 01:36:46

问题描述

离散数学中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永真即可.