离散数学王元元习题解答(3).pdfVIP

第二章 谓词演算及其形式系统 2.1 个体、谓词和量词 容提要 谓词演算中把一切讨论对象都称为个体，它们可以是客观世界中的具体客体，也可以是 抽象的客体， 诸如数字、 符号等。 确定的个体常用 a，b，c 等到小写字母或字母串表示。 a，b， c 等称为 常元 （constants）。不确定的个体常用字母 x ，y ，z ，u，v ，w 等来表示。它们被称为 变元 （variables ）。 谓词演算中把讨论对象——个体的全体称为 个体域 （domain of individuals ）），常用字母 D 表示，并约定任何 D 都至少含有一个成员。当讨论对象遍及一切客体时，个体域特称为 全总 域 （universe ），用字母 U 表示。例如，当初中学生说“所有数的平方非负 ”时，实数集是个体 域；而达尔文在写《物种起源》时，则以全体生物为个体域；也许哲学家更偏爱全总域。讨 论常常会涉及多种类型个体 ,这时使用全总域也是比较方便的。 当给定个体域时，常元表示该域中的一个确定的成员，而变元则可以取该域中的任何一 个成员为其值。表示 D 上个体间运算的运算符与常元、变元组成所谓 个体项 （terms ）。例如， x+y ，x 2 等。 我们把语句中表示个体性质和关系的语言成分（通常是谓语）称为 谓词 （predicate ）。谓 词携有可以放置个体的空位，当空位上填入个体后便产生一个关于这些个体的语句，它断言 个体具有谓词所表示的性质和关系。通常把谓词所携空位的数目称为 谓词的元数 。 谓词演算中的 量词 （quantifiers ）指数量词“所有”和“有” ，分别用符号 (All 的第一个 字母 A 的倒写 ) 和 (Exist 的第一个字母 E 的反写 )来表示。为了用量词 和 分别表示个 体域中所有个体和有些个体满足一元谓词 P，需引入一个变元， 同时用作量词的指导变元 （放 在量词后）和谓词 P 的命名式变元： xP(x) 读作“所有（任意 ,每一个） x 满足 P(x) ”。 表示个体域中所有的个体满足谓词 P(x) 。 x P(x) 读作“有（存在 ,至少有一个） x 满足 P(x) ”。 表示个体域中至少有一个体满足 P(x) 。 当量词用于一谓词或复合的谓词表达式式，该谓词或复合的谓词表达式称为量词的 辖域 （domains of quantifiers ）。因此， 量词的辖域或者是紧邻其右侧的那个谓词 ;或者是其右侧第一 对括号的表达式。当然，量词辖域与该量词指导变元同一的变元都是约束变元。例如 x(A(x) →B(x)) ∨C(x) 中 x 的辖域是 A(x) →B(x) ，其中的 x 是约束变元； 但 C(x) 不在辖域， 其中的 x 则是自由变元； x A(x) ∧B(x) 中 x 的辖域是 A(x) ，其中 x 是约束变元，而 B(x) 中 x 为自由变元。 定义 2 .1 以下条款规定的符号串称为 谓词公式 （ predicate forrmula ），简称 公式 。 （1）谓词填式是公式，命题常元是公式（看作零元谓词） 。 （2 ）如果 A ，B 是公式， x 为任一变元，那么 (┐ A) ，(A → B) ，( xA) ，( x A) （当使用五 个联结词时还有 (A ∧B) ，(A ∨B) ，(A B) ）都是公式。