离散数学26谓词演算的推理理论.pptVIP

  1. 1、本文档共14页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学26谓词演算的推理理论

离散数学 Discrete Mathematics;第6讲 §2—7 谓词演算的推理理论; ; 下面在介绍有关量词规则之前做些必要准备。下面给出A(x)对y是自由的这个概念。其目的是,允许用y代入x后得到A(y),它不改变原来公式A(x)的约束关系。 定义2.7.1 在谓词公式A(x)中,若x自由出现在量词(?y)或(?y)的辖域, 则称A(x)对于y是自由的。 由定义可知,若y在A(x)中不是约束出现,则A(x)对于y一定是自由的。;一、有关量词消去和添加规则 量词消去规则: (1) 全称量词消去规则(称为全称指定规则,简称UI或US规则) 有两种形式:(?x)A(x)?A(c) 其中c为任意个体常元 (?x)A(x)?A(y) A(x)对y是自由的;量词产生规则: (3) 存在量词产生规则(称为存在推广规则,简称EG规则) 有两种形式:A(c)?(?y)A(y) 其中c为特定个体常元 A(x)?(?y)A(y) 成立充分条件:①取代c的个体变元y不在A(c)中出现;②A(x)对y 是自由的;③若A(x)是推导行中的公式,且x是由使用EI引入的,那么不能用A(x)中除x外的个体变元作约束变元,或者说,y不得为A(x)中的个体变元。;二、Lp中推理实例 Lp的推理方法是Ls推理方法的扩展,因此在Lp中利用的推理规则也是T规则、P规则和CP规则,还有已知的等价式,蕴含式以及有关量词的消去和产生规则。使用的推理方法是直接构造法和间接证法。;例题1 证明苏格拉底论证: 所有的人都是要死的。 苏格拉底是人。 所以苏格拉底是要死的。;例题2 证明;例题3 证明;证法2 本题可用CP规则;例题4 构造下面推理的证明: 每个学术会的成员都是专家并且是工人,有些成员是青年人,所以有些成员是青年专家。; 数理逻辑在计算机科学中的用途有两个:一个是作为知识表示的手段,因为日常生活中的或数学领域中的命题,大多能用谓词逻辑的符号表达式,便于计算机处理;另一个用途是研究形式推理,为计算机进行自动推理提供方法和理论。 第二个用途过于专门和复杂,已超过本课程教学大纲的要求。但是,第一个用途确是非常重要,所以应该掌握。 ;

文档评论(0)

jdy261842 + 关注
实名认证
文档贡献者

分享好文档!

1亿VIP精品文档

相关文档