第四章 一阶逻辑命题符号化.pptVIP

在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系. 因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理.考虑下面的推理: 这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性. 因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为 ?例4.4 将下列命题符号化，并讨论真值. ???(1) 所有的人都长着黑头发. ??(2) 有的人登上过月球. ? (3) 没有人登上过木星. ?(4) 在美国留学的学生未必都是亚洲人. 解: 由于本题没有提出个体域，因而应该采用全总  个体域. ?(1) 令F(x): x长着黑头发. (2) 令G(x): x 登上过月球. (4) 令 F(x): x 是在美国留学的学生， G(x): x 是亚洲人. 例4.5 将下列命题符号化: ? (1) 兔子比乌龟跑得快. ??(2) 有的兔子比所有的乌龟跑得快. (3) 并不是所有的兔子都比乌龟跑得快. (4) 不存在跑得同样快的两只兔子. 解: 本题没有指明个体域，因而采用全总个体域. 引入两个个体变项 x 与 y . 令 F(x): x 是兔子. G(y): y 是乌龟. H(x,y): x 比y跑得快. L(x,y): x 与 y 跑得一样快. ?1. 一般说来，多个量词出现时，它们的顺序不能随意调换. 一阶语言L的字母表定义如下: (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 L的项的定义如下: (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 是L的任意的 n 个项，则称R(t1, t2, …, tn)是 L的原子公式. 定义4.4 L的合式公式定义如下: (1) 原子公式是合式公式. 在定义4.4中出现的字母A, B是代表任意公式的 元语言符号. 为方便起见, 公式(┐A), (A∧B), …中 的最外层括号可以省去，使其变成┐A, A∧B，…. (4.1)～(4.21)都是L中的公式. 下面讨论一阶公式的一些性质. 在公式 ?xA和?xA 中，称x为指导变元，A为相应量词的辖域. 在?x和?x的辖域中, x 的所有出现都称为约束出现. A中不是约束出现的其他变项均称为是自由出现的. 例 4.6 指出下列各公式中的指导变元，各量词的辖域，自由出现以及约束出现的个体变项: 后件中的量词?的指导变元为 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中不含有自由出现的个