谓词逻辑（一）.pptVIP

例7 有些大学生吸烟。 ①如果论域是大学生集合 X(x)：x吸烟 命题的表达式为 (?x)X(x) 。 ②如果论域扩大为全域时，上述表达式(?x)X(x) 表示“有些对象吸烟”，就不是表示此命题了。 至少存在一个这样的对象，它是大学生，并且它抽烟. S(x)：x是大学生 命题的表达式为 (?x)(S(x)∧X(x)。 例8 所有的迷信都不是科学。 论域为全域 M(x)：x是迷信 K(x)：x是科学 此命题表达了 对任一对象，如果它是迷信，那么它不是科学。 (?x)(M(x)→ ? K(x)) 例9 有的新闻报道不是真实的。 论域为全域 X(x)：x是新闻报道 Z(x)：x是真实的 此命题表达了 存在一对象，它是新闻报道，但它不是真实的。 (?x) ( X(x)∧? Z(x)) 传统命题A、E、I、O四类命题的量化形式 A命题：“所有S是P”， 量化形式：(?x)(S(x)→P(x))； E命题：“所有S不是P”， 量化形式：(?x)(S(x)→?P(x))； I 命题：“有S是P”， 量化形式是：(?x)(S(x)∧P(x))； O命题：“有S不是P”， 量化形式是：(?x)(S(x)∧?P(x))。 1.3 量词的辖域 量词的辖域：指一量词后的最短公式，表示一个量词在一个公式中的作用范围。 约定：紧靠量词的括号内的表达式是该量词的辖域。括号外的则不是；如果紧靠量词没有括号，那么，紧靠量词的不包含联结词的表达式就是该量词的辖域，其他的则不是。 例10 (?x)A(x) (?x)S(x) (?x)(P(x)∧Q(x)→(?y)R(x,y)) (?x)F(x) ∨G(x) (?x)(F(x) ∨G(x)) (?x)(?y)(?z)(A(x,y)→B(x,y,z))∧C(t) 约束变项与自由变项 在相关量词的辖域中出现的个体变项，称为被量词约束的个体变项，简称约束变项；不被量词约束的个体变项称为自由个体变项。 在同一个表达式中，同一个个体变项既可以作为约束变项出现，也可以作为自由个体变项出现。 一个体变项在它的量词辖域中出现，称为约束出现；否则，称为自由出现。 一个体变项在一公式中是自由的，当且仅当它在该公式中至少有一次自由出现；一个体变项在一公式中是约束的，当且仅当它在该公式中至少有一次约束出现。 一个体变项在一公式中既可以是自由的也可以是约束的。 1.4 全称量词不表示存在，而存在量词表示存在 注意：全称量词的表达式是蕴含式，而存在量词的表达式是合取式。 例6 每个自然数都是整数。 表达式：(?x)(N(x)→I(x)) 它的含义是：对于每个个体x，如果x是自然数，那么x是整数。 它的含义仅限于此。至于作为自然数的个体x是否存在，在表达式中没有得到体现，即表达式没有断定这样的x存在，也没有断定它不存在。 思考：这样的表达式是否准确表达了自然语言中全称量词的原意呢？ 例如，所有的偷税漏税行为都是可耻的。 预设了偷税漏税行为是存在的。预设主项存在是全称命题形式自身具有的，还是语言的使用者另外附加的？换句话说，所有的S都是P这个命题形式本身，是否包含了S是存在的这一预设呢？ 例11 牛顿定律：所有不受外力作用的物体都保持匀速直线运动。 仅仅断定了：对所有物体而言，如果它不受外力作用，那么它保持匀速直线运动。 至于不受外力作用的物体是否存在，没有得到断定。换句话说并没有预设这样的物体存在。 事实上，这样的物体是不存在的。如果全称命题预设了主项存在，牛顿定律将成为明显的假命题。 全称命题并不预设主项存在。不过是语境附加的。 例7 有些大学生吸烟。 命题的表达式为 (?x)(S(x)∧A(x)) 含义是：至少存在一个个体x，x是大学生并且x吸烟。 ？(?x)(S(x) → A(x)) 含义是：至少存在一个个体x，如果x是大学生，则x吸烟。作为大学生的x是否存在，没有得到断定。显然不符合命题的含义。有些大学生吸烟，首先断定大学生是存在的。 1.5 多个量词 例12 所有参观者喜欢所有展品。 包含两个全称量词。 第一个量词的表达：对任一事物x，如果x是参观者，那么…… 第二个量词的表达，对任一事