[离散数学]离散数学演示文件修改版.pptx

;例2.令Ａ：所有自然数都是整数。Ｂ：８是自然数。;解决这个问题的方法：;2-1 基本概念;2-1.2 谓词;2-1.3 命题函数;令谓词S(x):x是大学生，括号内填入不同的人名，就得到不同的命题，故谓词S(x)相当于一个函数，称之为命题函数。

定义：n元谓词P(x1,x2,…,xn)称之为简单命题函数。规定：当命题函数P(x1,x2,…,xn)中n=0时，即0

元谓词，表示不含有客体变元的谓词，它本身就是一个命题变元。

定义：将若干个简单命题函数用逻辑联结词联结起来，构成的表达式，称之为复合命题函数。简单命题函数与复合命题函数统称为命题函数。;例如

给定简单命题函数： A(x)：x身体好， B(x)：x学习好， C(x)：x工作好，

复合命题函数 A(x)→(;2-1.4 论域(个体域);2-1.5 量词;定义：量词后边要有一个客体变元，指明对哪个客体变元量化，称此客体变元是量词后的指导变元。

例如 x(读作“任意x”)， x(读作“存在x”)，其中的x就是量词后的指导变元。

例题１.所有的自然数都是整数。

设N(x)：x是自然数。I(x)：x是整数。此命题可以写成 x(N(x)→I(x))

例题２.有些自然数是偶数。设E(x)：x是偶数。

此命题可以写成 x(N(x)∧E(x));例题3. 每个人都有一个生母。

设P(x):x是个人。M(x,y):y是x的生母。此命题可以写成

x(P(x)→ y(P(y)∧M(x,y)));2-2 谓词公式及命题符号化;例题2 小王的父亲是个医生。

设函数f(x)=x的父亲，谓词D(x):x是个医生，a:小王，此命题可以表示为D(f(a)).

例题3如果x和y都是奇数，则x+y是偶数。 设h(x,y)=x+y，此命题可以表示为:

x y((O(x)∧O(y))→E(h(x,y))

像上述的g(x)、f(x)、h(x,y)就是客体函数，一般地用小写的英文字母f,g,h….表示客体函数。

注意:客体函数与谓词是不同的，不可混淆.;要注意区分客体函数与谓词间的区别：

设例题1的论域是自然数集合N。

客体函数中的客体变元用客体带入后的结果依然是个客体(3∈N,g(3)=6，所以g(3)∈N)。

谓词中的客体变元用确定的客体带入后就变成了命题，其真值为Ｔ或者为Ｆ(3∈N,O(３)是个命题,真值为T)。

把它们都看成“映射”的话，则

客体函数是论域到论域的映射，g:N→N，如果指定的客体a∈N，则g(a)∈N。

而谓词是从论域到{T,F}的映射，即谓词E(x)可

以看成映射E:N→{T,F}，如果指定客体a∈N，则E(a)的真值∈{T,F}。;2-2.2 原子谓词公式;2-2.3 谓词合式公式(WFF);x(A(x)→B(x))、;2-2.4 量词的作用域(辖域);一般地，

如果量词后边只是一个原子谓词公式时，该量词的辖域就是此原子谓词公式。

如果量词后边是括号，则此括号所表示的区域就是该量词的辖域。

如果多个量词紧挨着出现，则后边的量词及其辖域就是前边量词的辖域。;2-2.5 自由变元与约束变元;定义：如果客体变元x在 x或者 x的辖域内，则称x在此辖域内约束出现，并称x

在此辖域内是约束变元。否则x是自由出现，并称x是自由变元。

上例中

x(F(x,y)→ yP(y))∧Q(z)

F(x,y)中的x和P(y)中的y是约束变元。而F(x,y)中的y和Q(z)中的z是自由变元。;对约束变元和自由变元有如下几点说明：(1).对约束变元用什么符号表示无关紧要。就是说 xA(x)与 yA(y)是一样的。这类

似于计算积分与积分变元无关，即积分

∫f(x)dx与∫f(y)dy相同。

(2).一个谓词公式如果无自由变元，它就表示一个命题。

例如A(x)表示x是个大学生。 xA(x)或者 xA(x)就是个命题了，因为它们分别表示命题“有些人是大学生”和“所有人都是大学生”。;(3).一个n元谓词P(x1,x2,…,xn)，若在前边添加k个量词，使其中的k个客体变元变成约束变元，则此n元谓词就变成了n-k元谓词。

例如P(x,y,z)表示x+y=z，假设论域是整数集。 xyP(x,y,z)表示“任意给定的整数x，都可

以找到整数y，使得x+y=z”。

如果令z=1，则xyP(x,y,1)就变成了命题“任意给定的整数x，都可以找到整数y，使得x+y=1”,…。;在一个谓词公式中，如果某个客体变元既以约束变元形式出现，又以自由变元形式出现，就容易产生混淆。为了避免此现象发生，可以对客体变元更改名称。

如 x(F(x,y)→ yP(y))∧Q(z)

约束变元的改名规则：

对约束变元可以更改名称，改名的范围是：量词后的指导变元以及该量词的辖域内此客体变