- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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 构造下面推理的证明:
每个学术会的成员都是专家并且是工人,有些成员是青年人,所以有些成员是青年专家。; 数理逻辑在计算机科学中的用途有两个:一个是作为知识表示的手段,因为日常生活中的或数学领域中的命题,大多能用谓词逻辑的符号表达式,便于计算机处理;另一个用途是研究形式推理,为计算机进行自动推理提供方法和理论。第二个用途过于专门和复杂,已超过本课程教学大纲的要求。但是,第一个用途确是非常重要,所以应该掌握。 ;
您可能关注的文档
- 爱情向左我向右———中学生男女生交往主题班会七(四)班.ppt
- 物联网给现代城市安上智慧芯0.ppt
- 物质在水中是怎样溶解的2015.ppt
- 物流市场营销-第六章.ppt
- 爱吧趁他们还在你身边.ppt
- 物理:沪粤版八年级探究光的折射规律课程PPT.ppt
- 物流系统规划与设计基本经济订货批量.ppt
- 物流管理通论——第六章订单管理与物流信息系统.ppt
- 狂人日记(鲁迅)上课.ppt
- 狼牙山五壮士公开课实用课件.ppt
- 小学科学:ESP8266智能插座电路原理与动手实践研究教学研究课题报告.docx
- 《金融开放浪潮下我国多层次监管体系构建与创新研究》教学研究课题报告.docx
- 区域教育质量监测中人工智能应用的数据质量分析与优化策略教学研究课题报告.docx
- 《金融科技监管中的数据治理与合规性要求》教学研究课题报告.docx
- 《3D打印技术在航空航天领域中的多材料制造与复合材料应用》教学研究课题报告.docx
- 《绿色金融发展中的政府职能与市场机制研究》教学研究课题报告.docx
- 《植物工厂多层立体栽培光环境调控技术对植物生长发育节律的调控机制探讨》教学研究课题报告.docx
- 销售团队年度业绩总结.docx
- 银行风险管理与金融危机防范.docx
- 银行网络攻击预警与快速响应机制.docx
文档评论(0)