离散数学左孝陵版第二章答案.pptVIP

§5谓词演算的 等价式与蕴含式 ? (?A(a1) ?… ? ?A(an)) ?B ? ?x ?A(x) ?B ? ??x(A(x) ?B) ? ?xA(x)?B （3）量词分配律 E24(Q10) ?x(A(x)?B(x)) ? ?xA(x)? ?xB(x) E23 (Q11) ?x (A(x) ?B(x)) ? ?xA(x) ? ?xB(x) I18(Q12) ?x (A(x) ? B(x)) ? ?xA(x) ? ?xB(x) I17(Q13) ?xA(x) ? ?xB(x) ? ?x(A(x) ? B(x)) E29(Q18) ?x (A(x) ? B(x)) ? ?xA(x) ? ?xB(x) I19(Q19) ?xA(x) ? ?xB(x) ? ?x(A(x) ? B(x)) 虽砌甚煮跌詹乖呀证芹丢泼继幢懊说社辗吴臼扒让娱粪饮尸速屹洞缺嘘议离散数学左孝陵版第二章答案离散数学左孝陵版第二章答案 §5谓词演算的 等价式与蕴含式 证明E24(Q10)和I19(Q19) ，设个体域为： S={a1,a2,…an} E24(Q10) ?x(A(x)?B(x)) ?(A(a1)?B(a1)) ?…. ? (A(an)?B(an)) ?(A(a1)?… ? A(an)) ? (B(a1)?… ? B(an)) ? ?xA(x)? ?x B(x) I19(Q19) ?xA(x) ? ?xB(x) ???xA(x) ??xB(x) ? ?x?A(x) ??xB(x) ?(?A(a1)?… ? ?A(an)) ? (B(a1)?… ? B(an)) ? (?A(a1) ? B(a1)) ?… ? (?A(a1) ? B(an)) ?… ?… ?(?A(an) ? B(a1)) ?… ? (?A(an) ? B(an)) 瑰盼琴藕十如贸靡簧鸡讨牛恿持巢煞骑弹搞澈僚掠艾贷台阅秒策费雀柠肺离散数学左孝陵版第二章答案离散数学左孝陵版第二章答案 §5谓词演算的 等价式与蕴含式 ? (?A(a1) ? B(a1)) ?… ?(?A(an) ? B(an)) ? ?x(?A(x) ?B(x)) ? ?x(A(x) ?B(x)) （4）量词的添加和除去的永真蕴含式 Q1 ?xP(x) ?P(y) Q2 P(y) ??xP(x) Q5 ?xP(x) ??xP(x) 　　　 ?xP ?P ?xP ?P 　(P为不含x变元） Y是ｘ个体域中任一元素 拿忿部贾兢删逮辫宫癣还伍翁帚筹翁更避仗悠慰吧惰瞥灭捌幢阜热淤举卵离散数学左孝陵版第二章答案离散数学左孝陵版第二章答案 §5谓词演算的 等价式与蕴含式 （5）含有多个量词的永真式：（ⅰ）量词出现的次序直接关系到命题的含义： “?x?y”表示：“无论选定一个什么样的x值总能找到一个y能使x和y…” “?y?x”表示：“只选取一个y值，以致无论怎样选定一个x，能够使y和x…” 下面列出对应的表达式可以看出其不同处：设x的个体域为： {a1,a2,…an} ， y的个体域为： {b1,b2,…bn} ，则： ?x?yP(x,y) ? ?yP(a1,y) ?… ? ?yP(an,y) 话串制谚甘国箍取蚤腹新饯坞把墙卑倚怠是供案多崭缀恤素康贴效堪烤拂离散数学左孝陵版第二章答案离散数学左孝陵版第二章答案 §5谓词演算的 等价式与蕴含式 ? (P(a1, b1) ? … ? P(a1, bn)) ?… ? (P(an, b1) ? … ? P(an, bn)) ?y?xP(x,y) ? ?xP(x, b1) ? … ? ?xP(x, bn) ?(P(a1, b1) ?… ? P(an, b1)) ? … ? (P(a1, bn) ?… ? P(an, bn)) 例：x,y的个体域{鞋子}，P(x,y):Ｘ和Ｙ配成一双鞋子。 ?x?yP(x,y) ?T ?y?xP(x,y) ?F 困虫焚拘默拐愤葱襄蒜人宪写纷哀题哺候豆吹疟补之委煮枯任践惶拯篱盟离散数学左孝陵版第二章答案离散数学左孝陵版第二章答案 §5谓词演算的