原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学Data_G_
3.3.6 谓词公式的类型 3.3 谓词公式及其解释 1)谓词公式的类型 永真式—如果谓词公式对于其个体域中的任意解释(指派)都为真。 永假式—如果谓词公式对于其个体域中的任意解释(指派)都为假。 可满足式—如果谓词公式对于其个体域中的至少有一个解释(指派)为真。 3.3.6 谓词公式的类型 3.3 谓词公式及其解释 2)谓词公式的类型判断 命题公式的类型，由于其命题变元的个数有限，我们至少可以通过列真值表的方法来说明其类型。 谓词公式的类型判断是相当复杂的，这是因为对于特定个体域，谓词公式的解释是无穷的，故证明谓词公式的类型是相当困难的真。 但下述结论的正确性是非常明显的： 若某命题公式是永真（永假）的，将其中的命题变元换成任意的谓词公式得到的谓词公式（称为代换实例）都会是一个永真（永假）谓词公式。 3.3.6 谓词公式的类型 3.3 谓词公式及其解释 例9：以下谓词公式为永真公式： ?x(F(x) →(?x(F(x)∨?y(G(y)) 这是因为： p→(p∨q)为永真的命题公式，我们用： p换成谓词公式?x(F(x) q换成谓词公式?y(G(y) 所得的代换实例正好是： ?x(F(x) →(?x(F(x)∨?y(G(y)) 它当然也是永真公式。 3.4.1 谓词等价式 3.4 谓词等价式与前束范式 复习：命题公式的等价： A?B 即真值表相同，亦即所有解释相同。 常用等值式： 1.双重否定律： ? （? P） ? P 2.幂等律： P∧P? P， P∨P? P 3.交换律： P∧Q? Q ∧ P ， P∨Q? Q∨P 4.结合律： (P∧Q )∧R ? P∧( Q∧R) ， (P∨Q )∨R ? P ∨( Q∨R) 5.分配定律： P∧( Q ∨R) ? ( P∧Q )∨( P∧R) P∨ ( Q ∧R) ? ( P∨Q ) ∧( P∨R) 6.吸收律： P∧( P∨R)? P， P∨ ( P∧R) ? P 7.同一律： P∧1? P ， P∨0? P 3.4.1 谓词等价式 9.否定律： P∨?P?1， P∧? P? 0 8.零律： P∨1? 1 ， P∧0 ? 0 10.德·摩根律：?（ P ∧Q） ? ? P∨? Q ? （P∨ Q） ? ? P∧? Q 14.等价否定等值式：P? Q ? ?P? ? Q 11.蕴含等值式： P→Q ? ? P∨Q 12.等价等值式：P? Q ? (P→Q)∧(Q→P) ? (P∧ Q)∨(? P ∧ ? Q) 13.假言易位： P→Q ? ?Q→? P 15.归谬论： (P→Q) ∧( P→ ? Q) ? ? P 3.4 谓词等价式与前束范式 3.4.1 谓词等价式 1)谓词公式的等价—两个谓词公式的在所在解释下的值全部相同。 2)两个结论 置换定理：将公式中的部分子公式置换成与其等价的另一公式，所得公式与原公式等价。 代换定理： 等价的命题公式的任意代换实例也是谓词等价式。 具体地讲，谓词公式A与B，若有A?B为永真式，则称谓词公式A与B为等价式，记为A?B 。 如：?xF(x) →?xG(x) ? ? ?xF(x) ∨?xG(x) 因为它是 P→Q ? ? P∨Q 的一个代换实例。 3.4 谓词等价式与前束范式 3.4.1 谓词等价式 3)重要谓词等价式 1.量词消去律： ① ?xA ?A ② ?xA ?A 注意，这里的A是指不含变元
文档评论（0）