第02章谓词逻辑.pptVIP

定义2-3.2 若 P(x1, x2, …, xn) 是 n 元谓词，t1, t2, …, tn是项，则称 P(t1, t2, …, tn) 为谓词演算的原子谓词公式，简称原子公式。 例： 1元谓词：F(x)：x 是素数。G(x)：x 是偶数。 2元谓词：H(x,y)：x 比 y 高。…… 下面，由原子公式出发，给出谓词演算中的合式谓词公式的归纳定义。 定义2-3.3 谓词演算的合式公式，当且仅当由下列规则形成的符号串： P60 ① 原子谓词公式是谓词合式公式； ② 若A是谓词合式公式，则(?A)是谓词合式公式； ③ 若A、B是谓词合式公式，则(A∧B)，(A∨B)，(A?B)和(A?B)都是谓词合式公式； ④ 若A是谓词合式公式，x是个体变元，则(?x)A、(?x)A都是谓词合式公式； ⑤ 只有经过有限项次地使用①、②、③、④形成的才是谓词合式公式。——简称为谓词公式。 把一个文字叙述的命题，用谓词公式表示出来，称为谓词逻辑的翻译或符号化；反之亦然。 一般说来，符号化的步骤如下： ① 正确理解给定命题。必要时把命题改叙，使其中每个原子命题、原子命题之间的关系能明显表达出来。 二、谓词逻辑的翻译 ② 把每个原子命题分解成个体词、谓词和量词；在全总个体域讨论时，要给出特性谓词。 ③ 找出恰当量词。应注意全称量词(?x)后跟条件式，存在量词(?x)后跟合取式。 ④ 用恰当的联结词把给定命题表示出来。 例：在个体域分别限制为(a),(b)时，将下列命题符号化 (1) 凡人都要呼吸。 (2) 有的人用左手写字。 其中：(a)个体域为人类集合；(b)个体域为全总个体域。 例：(1) 并非每个实数都是有理数。 设：R(x): x 是实数；Q(x): x是有理数。 则：? (?x) (R(x) ?Q(x)) 或 (?x) (R(x) ∧? Q(x)) (2) 没有不犯错误的人。 设：F(x): x犯错误；M(x): x是人。 则： ? (?x)(M(x) ∧? F(x)) 或 (?x) (M(x) ?F(x)) (3) 凡有理数均可表示成分数。 设：R(x): x是有理数；F(x): x可表示成分数。 则： (?x) (R(x) ?F(x)) (4) 有的有理数是整数。 设： R(x): x是有理数；G(x): x是整数。 则： (?x)(R(x)∧G(x)) 例：将命题“没有最大的自然数”符号化。 解：命题中“没有最大的”显然是对所有的自然数而言，所以可理解为“对所有的x，如果x是自然数，则一定还有比x大的自然数”，再具体点，即“对所有的x如果x是自然数，则一定存在y，y也是自然数，并且y比x大”。 令 N(x): x是自然数，G(x,y): x大于y， 则原命题表示为： (?x)(N(x)?(?y)(N(y)∧G(y,x)))。 例：将语句“今天有雨雪，有些人会跌跤”符号化。 解：本语句可理解为“若今天下雨又下雪，则存在x，x是人且x会跌跤”。 令 R: 今天下雨，S: 今天下雪， M(x): x是人，F(x): x会跌跤， 则本语句可表示为：R∧S?(?x)(M(x)∧F(x))。 由于人们对命题的文字叙述含意理解的不同，强调的重点不同，会影响到命题符号化的形式不同。 ? 2.4 变元的约束 定义2-4.1 给定一个谓词公式 A，其中有一部分公式形如 (?x)B(x) 或 (?x)B(x)，则称它为 A的 x 约束部分，称 B(x) 为相应量词的作用域或辖域。在辖域中，x 的所有出现称为约束出现，x 称为约束变元；B中不是约束出现的其它个体变元的出现称为自由出现，这些个体变元称自由变元。 对于给定的谓词公式，能够准确地判定它的辖域、约束变元和自由变元是很重要的。 通常，一个量词的辖域是某公式 A 的一部分，称为 A 的子公式。因此，确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式，具体地讲： ① 若量词后有括号，则括号内的子公式就是该量词的辖域； ② 若量词后无括号，则与量词邻接的子公式为该量词的辖域。 判定给定公式 A 中个体变元是约束变元还是自由变元，关键是要看它在 A 中是约束出现，还是自由出现。 例：指出下列谓词公式中的自由变元和约束变元，并指明量词的辖域。 (1) (?x)(P(x)∧R(x) ) ?(?x)P(x)∧Q(x) (2) (?x)(P(x,y) ? (?y)R(x,y) ) 从上面的例子中可以看出，在一公式中，有的个体变元既可以是约束出现，又可以是自由出现，这就容易产生混淆。为了避免混淆，采用下面两个规则： ①约束变元换名规则，将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 ②自由变元代入规则