离散数学第二章一至三节.pptVIP

第二章 谓词逻辑 §1 谓词的概念与表示 §2 命题函数与量词 §3 谓词公式与翻译 §4 变元的约束 §5 谓词演算的等价式与蕴含式 §6 前束范式 §7 谓词演算的推理理论 §1 谓词的概念与表示 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解. 这样会产生二大缺点：（1）不能研究命题的结构，成分和内部逻辑的特征；（2）也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 §2 命题函数与量词 1. 命题函数 客体在谓词表达式中可以是任意的名词。 例：C—“总是要死的。” j：张三；t：老虎；e：桌子。 则C(j), C(t), C(e)均表达了命题。 在上面的例子中，C：表示“总是要死的”；x：表示变元（客体变元），则C(x)表示“x总是要死的”，通常称C(x)为命题函数。 定义：由一个谓词字母和n个客体变元组成的表达式H(x1,x2,……，xn),称为（简单）命题函数。 讨论定义：（a）当简单命题函数仅有一个客体变元时，称为一元简单命题函数；（b）当个体变元x没有赋予确切的客体时，H(x)没有确切的真值，即并非命题。若用任何客体去取代客体变元之后，则命题函数就变为命题；（c）命题函数中客体变元的取值范围称为个体域（论述域）。 例：P(x)表示x是偶数。这是一个命题函数。 其真值取决于个体域。 §2 命题函数与量词 个体域的给定形式有二种： ①具体给定。 如：｛j, e, t｝ ②全总个体域(任意域)：将各种个体域综合在一起作为论述范围的域称全总个体域。 §2 命题函数与量词 2.量词 （1）全称量词“?”为全称量词符号，读作“对于所有的”，“对任一个”，“对一切”。例：“所有的人都是要呼吸的” 当个体域是全人类时，可写成： ?xA(x)或(?x)A(x) 几种形式的读法：· ?xP(x)： “对所有的x，x是…”；· ?x?P(x) ： “对所有x，x不是…”；· ??xP(x) ： “并不是对所有的x，x是…”；· ??x?P(x) ： “并不是所有的x，x不是…”。 例：将“对于所有的x和任何的y，如果x高于y，那么y不高于x”写成命题表达形式。解： ?x ?y(G(x,y)? ? G(y,x))  G(x,y)：x高于y （2）存在量词“?”为存在量词符号，读作“存在一个”，“对于一些”，“对于某些”，“至少存在一个”，“这里存在着这样的”等等。 “?”表达式的读法：· (?x)A(x) ：存在一个x,使x是…；· (?x)?A(x) ：存在一个x, 使x不是…；· ?(?x)A(x) ：不存在一个x, 使x是…； · ?(?x)?A(x) ：不存在一个x, 使x不是…。 例：（a）存在一个人； （b）某个人很聪明； （c）某些实数是有理数； 将（a）,（b）,（c）写成命题。 解：设： M(x)：x是人； C(x)：x是很聪明； R(x)：x是实数(特性谓词) Q(x)：x是有理数。 则 （a） ? x M(x) ； （b） ? x (M(x) ?C(x))； （c） ? x (R(x) ? Q(x)) 。 （3）量化命题的真值取决于给定的个体域。 若给定个体域{a1…an}，以{a1…an}中的每一个代入 ?xP(x)?P(a1)?… ? P(an) ?xQ(x)?Q(a1)?… ? Q(an) §2 命题函数与量词 *个体域不同，则表示同一命题的值不同。Q(x): x5 *个体域不同，则表示同一命题的谓词公式的形式不同。例：“所有的人必死。” 令D(x) ：x是要死的。 下面给出不同的个体域来讨论： (ⅰ)个体域为：{人类}， 则可写成?xD(x)； (ⅱ)个体域为任意域（全总个体域），则人必须首先从任意域中分离出来，对每一个客体变元的变化范围用特性谓词加以限制。 设M(x)，x是人，称M(x)为特性谓词。命题可写成  ?x(M(x) ? D(x)) 注：若一个谓词P(x)是用来限制客体变元的取值范围，那么称谓词P(x)为特性谓词。 §2 命题函数与量词 例如 （1）每个学生都要参加考试。 令P(x)：x是学生，Q(x):x要参加考试。可符号化为: ?x(P(x) ? Q(x)) （2）一些人是聪明的。 M(x): x是人，R(x)： x是聪明的。 可符号化为: ?x(M(x)∧R(x)). §3谓词公式与翻译 1.谓词公式原子谓词公式：不出现命题联结词和量词的谓词命名式称为原子