离散数学命题公式的消解法一问定义2.8 C1∧C2约等于Res（C1,C2）证 记C=Res(C1,C2),设消解文字为

离散数学命题公式的消解法一问
定义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'?这个到底是什么东西?
wp2592137 1年前 已收到2个回答 举报
赞

hqs007 幼苗

共回答了25个问题采纳率：96% 举报

4．组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理 5．数理逻辑部分：命题逻辑、一阶谓词演算、消解原理 离散数学 离散数学 ..

1年前

6

视君如命 幼苗

共回答了1个问题 举报

l‘ 就是除了 l 和lc以外的随意的命题变项。
假设C1=p∨q,C2=非p∨r.
l=p=1,lc=非p=0,所以C1=1，C2=r
所以C1∧C2=1∧r=r
要是C1∧C2可满足，即r=1
这里r就可以看成l'
l'=1
消解l和lc得 Res(C1,C2)=q∨r=q∨l'=1
即C1∧C2约等于Res(C1,C2)

1年前

5
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 0.022 s. - webmaster@yulucn.com