4.2一阶逻辑公式及解释解析.pptVIP

一阶语言 的字母表定义如下: (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 的项的定义如下: (1) 个体常项和个体变项是项. (2) 若 f (x1, x2, …, xn) 是任意的 n 元函数, t1,t2,…,tn是任意的 n 个项， 则 f (t1, t2, …, tn) 是项. (3) 所有的项都是有限次使用(1)，(2)得到的. 例4.5中的1元谓词F(x)，G(x)，2元谓词 H(x,y)，L(x,y) 等都是原子公式．  设 R(x1 , x2 , …,xn) 是的任意n元谓词, t1, t2, …, tn 是 的任意的 n 个项，则称 R(t1, t2, …, tn)是 的原子公式. 定义4.4 的合式公式定义如下: (1) 原子公式是合式公式. 在定义4.4中出现的字母A, B是代表任意公式的 元语言符号. 为方便起见, 公式(┐A), (A∧B), …中 的最外层括号可以省去，使其变成┐A, A∧B，…. (4.1)～(4.21)都是 中的公式. 下面讨论一阶公式的一些性质. 在公式 和 中，称x为指导变元， A为相应量词的辖域. 在 和 的辖域中, x 的 所有出现都称为约束出现. A中不是约束出现的 其他变项均称为是自由出现的. 例 4.6 指出下列各公式中的指导变元，各量词 的辖域，自由出现以及约束出现的个体变项: (1) x是指导变元. 量词 的辖域 A=( F(x,y) → G(x,z))， 在A中，x是约束出现的. 而且约束出现两次， y 和 z 均为自由出现的，而且各自由出现一次. 后件中的量词 的指导变元为 y， 的辖域为 (H(x)∧L(x,y,z))， 其中y是约束出现的，x, z 均为自由出现的. 则 Δx1 A( x1, x2, …, xn ) 是含有 x2 , x3,…, xn 自由出现的 公式，可记为 A1( x2, …, xn ). 可将例4.6(1)中的公式 简记为A( y, z )，这表明该公式含有自由出现的个 体变项 y，z. 而 y A( y, z )中只含有z为自由出现的公式， z yA( y, z )中已经没有自由出现的个体变项了， 此时的公式为 ?? z y x(F( x, y )→G( x, y, z ))??????? (4.24) 设A是任意的公式, 若A中不含有自由出现 的个体变项，则称A为封闭的公式，简称闭式. 例4.7 将下列两个公式中的变项指定成常项 使其成为命题: (1) 指定个体变项的变化范围，并且指定谓词F，G 的含义，下面给出两种指定法: 则(4.26)表达的命题为 “对于任意的x，y，若x与y都是实数，且x≠y， 则x2+y22xy”. 这是真命题. 若H(x,y)改为 xy，则所得命题就为 假命题了. 在本例中是给出公式后再对它们进行解释，也 可以先给出解释，再用这个解释去解释各种公式. 由以上的讨论不难看出，一个解释不外乎指定 个体域、个体域中一些特定的元素、特定的函数和 谓词等部分 . 定义4.7 ?(a) 非空个体域 DI???? (b) DI 中一些特定元素的集合? ? (c) DI 上特定函数集合??? ?(d) DI 上特定谓词的集合 给定解释 I 如下: (a) 个体域 D=N ( N为自然数集合) (4) x F ( g( x, y ), z (5) x F( g( x, a), x )→F ( x, y ) (6)