原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
著名的苏格拉底三段论: “所有的人都是要死的,苏格拉底是人,所以是苏格拉底是要死的。” p: 所有的人是要死的; q: 苏格拉底是人; r: 苏格拉底是要死的. 例：给定解释I如下： DI={2，3}； DI中特定的元素a=2; 函数f(x)为f(2)=3，f(3)=2； 谓词F(x)为F(2)=0，F(3)=1; G(x,y)为G(i，j)=1 ， i, j=2,3; L(x,y)为L(2,2)= L(3,3)=1; L(2,3)= L(3,2)=0. ?x(F(x) ∧G (x,a)) ? (F(2) ∧G (2,2)) ∧ (F(3) ∧G (3,2)) ? (0 ∧1) ∧ (1 ∧1) ? 0 ?x(F(f(x)) ∧G (x, f(x))) ? (F(f(2)) ∧G (2, f(2))) ∨(F(f(3)) ∧G (3, f(3))) ? (F(3)∧G (2,3))∨(F(2)∧G(3, 2)) ? (1∧1) ∨(0∧1) ? 1 ?x?y L(x,y) ? ?x(L(x,2)∨L(x,3)) ? (L(2,2)∨L(2,3)) ∧(L(3,2)∨L(3,3)) ? (1∨0) ∧(0∨1) ? 1 例2.9 求下列合式公式的前束范式 (2) (?x)P(x)? ? (?x)Q(x) 解： (?x)P(x)? ? (?x)Q(x) ? (?x)P(x)?(?x) ? Q(x) ? (?x)P(x)?(?y) ? Q(y) ? (?x)(?y)(P(x)? ? Q(y)) 二、常见等值式的应用(前束范式) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (3) (?x)P(x)?(?x)Q(x) ? (?x)P(x) ?(?y)Q(y) ? (?x)(?y)(P(x) ? Q(y)) 二、常见等值式的应用(前束范式) (4) (?x)P(x)?(?x)Q(x) ? (?x)P(x) ?(?y)Q(y) ? (?x)(?y)(P(x) ? Q(y)) 例2.9 求下列合式公式的前束范式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例2.9 求下列合式公式的前束范式 (5) (?xF(x，y) ? ?yG(y)) ? ?xH(x，y) 二、常见等值式的应用(前束范式) ?(?xF(x，z) ? ?yG(y)) ? ?xH(x，z) ?(?xF(x，z) ? ?yG(y)) ? ?uH(u，z) ??x?y(F(x，z) ? G(y))? ?uH(u，z) ? ?x ?y ?u((F(x，z) ? G(y))? H(u，z) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 前束合取范式： 前束范式(?x)P(x)的命题公式部分即P(x)为合取范式。 前束析取范式： 前束范式(?x)P(x)的命题公式部分即P(x)为析取范式。 二、常见等值式的应用 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. §2.4. 谓词逻辑推理理论 一、常见推理定律 在谓词逻辑中，如果A1?A2?……?An?B是有效式，即A1?A2?……?An?B，则称该式为推理定律。 常用的推理定律主要有以下几种： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 指导变元及作用域 在谓词公式中，形如(?x)P(x)或(?x)P(x)的部分，叫做公式的约束部分。
文档评论（0）