南京谓词是城市64.1一阶逻辑命题符号化个体词.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)