搜狗做题网离散数学命题公式的消解法一问
来源：学生作业帮 编辑：搜狗做题网作业帮 分类：数学作业 时间：2024/07/30 16:01:18
离散数学命题公式的消解法一问
定义2.8 C1∧C2约等于Res（C1,C2）
证 记C=Res(C1,C2),设消解文字为l,lc,不妨设C1=C1‘∨l,C2=C2‘∨lc,于是C=C1‘∨C2‘
假设C1∧C2是可满足的,α是满足他的赋值,不妨设a（l）=1,由于α满足C2,C2必然含有文字l'≠l且α(l')=l,而C中含有l',故α满足C
为什么第二段里出现了个l'?这个到底是什么东西?
定义2.8 C1∧C2约等于Res（C1,C2）
证 记C=Res(C1,C2),设消解文字为l,lc,不妨设C1=C1‘∨l,C2=C2‘∨lc,于是C=C1‘∨C2‘
假设C1∧C2是可满足的,α是满足他的赋值,不妨设a（l）=1,由于α满足C2,C2必然含有文字l'≠l且α(l')=l,而C中含有l',故α满足C
为什么第二段里出现了个l'?这个到底是什么东西?
4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理 5．数理逻辑部分：命题逻辑、一阶谓词演算、消解原理 离散数学 离散数学 ..