《离散数学第四版讲义2.docVIP

第9章 树 [离散数学离散数学(第四版)清华出版社] 2、一阶逻辑公式及解释 3、一阶逻辑等值式 1、一阶逻辑基本概念 前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：电子政务是计算机技术的一个应用系统。 由此可知，主语是独立存在的个体，而谓语用来描述该个体的性质或个体间的关系，这里我们称其为谓词。用P表示谓词“是……”。则P（电子商务）或P（电子政务）分别等值于前述两个命题的表达。将个体用变量（称为个体变量）x推广，则P(x)表示：x是计算机技术的一个新的应用系统。这时该语句就不是一个命题，而是一个命题函数。 DEFINITION 1. 一个谓词P连同相关的n(n≥0)个个体变量组成的表达式称为n元谓词(n-predicate)，记P(x1, x2, …, xn)，其中n是该表达式中不同个体变量的数目。 EXAMPLE 1 设P(x)表示语句“x 3.”，则P(4)和P(2)的真值是多少? P(4) = 1 P(2) = 0 EXAMPLE 2 设Q(x, y)表示语句“x = y + 3.”，则Q(1, 2) 和Q(3, 0)的真值是多少? Q(1,2) = 0 Q(3,0) = 1 EXAMPLE 3 设R(x, y, z) 表示语句“x+y=z.”，则R(1, 2, 3) 和R(0, 0, 1) 的真值是多少? R(1, 2, 3)= 1 R(0, 0, 1)= 0 当n1时，通常P给出了xi(i=1,2,…,n)之间的关系。 例如，P(x,y,z)表示x位于y与z之间，是一个三元谓词。当x,y,z分别用赤道、南半球、北半球代入时，得到命题：赤道位于南半球与北半球之间，其真值为1。再如，将杭州、南京、北京代入，则得到：杭州位于南京和北京之间，真值为0。 当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) 恒成立。也就是说，该谓词的真值无论用什么个体代入总是对应为1。此类谓词的真值描述通过一个称为全称量词()的特殊符号来量化。 DEFINITION 2. 谓词P(x)的全称量化(universal quantifi-cation)是一个按如下规则确定真值的命题：如果对每一个个体a代入得到的P(a)均为1，则该命题为1。记为xP(x)。这里是全称量词(universal quantifier)，表示为“任意的”、“所有的”、“一切”等等。 EXAMPLE 4 符号化下列命题：“这班的所有同学都学微积分。” 符号化为： P(x) = “x 学微积分。” S(x) = “x是这班的学生。” xP(x) 或 x (S(x)→P(x)) EXAMPLE 5 设P(x) 表示语句“x210.”，个体域为不大于4的所有正整数。则x P(x)的真值是多少? x P(x)=P(1)∧P(2)∧P(3)∧P(4) = 0 DEFINITION 3. 谓词P(x)的存在量化(existential quantifi-cation)是一个按如下规则确定真值的命题：如果个体域中存在一个个体a代入得到的P(a)为1，则该命题为1，否则为0。记为$xP(x)。这里$称为存在量词(existential quantifier)。表示为“有一个”、“某些”、“某个”、“至少有一个”等等。 EXAMPLE 6 设P(x) 表示语句“x 3.”，个体域为实数集合。则$x P(x)的真值是多少? 因为若以x=4为例，“x3”是正确的，说明存在x，使得P(x)为真，所以$x P(x)的真值为1。 EXAMPLE 7