一阶逻辑命题符号化第二节.ppt

  1. 1、本文档共52页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一阶逻辑命题符号化第二节.ppt

公式A在I下的解释AI: 取个体域DI A中个体常项符号a?L替换为DI上的个体a* A中的n元函数f?L替换为DI上的n元函数f*: (DI)n ? DI A中n元谓词F?L替换为DI上的n元关系RF 4.2一阶逻辑公式及其解释 公式A在I下的真值 如果AI是闭式,则为命题,可以有真假值 4.2一阶逻辑公式及其解释 模型:AI是闭式,公式A在I下为真,符号为 I ? A,如果下面条件满足 I(F(t1,…,tn))=T, 如果(t*1,…,t*n)?RF I(?B)=T iff I(B)=F I(B?C)=T iff I(B)= I(C)=T I(?xB(x))=T iff 对任意a?DI, I(B(a))=T I(?xB(x))=T iff 存在a?DI, I(B(a))=T 4.2一阶逻辑公式及其解释 给定解释I 个体域为自然数集N a* = 2 f* =x+y, g* =xy F*:x=y 给出下列公式在I下的解释,讨论真假值 ?x F(g(x, y), z) ?x F(g(x, a), x)?F(x, f(x,a)) ?x ?y F(f(g(x, a)),y), g(x,y)) 4.2一阶逻辑公式及其解释 给定解释I 个体域为自然数集N a* = 2 f* =x+y, g* =xy F*:x=y 给出下列公式在I下的解释,讨论真假值 ?x F(g(x, y), z) ??x (xy=z) ?x (F(g(x, a), x)?F(x, f(x,a))) ??x ((2x=x)?(x=x+2)) ?x ?y F(f(g(x, a),y), g(x,y)) ??x ?y (2x+y=xy) 4.2一阶逻辑公式及其解释 合式公式分类:公式A 重言式(永真式):A在任意的解释下为真 矛盾式(永假式):A在任意的解释下为假 可满足式: A在某个解释下为真 4.2一阶逻辑公式及其解释 代换实例 给定命题公式A0,含命题变项p1,…,pn A1,…,An是n个谓词公式 A称为A0的代换实例如果 A通过用Ai代替A0中的pi得到 4.2一阶逻辑公式及其解释 定理:重言式的代换实例都是永真式,矛盾式的代换实例都是矛盾式 证明思路:给定重言式A0 ,对于命题变项p1,…,pn的任意赋值,A0都为真 讨论:假设A通过用Ai代替A0中的pi得到,如果Ai不是封闭公式, A是否还是永真? 例:已知p?(q?p)为重言式,那么 F(x)?(G(x)?F(x))是否是重言式? 4.2一阶逻辑公式及其解释 例:判断下列公式类型 ?x F(x) ??y F(y) ?x (F(x) ? G(x)) ?xF(x) ? (?x?yG(x,y)? ?xF(x)) 4.2一阶逻辑公式及其解释 例:判断下列公式类型 ?x F(x) ??y F(y) 对任意解释I,如果I使得?x F(x)为真,对任意x?DI,F(x)为真,I必使得?x F(x)为真 ?x (F(x) ? G(x)) 解释I: DI 为实数集R F(x): x是整数;G(x): x是有理数 ?xF(x) ? (?x?yG(x,y)? ?x(F(x)) 是p ? (q ?p)的代换实例 永真式 永真式 可满足式 4.2一阶逻辑公式及其解释 练习 将下列命题符号化 有的火车比有的汽车快 指出下列公式的指导变元,量词的辖域,各个变项的自由出现和约束出现 ?xF(x,y) ? ?yG(x,y) 4.2一阶逻辑公式及其解释 练习 课本67页,14题(1) 课本67页,15题(2) 4.2一阶逻辑公式及其解释 第四章 习题课 主要内容 个体词、谓词、量词 一阶逻辑命题符号化 一阶语言L 项、原子公式、合式公式 公式的解释 量词的辖域、指导变元、个体变项的自由出现与约束出现、闭式、解释 公式的类型 永真式(逻辑有效式)、矛盾式(永假式)、可满足式 基本要求 准确地将给定命题符号化 理解一阶语言的概念 深刻理解一阶语言的解释 熟练地给出公式的解释 记住闭式的性质并能应用它 深刻理解永真式、矛盾式、可满足式的概念, 会判断简 单公式的类型 练习1 1. 在分别取个体域为 (a) D1=N (b) D2=R (c) D3为全总个体域 的条件下, 将下面命题符号化,并讨论真值 (1) 对于任意的数x,均有 解 设G(x): (a) ?xG(x) (b) ?xG(x) (c) 又设F(x)

文档评论(0)

2752433145 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档