第四章+一阶逻辑基本概念.pptVIP

一阶语言中的字母表 定义4.1 一阶语言F的字母表定义如下（七个部分）: (1)个体常项：a , b , c , …, ai , bi , ci , … , i ?1 (2)个体变项：x , y , z, …, xi , yi , zi , … , i ?1 (3)函数符号：f , g , h , …, fi , gi , hi , … , i ?1 (4)谓词符号：F , G , H , …, Fi , Gi , Hi , … , i ?1 (5)量词符号: ?，? (6)联结词符号:┐,∧,∨,→, ? (7)括号与逗号:(,),， 一阶语言中的项 定义4.2 一阶语言F的项的定义如下: (1) 个体常项和个体变项是项。 (2) 若?(x1,x2,…,xn)是任意的n元函数，t1,t2,…,tn是任意的n个项，则?(t1,t2,…,tn)是项。 (3) 所有的项都是有限次使用(1)，(2)得到的。 一阶语言中的原子公式 定义4.3 设R(x1 ,x2 ,… ,xn)是一阶语言F的任意n元谓词， t1 ,t2 ,… ,tn是一阶语言F的任意的n个项，则称R(t1 ,t2 ,… ,tn)是一阶语言F的原子公式。 例如：1元谓词F(x)，G(x)，2元谓词H(x,y)，L(x,y)等都是原子公式。 一阶语言F的合式公式 定义4.4 一阶语言F的合式公式定义如下: (1) 原子公式是合式公式。 (2) 若A是合式公式，则(┐A)也是合式公式。 (3) 若A，B是合式公式，则(A∧B)，(A∨B)，(A→B)，(A?B) 也是合式公式。 (4) 若A是合式公式，则?xA，?xA也是合式公式。 (5) 只有有限次的应用(1)～(4)构成的符号串才是合式公式。 ? 一阶语言F的合式公式也称为谓词公式，简称公式。 A，B代表任意公式，是元语言符号。 下文的讨论都是在一阶语言F中，因而不再提及。 说明 自由出现与约束出现 定义4.5 指导变元、辖域、约束出现、自由出现 在公式?xA和?xA中，称x为指导变元。 在公式?xA和?xA中，A为相应量词的辖域。 在?x和?x的辖域中，x的所有出现都称为约束出现。 A中不是约束出现的其他变项均称为是自由出现的。 例4.6 指出下列各公式中的指导变元，各量词的辖域，自由出现以及约束出现的个体变项。(1) ?x(F(x,y)→G(x,z))(2) ?x(F(x)→G(y))→?y(H(x)∧L(x,y,z)) 例题 解答 (1) x是指导变元。量词?的辖域A=(F(x,y)→G(x,z))。在A中，x的两次出现均是约束出现。y和z均为自由出现。 (2) 前件上量词?的指导变元为x，量词?的辖域A=(F(x)→G(y))，x在A中是约束出现的，y在A中是自由出现的。后件中量词?的指导变元为y， 量词?的辖域为B=(H(x)∧L(x,y,z))，y在B中是约束出现的，x、z在B中均为自由出现的。 本书中的记法 用A(x1,x2,…,xn)表示含x1,x2,…,xn自由出现的公式。 用Δ表示任意的量词?或?，则Δx1A(x1,x2,…,xn)是含有x2,x3,…,xn自由出现的公式，可记为A1(x2,x3,…,xn)。 类似的，Δx2Δx1A(x1,x2,…,xn)可记为A2(x3,x4,…,xn) Δxn-1Δxn-2…Δx1A(x1,x2,…,xn)中只含有xn是自由出现的个体变项，可以记为An-1(xn)。 Δxn…Δx1A(x1,x2,…,xn)没有自由出现的个体变项。 举例 将例4.6(1)中的公式简记为A(y,z)，表明公式含有自由出现的个体变项y，z。而?yA(y,z)中只含有z为自由出现的公式，?z?yA(y,z)中已经没有自由出现的个体变项了， 闭式 定义4.6 设A是任意的公式，若A中不含有自由出现的个体变项，则称A为封闭的公式，简称闭式。 例如： ?x?y(F(x)?G(y)?H(x , y)) 为闭式， ?x(F(x)?G(x , y)) 不是闭式 。 一阶公式的解释 一阶公式没有确定的意义，一旦将其中的变项（项的变项、谓词变项）用指定的常项代替后，所得公式就具备一定的意义，有时就变成命题了。 例题4.7 例4.7 将下列两个公式中的变项指定成常项使其成为命题: (1)?x(F(x)→G(x)) (2)?x?y(F(x)∧F(y)∧G(x,y)→H(f(x,y),g(x,y))) (1)指定个体变项的变化范围，并且指定谓词F，G的含义，下面给出两种指定法: ?(a)令个体域D1为全总个体域， F(x)为x是人， G(x)为x是黄种人， 则命题为“所有人都是黄种人