离散数学笔记.doc
《离散数学笔记.doc》由会员分享,可在线阅读,更多相关《离散数学笔记.doc(46页珍藏版)》请在冰点文库上搜索。
离散数学教案
第一章命题逻辑
内容:
命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法证明等方法
教学目的:
1.熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。
2.熟练掌握常用的基本等价式及其应用。
3.熟练掌握(主)析/合取范式的求法及其应用。
4.熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。
5.熟练掌握形式演绎的方法。
教学重点:
1.命题的概念及判断
2.联结词,命题的翻译
3.主析(合)取范式的求法
4.逻辑推理
教学难点:
1.主析(合)取范式的求法
2.逻辑推理
1.1命题及其表示法
1.1.1命题的概念
数理逻辑将能够判断真假的陈述句称作命题。
1.1.2命题的表示
命题通常使用大写字母A,B,…,Z或带下标的大写字母或数字表示,如Ai,[10],R等,例如
A1:
我是一名大学生。
A1:
我是一名大学生.
[10]:
我是一名大学生。
R:
我是一名大学生。
1.2命题联结词
1.2.1否定联结词﹁P
0
1
1
0
1.2.2合取联结词∧
0
0
0
0
1
0
1
0
0
1
1
1
1.2.3析取联结词∨
0
0
0
0
1
1
1
0
1
1
1
1
1.2.4条件联结词→
0
0
1
0
1
1
1
0
0
1
1
1
1.2.5双条件联结词
0
0
1
0
1
0
1
0
0
1
1
1
1.2.6与非联结词↑
0
0
1
0
1
1
1
0
1
1
1
0
性质:
(1)P↑P﹁(P∧P)﹁P;
(2)
(2)(P↑Q)↑(P↑Q)﹁(P↑Q)P∧Q;
(3)(P↑P)↑(Q↑Q)﹁P↑﹁QP∨Q。
1.2.7或非联结词↓
0
0
1
0
1
0
1
0
0
1
1
0
性质:
(1)P↓P﹁(P∨Q)﹁P;
(2)(P↓Q)↓(P↓Q)﹁(P↓Q)P∨Q;
(3)(P↓P)↓(Q↓Q)﹁P↓﹁Q﹁(﹁P∨﹁Q)P∧Q。
1.3命题公式、翻译与解释
1.3.1命题公式
定义命题公式,简称公式,定义为:
(1)单个命题变元是公式;
(2)如果P是公式,则﹁P是公式;
(3)如果P、Q是公式,则P∧Q、P∨Q、PQ、PQ都是公式;
(4)当且仅当能够有限次的应用
(1)、
(2)、(3)所得到的包括命题变元、联结词和括号的符号串是公式。
例如,下面的符号串都是公式:
((((﹁P)∧Q)R)∨S)
((P﹁Q)(﹁R∧S))
(﹁P∨Q)∧R
以下符号串都不是公式:
((P∨Q)(∧Q))
(∧Q)
1.3.2命题的翻译
可以把自然语言中的有些语句,转变成数理逻辑中的符号形式,称为命题的翻译。
命题翻译时应注意下列事项:
(1)确定所给句子是否为命题。
(2)句子中联结词是否为命题联结词。
(3)要正确的选择原子命题和合适的命题联结词。
例:
假如上午不下雨,我去看电影,否则就在家里读书或看报。
解:
设P:
上午下雨;Q:
我去看电影;R:
我在家里读书;S:
我在家里看报。
本例可表示为:
(PQ)∧(P(R∨S))。
1.3.3命题公式的解释
定义
设P1,P2,…,Pn是出现在命题公式G中的全部命题变元,指定P1,P2,…,Pn的一组真值,称这组真值为G的一个解释或赋值,记作I,公式G在I下的真值记作TI(G)。
例如,G=(P∧Q)R,则I:
1
1
0
是G的一个解释,在这个解释下G的真值为1,即TI(G)=1。
1.4真值表与等价公式
1.4.1真值表
定义将公式G在其所有解释下所取得的真值列成一个表,称为G的真值表。
构造真值表的方法如下:
(1)找出公式G中的全部命题变元,并按一定的顺序排列成P1,P2,…,Pn。
(2)列出G的2n个解释,赋值从00…0(n个)开始,按二进制递加顺序依次写出各赋值,直到11…1为止(或从11…1开始,按二进制递减顺序写出各赋值,直到00…0为止),然后从低到高的顺序列出G的层次。
(3)根据赋值依次计算各层次的真值并最终计算出G的真值。
例:
G=(P→Q)∧Q
0
0
1
0
0
0
1
1
0
0
1
0
0
1
0
1
1
1
0
0
1.4.2命题公式的分类
定义设G为公式:
(1)如果G在所有解释下取值均为真,则称G是永真式或重言式;
(2)如果G在所有解释下取值均为假,则称G是永假式或矛盾式;
(3)如果至少存在一种解释使公式G取值为真,则称G是可满足式。
1.4.3等价公式
定义设A和B是两个命题公式,如果A和B在任意赋值情况下都具有相同的真值,则称A和B是等价公式。
记为AB。
性质定理
设A、B、C是公式,则
(1)AA
(2)若AB则BA
(3)若AB且BC则AC
定理设A、B、C是公式,则下述等价公式成立:
(1)双重否定律AA
(2)等幂律A∧AA;A∨AA
(3)交换律A∧BB∧A;A∨BB∨A
(4)结合律(A∧B)∧CA∧(B∧C)
(A∨B)∨CA∨(B∨C)
(5)分配律(A∧B)∨C(A∨C)∧(B∨C)
(A∨B)∧C(A∧C)∨(B∧C)
(6)德·摩根律(A∨B)A∧B
(A∧B)A∨B
(7)吸收律A∨(A∧B)A;A∧(A∨B)A
(8)零一律A∨11;A∧00
(9)同一律A∨0A;A∧1A
(10)排中律A∨A1
(11)矛盾律A∧A0
(12)蕴涵等值式A→BA∨B
(13)假言易位A→BB→A
(14)等价等值式AB(A→B)∧(B→A)
(15)等价否定等值式ABABBA
(16)归缪式(A→B)∧(A→B)A
1.4.4置换规则
定理(置换规则)设(A)是一个含有子公式A的命题公式,(B)是用公式B置换了(A)中的子公式A后得到的公式,如果AB,那么(A)(B)。
1.5对偶与范式
1.5.1对偶
定义在仅含有联结词Ø、∧、∨的命题公式A中,将联结词∧换成∨,将∨换成∧,如果A中含有特殊变元0或1,就将0换成1,1换成0,所得的命题公式A*称为A的对偶式。
例:
公式(P∨Q)∧(P∨Q)的对偶式为:
(P∧Q)∨(P∧Q)
定理设A和A*互为对偶式,P1,P2,…,Pn是出现在A和A*中的所有原子变元,若将A和A*写成n元函数形式,则
(1)A(P1,P2,…,Pn)A*(P1,P2,…,Pn)
(2)A(P1,P2,…,Pn)A*(P1,P2,…,Pn)
定理(对偶原理)设A、B是两个命题公式,若AÛB,则A*B*,其中A*、B*分别为A、B的对偶式。
1.5.2范式
定义仅由有限个命题变元及其否定构成的析取式称为简单析取式,仅由有限个命题变元及其否定构成的合取式称为简单合取式。
定义仅由有限个简单合取式构成的析取式称为析取范式。
仅由有限个简单析取式构成的合取式称为合取范式。
定理(范式存在定理)任何命题公式都存在着与之等价的析取范式和合取范式。
1.5.3主范式
定义在含有n个命题变元P1,P2,…,Pn的简单合取范式中,若每个命题变元或其否定不同时存在,但二者之一必出现且仅出现一次,且第i个命题变元或其否定出现在从左起的第i个位置上(若命题变元无脚标,则按字典顺序排列),这样的简单合取式称为极小项。
相应的,满足上述条件的简单析取式称为极大项。
n个命题变元P1,P2,…,Pn的极小项用公式可表示为Pi*,极大项可表示为Pi*,其中,Pi*为Pi或Pi(i=1,2,…,n)。
定义设G为公式,P1,P2,…,Pn为G中的所有命题变元,若G的析取范式中每一个合取项都是P1,P2,…,Pn的一个极小项,则称该析取范式为G的主析取范式。
矛盾式的主析取范式为0。
定理任意的命题公式都存在一个唯一的与之等价的主析取范式。
用等值演算求主析取范式步骤如下:
(1)求G的析取范式G';
(2)
(2)若G中某个简单合取式m中没有出现某个命题变元Pi或其否定Pi,则将m作如下等价变换:
mm∧(Pi∨Pi)(m∧Pi)∨(m∧Pi)
(3)将重复出现的命题变元、矛盾式和重复出现的极小项都消去;
(4)重复步骤
(2)、(3),直到每一个简单合取式都为极小项;
(5)将极小项按脚标由小到大的顺序排列,并用∑表示。
如m0∨m1∨m7可表示为∑(0,1,7)。
定义设G为公式,P1,P2,…,Pn为G中的所有命题变元,若G的合取范式中每一个析取项都是P1,P2,…,Pn的一个极大项,则称该合取范式为G的主合取范式。
通常,主合取范式用∏表示。
重言式的主合取范式中不含任何极大项,用1表示。
定理任意的命题公式都存在一个唯一的与之等价的主合取范式。
1.6公式的蕴涵
1.6.1蕴涵的概念
定义
设G、H是两个公式,若G→H是永真式,则称G蕴涵H,记作GH。
蕴涵关系有如下性质:
(1)对于任意公式G,有GG;
(2)
(2)对任意公式G、H,若GH且HG,则GH;
(3)若GH且HL,则GL。
广义的蕴涵概念
定义设G1,G2,…,Gn,H是公式,如果(G1∧G2∧…∧Gn)→H是永真式,则称G1,G2,…,Gn蕴涵H,又称H是G1,G2,…,Gn的逻辑结果,记作(G1∧G2∧…∧Gn)H或(G1,G2,…,Gn)H。
1.6.2基本蕴涵式
(1)P∧QP;
(2)P∧QQ;
(3)PP∨Q;(4)QP∨Q;
(5)P(P→Q);(6)Q(P→Q);
(7)(P→Q)P;(8)(P→Q)Q;
(9)P,P→QQ;(10)Q,P→QP;
(11)P,P∨QQ;(12)P→Q,Q→RP→R;
(13)P∨Q,P→R,Q→RR;(14)P→Q,R→S(P∧R)→(Q∧S);
(15)P,QP∧Q。
1.7其它联结词与最小联结词组
1.7.1其它联结词
定义设P、Q为命题公式,则复合命题PQ称为P和Q的不可兼析取,当且仅当P与Q的真值不相同时,PQ的真值为1,否则PQ的真值为假。
定义设P、Q是两个命题公式,复合命题PQ称为命题P、Q的条件否定,当且仅当P的真值为1,Q的真值为0时,PQ的真值为1,否则PQ的真值为0。
1.7.2最小联结词组
定义设S是一些联结词组成的非空集合,如果任何的命题公式都可以用仅包含S中的联结词的公式表示,则称S是联结词的全功能集。
特别的,若S是联结词的全功能集且S的任何真子集都不是全功能集,则称S是最小全功能集,又称最小联结词组。
定理{,∧,∨,→,}是联结词的全功能集。
定理{,∧,∨}是联结词的全功能集。
定理{,∧},{、∨},{,→}是最小联结词组。
定理{↑},{↓}是最小联结词组。
1.8命题逻辑推理理论
1.8.1命题逻辑推理理论
定义如果G1,G2,…,Gn蕴涵H,则称H能够由G1,G2,…,Gn有效推出,G1,G2,…,Gn称为H的前提,H称为G1,G2,…,Gn的有效结论。
称(G1∧G2∧…∧Gn)→H是由前提G1,G2,…,Gn推结论H的推理的形式结构。
1.8.2推理规则
下面给出推理中常用的推理规则。
1.前提引入规则:
可以在证明的任何时候引入前提;
2.结论引入规则:
在证明的任何时候,已证明的结论都可以作为后续证明的前提;
3.置换规则:
在证明的任何时候,命题公式中的任何子命题公式都可以用与之等价的命题公式置换。
4.言推理规则:
P,P→QQ
5.附加规则:
PP∨Q;
6.化简规则:
P,QP;
7.拒取式规则:
Q,P→QP;
8.假言三段论规则:
P→Q,Q→RP→R;
9.析取三段论规则:
P,P∨QQ;
10.构造性二难规则:
P∨Q,P→R,Q→RR;
11.合取引入规则:
P,QP∧Q
1.8.3推理常用方法
1.直接证法
直接证法就是根据一组前提,利用前面提供的一些推理规则,根据已知的等价公式和蕴涵式,推演得到有效的结论的方法,即有前提直接推导出结论。
例构造下列推理的证明。
前提:
P∨Q,P→R,Q→S结论:
S∨R
证明
(1)P∨Q前提引入规则
(2)P→R前提引入规则
(3)Q→S前提引入规则
(4)S∨R
(1)
(2)(3)构造性二难规则
2.间接证法
间接证法主要有如下两种情况。
(1)附加前提证明法
有时要证明的结论以蕴涵式的形式出现,即推理的形式结构为:
(G1∧G2∧…∧Gn)(R→C)
设(G1∧G2∧…∧Gn)为S,则上述推理可表示为证明S(R→C),即证明S→(R→C)为永真式。
用附加前提证明法证明下面推理。
前提:
P→(Q→R),S∨P,Q结论:
S→R
证明:
(1)S∨P前提引入规则
(2)S附加前提引入规则
(3)P
(1)
(2)析取三段论规则
(4)P→(Q→R)前提引入规则
(5)Q→R(3)(4)假言推理规则
(6)Q前提引入规则
(7)R(5)(6)假言推理规则
2)归缪法
定义设G1,G2,…,Gn是n个命题公式,如果G1∧G2∧…∧Gn是可满足式,则称G1,G2,…,Gn是相容的。
否则(即G1∧G2∧…∧Gn是矛盾式)称G1,G2,…,Gn是不相容的。
例用归缪法证明。
前提:
P∨Q,P→R,Q→S结论:
S∨R
证明
(1)(S∨R)附加前提引入规则
(2)S∧R
(1)置换规则
(3)S
(2)化简规则
(4)R
(2)化简规则
(5)Q→S前提引入规则
(6)Q∨S(5)置换规则
(7)Q(3)(6)析取三段论
(8)P∨Q前提引入规则
(9)P(7)(8)析取三段论规则
(10)P→R前提引入规则
(11)P∨R(10)置换规则
(12)R(9)(11)析取三段论规则
(13)R∧R(4)(12)合取引入规则
第二章谓词逻辑
第三章
本章学习目标
命题逻辑中原子命题是最小的单位,不能够再进行分解,这给推理带来了很大局限性,本章引入谓词逻辑。
学习关于谓词逻辑的相关概念和定理,解决实际问题。
内容:
谓词、量词及谓词公式等概念,基本等价式、永真蕴涵式及谓词演算的形式推理方法,谓词范式的概念
教学目的:
1.深刻理解个体、谓词、量词的概念。
2.深刻理解原子、公式、解释的概念。
3.掌握用解释的方法证明等价式和蕴涵式。
4.熟练掌握谓词演算的形式推理方法。
教学重点:
1.个体、谓词、量词的概念
2.用解释的方法证明等价式和蕴涵式
3.谓词演算的形式推理方法
教学难点:
1.解释的方法证明等价式和蕴涵式
2.谓词演算的形式推理方法
2.1谓词逻辑命题的符号化
1.个体词:
个体词是指研究对象中不依赖于人的主观而独立存在的具体的或抽象的客观实体
个体常项或个体常元:
个体变项或个体变元:
个体域或论域:
2.谓词:
用来刻画个体词的性质或个体词之间关系的词
一般来说,“x是A”类型的命题可以用A(x)表达。
对于“x大于y”这种两个个体之间关系的命题,可表达为B(x,y),这里B表示“…大于…”谓词。
我们把A(x)称为一元谓词,B(x,y)称为二元谓词,M(a,b,c)称为三元谓词,依次类推,通常把二元以上谓词称作多元谓词。
例2.1将下列命题在谓词逻辑中符号化,并讨论它们的真值:
(1)只有4是素数,8才是素数。
(2)如果2小于3,则8小于7。
解
(1)设谓词G(x):
x是素数,a:
4,b:
8;
(1)中的题符号化为谓词的蕴涵式:
G(a)→G(b)
由于此蕴涵式的前件为假,所以
(1)中的命题为真。
(2)设谓词H(x,y):
x小于y,a:
2,b:
3,c:
8,d:
7
(2)中的命题符号化为谓词的蕴涵式:
H(a,b)→H(c,d)
由于此蕴涵式的前件为真,后件为假,所以
(2)中的命题为假。
例2.2在个体域分别限制为(a)和(b)条件时,将下面的命题符号化:
(1)所有人都是要死的。
(2)有的人天生就近视。
其中:
(a)个体域D1为人类集合。
(b)个体域D2为全总个体域。
解(a)令F(x):
x要死的;G(x):
x天生就近视。
(1)在个体域D1中除人外,没有其他的事物,因而
(1)可符号化为:
xF(x)
(2)在个体域D1中有些人是天生就近视,因而
(2)可符号化为谓词的蕴涵式:
xG(x)
(b)在个体域D2中除人外,还有其他的事物,因而在将
(1)、
(2)符号化时,必须考虑先将人分离出来,令M(x):
x是人。
在D2中,
(1)、
(2)可分别描述如下:
(1)对于宇宙间的一切事物,如果事物是人,则他是要死的。
(2)在宇宙间存在着天生就近视的人。
将
(1)、
(2)分别符号化为:
(1)x(M(x)F(x))
(2)x(M(x)G(x))
在个体域D1、D2中命题
(1)、
(2)都是真命题。
例2.3在个体域分别限制为(a)和(b)条件时,将下面的命题符号化:
(1)对任意的x,都有x2-5x+6=(x-2)(x-3)
(2)存在x,使得x+1=0。
其中:
(a)个体域D1为自然数集合。
(b)个体域D2为实数集合。
解(a)令F(x):
x2-5x+6=(x-2)(x-3);G(x):
x+1=0。
(1)可符号化为:
xF(x)
(2)可符号化为:
xG(x)
在个体域D1中命题
(1)为真命题,命题
(2)为假命题。
(b)在个体域D2中
(1)、
(2)符号化分别为
(1)xF(x)
(2)xG(x)
在个体域D2中命题
(1)、
(2)都是真命题。
例2.4将下列命题符号化,并指出真值情况。
(1)没有人登上过月球。
(2)所有人的头发未必都是黑色的。
解个体域为全总个体域,令M(x):
x是人。
(1)令F(x):
x登上过月球。
命题
(1)符号化为:
x(M(x)∧F(x))
设a是1969年登上月球完成阿波罗计划的一名美国人,则M(a)∧F(a)为真,故命题
(1)为假。
(2)令H(x):
x的头发是黑色的。
命题
(2)可符号化为:
x(M(x)H(x))
我们知道有的人头发是褐色的,所以x(M(x)H(x))为假,故命题
(2)为真。
例2.5将下列命题符号化。
(1)猫比老鼠跑得快。
(2)有的猫比所有老鼠跑得快。
(3)并不是所有的猫比老鼠跑得快。
(4)不存在跑得同样快的两只猫。
解设个体域为全总个体域。
令C(x):
x是猫;M(y):
y是老鼠;Q(x,y):
x比y跑得快;L(x,y):
x和y跑得同样快。
这4个命题分别符号化为:
(1)xy(C(x)∧M(y)Q(x,y));
(2)x(C(x)∧y(M(y)Q(x,y)));
(3)xy(C(x)∧M(y)Q(x,y));
(4)xy(C(x)∧C(y)∧L(x,y))
2.2谓词逻辑公式与解释
2.2.1谓词逻辑的合式公式
定义2.1设P(x1,x2,…,xn)是n元谓词公式,其中,x1x2,…,xn是个体变项,则称P(x1,x2,…,xn)为谓词演算的原子公式。
定义2.2谓词演算的合式公式定义如下:
(1)原子公式是合式公式;
(2)若A是合式公式,则(﹁A)也是合式公式;
(3)若A,B是合式公式,则(A∧B)、(A∨B)、(A→B)、(A↔B)是合式公式;
(4)若A是合式公式,则xA、xA是合式公式;
(5)只有有限次地应用
(1)-(4)构成的符号串才是合式公式。
例2.5在谓词逻辑中将下列命题符号化。
(1)不存在最大的数。
(2)计算机系的学生都要学离散数学。
解取个体域为全总个体域。
(1)令F(x):
x是数,L(x,y):
x大于y;则命题
(1)符号化为
﹁x(F(x)∧y(F(y)→L(x,y)))
(2)令C(x):
x是计算机系的学生,G(x):
x要学离散数学;则命题
(2)可符号化为:
x(C(x)→G(x))
例2.6将下列命题符号化。
(1)尽管有人聪明,但并非所有人都聪明。
(2)这只大红书柜摆满了那些古书。
解
(1)令C(x):
x聪明;M(x):
x是人。
则命题
(1)可符号化为
x(M(x)∧C(x))∧﹁x(M(x)→C(x))
(2)令F(x,y):
x摆满了y;R(x):
x是大红书柜;Q(x):
x是古书;a:
这只;b:
那些。
则命题
(2)可符号化为
R(a)∧Q(b)∧F(a,b)
2.2.2约束变元与自由变元
1.约束变元与自由变元的概念
定义2.3在公式xF(x)和xF(x)中,称x为指导变元,F(x)为相应量词的辖域或作用域。
在x和x的辖域中,x的所有出现都称为约束出现