1.3 谓词及量词.pptVIP

Deren Chen, ZheJiang Univ. 1.3 谓词与量词 Predicates and Quantifiers 前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：电子政务是计算机技术的一个应用。 由此可知，主语是独立存在的个体/值/Value，而谓语用来描述该个体的性质或个体间的关系，这里我们称其为谓词/Predicate。用P表示谓词“是……”。则P（电子商务）或P（电子政务）分别等值于前述两个命题的表达。将个体用变量（称为个体变量）x推广，则P（x）表示：x是计算机技术的一个新的应用。这时该语句就不是一个命题，而是一个命题函数。 DEFINITION 1. 定义 一个谓词P连同相关的n（n≥0）个个体变量组成的表达式称为n元谓词（n-predicate），记P（x1, x2, …, xn），其中n是该表达式中不同个体变量的数目。n元谓词也称简单命题函数，将简单命题函数视为命题，按1.1节定义10得到的递归定义的表达式称为复合命题函数。简单命题函数和复合命题函数，统称为命题函数（proposition function）。 EXAMPLE 1 Let P(x) denote the statement x 3. What are the truth values of P(4) and P(2)? EXAMPLE 2 Let Q(x, y) denote the statement x = y + 3. What are the truth values of the propositions Q(1, 2) and Q(3, 0)? EXAMPLE 3 R(x,y,z): x+y=z What are the truth values of the propositions R(1, 2, 3) and R(0, 0, 1)? 当n1时，通常P给出了xi (i=1, 2, …, n)之间的关系。 例如，P(x, y, z)表示x位于y与z之间，是一个三元谓词。与x, y, z分别用构件层、表现层、总线层代入时得到命题：构件层位于表现层与总线层之间，其命值真值为T。再如将杭州、南京、北京代入，则得到：杭州位于南京和北京之间，真值为F。 与n=0时（即0元谓词），命题函数就对应一个命题。 为了进一步讨论命题函数P(x)的真值情况，首先需要指定个体变量x可选择的范围，即个体域（universe of discourse, or domain）。每一个个体变量x都有自己的个体域。如果没有特别指定的个体域，则缺省为一个全个体域（total universe of discourse）即任意个体均可以作为常量对x代入。 在指定个体变量x的个体域后，该个体域中的每个个体a代入到P(x)中的所有x，就对应一个可以判定真假意义的命题P(a)。不同的个体代入后所对应的命题真值可能不同，也可能相同。 例如,P(x)表示为 x2–1=(x–1)(x+1) x指定的个体域为全体整数， 则对任意整数i， i2–1=(i–1)(i+1) 恒成立。也就是说，该命题函数的真值无论用什么个体代入总是对应为T。此类命题函数的真值描述通过一个称为全称量词的特殊符号来量化。 DEFINITION 2. 定义2 命题函数P(x)的全称量化（universal quanification）是一个按如下规则确定真值的命题：如果对每一个个体a代入得到的P(a)均为T。则该命题为T。记为VxP(x)。这里V是全称量词（universal quantifier），表示为“对任意的”、“所有的”、“对每一个”等等。 DEFINITION 2. The universal quantification of P(x) is the proposition “P(x) is true for all values of x in the universe of discourse.” EXAMPLE 5 Express the statement Every student in this class has studied calculus as a universal quantification. EXAMPLE 8 What is the truth value of V x P(x), where P(x