- 1、本文档共35页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
在I 下,下列哪些公式为真?哪些为假?哪些的真值还不能确定? (1) F(f(x,y),g(x,y)) 在I下,被解释成 “x+y=x˙y”, 这不是命题 (2) F(f(x,a),y)?F(g(x,y),z) 在I下,被解释成 “(x+0=y)?(x˙y=z)”, 这不是命题 (3) ?F(g(x,y), g(y,z)) 在I下,被解释成 “x˙y≠y˙z”, 这不是命题 (4) ?xF(g(x,y),z) 在I下,被解释成 “?x( x˙y≠z)”, 这不是命题 (5) ?xF(g(x,a),x)?F(x,y) 在I下,被解释成 “?x(( x˙0=x) ?(x=y))”, 由于蕴含式前件为假,所以被解释的公式为真。 (6) ?xF(g(x,a),x) 在I下,被解释成 “?x( x˙0=x)”, 这不是命题 (7) ?x?y F(f(x,a),y) ?F(f(y,a),x) 在I下,被解释成 “?x?y(( x+0=y) ?(y+0=x))”, 这是真命题 (8) ?x?y?z F(f(x,y),z) 在I下,被解释成 “?x?y?z(x+y=z)”, 这是真命题 (9) ?x F(f(x,x),g(x,x)) 在I下,被解释成 “?x(x+x=x˙x)”, 这是真命题 解 为方便起见,用A,B,C分别记(1),(2),(3)中的公式。 ????(1)取解释I1:个体域为实数集合R,F(x):x是整数,G(x):x是有理数。在I1下A为真,因而A不是矛盾式。取解释I2:个体域仍然为R,F(x):x是无理数,G(x):x能表示成分数。在I2下A为假,所以A不是永真式。故A是非永真式的可满足式。 ????(2)易知B是命题公式p→(q→p)的代换实例,而该命题公式是重言式,所以B是永真式。 ????(3)C是命题公式┐(p→q)∧q的代换实例,而该命题公式是矛盾式,所以C是矛盾式。 * * 注: 在证明一个谓词公式既不是永真式也不是矛盾式时,可以为公式分别找一个成真的解释和一个成假的解释。 当证明一个谓词公式是永真式或矛盾式时,可以使用相应的命题公式进行代换。若命题公式为永真式,则原谓词公式也是永真式;若命题公式为矛盾式,则原谓词公式也是矛盾式。 * * 内容小结: 谓词和个体 量词 一阶逻辑公式 置换规则 一阶逻辑等值式 一阶逻辑前束范式 推理理论 CH4 CH4 CH4 CH5 CH5 CH5 CH5 √ √ √ * * CH4基本要求 准确的将给定命题符号化 掌握永真式、矛盾式和可满足式的概念及判断方法 深刻理解闭式的概念及闭式的性质(闭式在任何解释下都是命题) 对于给定的解释会判断给定公式是否成为命题,对是命题的能够判断出真假 * * Ch作业 P68 1,3,5,6(1)(2),7,8,10,11(1)(2)(3) 12 * * 一阶谓词逻辑 CH4 一阶逻辑基本概念 CH5 一阶逻辑等值演算与推理 * * 内容要点: 谓词和个体 量词 一阶逻辑公式 置换规则 一阶逻辑等值式 一阶逻辑前束范式 推理理论 CH4 CH4 CH4 CH5 CH5 CH5 CH5 * * 1.命题的表达 例1.1:凡偶数都能被2整除, 6是偶数。 所以,6能被2整除 将它们命题符号化: p:凡偶数都能被2整除 q: 6是偶数 r: 6能被2整除 则推理的形式结构符号化为: (p? q) ? r 由于上式不是重言式,所以不能由它判断推理的正确性。为了克服命题逻辑的局限性,就应该将简单命题再细分,分析出个体词、谓词和量词,以期达到表达出个体与总体的内在联系和数量关系,这就是谓词逻辑。 * * (1)8是自然数。 (2) 21世纪末,人类将住在月球。 (3) x+y=y+x (4) 只有x能被2整除, x才能被4整除。 A.个体词 x,y的取值范围:复数域 a的取值范围:整数域 是指所研究对象中可以独立存在的具体的或抽象的客体。 表示具体或特定的客体的个体词称作个体常项;常用a,b,c,…表示。 表示抽象或泛指的客体的个体词称作个体变项;常用x,y,z,…表示。 个体变项的取值范围为个体域,个体域可以是有穷集合,也可以是无穷集合。 全总个体域:由宇宙间一切事物组成的域为全总个体域。 * * a.小陈是大学生 b.小张生于苏州 c. 8=3*2 x是大学生 小陈-----个体;是大学生-----谓词:
您可能关注的文档
- 酒店安全培训课件范例-1.ppt
- 酒店安全操作培训-1.ppt
- 酒店安全用电及节能常识-1.ppt
- 酒店安全知识培训资料-1.ppt
- 酒店客人投诉处理-1.ppt
- 一数据库相关理论知识介绍.ppt
- 酒店客人投诉处理PPT格式-1.ppt
- 酒店客房做房清洁标准及做床程序-1.ppt
- 酒店客房培训资料-1.ppt
- 酒店客房服务与管理-1.ppt
- 小学科学:ESP8266智能插座电路原理与动手实践研究教学研究课题报告.docx
- 《金融开放浪潮下我国多层次监管体系构建与创新研究》教学研究课题报告.docx
- 区域教育质量监测中人工智能应用的数据质量分析与优化策略教学研究课题报告.docx
- 《金融科技监管中的数据治理与合规性要求》教学研究课题报告.docx
- 《3D打印技术在航空航天领域中的多材料制造与复合材料应用》教学研究课题报告.docx
- 《绿色金融发展中的政府职能与市场机制研究》教学研究课题报告.docx
- 《植物工厂多层立体栽培光环境调控技术对植物生长发育节律的调控机制探讨》教学研究课题报告.docx
- 销售团队年度业绩总结.docx
- 银行风险管理与金融危机防范.docx
- 银行网络攻击预警与快速响应机制.docx
文档评论(0)