自考离散数学期末复习
离散数学自学考试复习题
51．设G是连通平面图，G中有6个顶点8条边，则G的面的数目是（ ） A．2个面 B．3个面 C．4个面 D．5个面 52．一公式为 之充分必要条件是其析取范式之每一析取项中均必同 时包含一命题变元及其否定；一公式为 之充分必要条件是其合取范 式之每一合取项中均必同时包含 一命题变元及其否定。 53．前束范式具有形式(Q1V1)(Q2V2)…(QnVn)A，其中Qi(1论域是{a,b,c}，则(x)S(x)等价于命题公式 ；()S(x)等价于命题公 式 。 55．设R为A上的关系，则R的自反闭包r(R)= ，对称闭包s(R)= 。 56．某集合A上的二元关系R具有对称性，反对称性，自反性和传递性， 此关系R是 ，其关系矩阵是 。 57．设<S,≤>是一个偏序集，如果S中的任意两个元素都有 和 ，则 称S关于≤构成一个格。 58．设Z是整数集，在Z上定义二元运算*为a*b=a+b+a·b，其中+和·是数 的加法和乘法，则代数系统<Z,*>的幺元是 ，零元是 。 59．如下平面图有2个面R1和R2，其中deg(R1)= ，deg(R2)= 。
A．{{a},{b,c},{d}} B．{{a,b},{c},{d}} C．{{a},{b},{c},{d}} D．{{a,b},{c,d}} 44．设A={Ø}，B=P(P(A))，以下正确的式子是（ ） A．{Ø,{Ø}}∈B B．{{Ø,Ø}}∈B C．{{Ø},{{Ø}}}∈B D．{Ø,{{Ø}}}∈B 45．设X，Y，Z是集合，一是集合相对补运算，下列等式不正确的是（ ） A．(X-Y)-Z=X-(Y∩Z) B．(X-Y)-Z=(X-Z)-Y C．(X-Y)-Z=(X-Z)-(Y-Z) D．(X-Y)-Z=X-(Y∪Z) 46．设*是集合A上的二元运算，称Z是A上关于运算*的零元，若（ ） A．有x*Z=Z*x=Z B．ZA，且有x*Z=Z*x=Z C．ZA，且有x*Z=Z*x=x D．ZA，且有x*Z=Z*x=Z 47．在自然数集N上，下列定义的运算中不可结合的只有（ ） A．a*b=min(a,b) B．a*b=a+b C．a*b=GCD(a,b)(a,b的最大公约数) D．a*b=a(mod b) 48．设R为实数集，R+={x|x∈R∧x>0}，*是数的乘法运算，<R+，*>是一 个群，则下列集合关于数的乘法运算构成该群的子群的是（ ） A．{R+中的有理数} B．{R+中的无理数} C．{R+中的自然数} D．{1，2，3} 49．设<A,*,>是环，则下列正确的是（ ） A．<A,>是交换群 B．<A,*>是加法群 C．对*是可分配的 D．*对是可分配的 50．下列各图不是欧拉图的是（ ）
离散数学期末考试复习题及参考答案-专升本
《离散数学》复习题一、填空题1、若P ，Q 为二命题，Q P ↔真值为1，当且仅当 。
2、对公式),()),(),((y x xR z x zQ y x yP ∀∨∃∧∀中自由变元进行代入的公式为 。
3、))(()(x xG x xF ∃⌝∧∀的前束范式为 。
4、设x 是谓词合式公式A 的一个客体变元，A 的论域为D ，A （x ）关于y 的自由的，则 被称为全称量词消去规则，记为US 。
5、与非门的逻辑网络为 。
6、}0|{>∧∈=+x Z x x Z ，*表示求两数的最小公倍数的运算（Z 表示整数集合），对于*运算的幺元是 ，零元是 。
7、代数系统<A,*>中，|A|>1，如果θ和e 分别为<A,*>的幺元和零元， 则θ和e 的关系为 。
8、设<G,*>是一个群，<G,*>是阿贝尔群的充要条件是 。
9、图的完全关联矩阵为 。
10、一个图是平面图的充要条件是 。
二、选择题1、下列各符号串，不是合式公式的有（ ）。
A 、R Q P ⌝∧∧)(；B 、)()((S R Q P ∧→→；C 、R Q P ∧∨∨；D 、S R Q P ∨∧∨⌝))((。
2、下列语句是命题的有（ ）。
A 、2是素数；B 、x+5 > 6；C 、地球外的星球上也有人；D 、这朵花多好看呀！。
3、下列公式是重言式的有（ ）。
A 、)(Q P ↔⌝；B 、Q Q P →∧)(；C 、P P Q ∧→⌝)(；D 、P Q P ↔→)(4、下列问题成立的有（ ）。
若C B C A ∨⇔∨，则B A ⇔； B 、若C B C A ∧⇔∧，则B A ⇔； C 、若B A ⌝⇔⌝，则B A ⇔； D 、若B A ⇔，则B A ⌝⇔⌝。
5、命题逻辑演绎的CP 规则为（ ）。
A 、在推演过程中可随便使用前提；B 、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；C 、如果要演绎出的公式为C B →形式，那么将B 作为前提，设法演绎出C ；D 、设)(A Φ是含公式A 的命题公式，A B ⇔，则可用B 替换)(A Φ中的A 。
离散数学期末复习习题
离散数学一、选择题1△O Y C3A^Q un ㊉iv1.设：P：张三可以作这件事，Q：李四可以作这件事，命题“张三或李四都可以做这件事”的符号化为()A、PVQB、PVi QC、P—QD、-P V -Q2.谓词公式V x(P(x)V m yR(y))fQ(x)中量词V x的作用域是()A. V x(P(x) V3yR(y))B.P(x)C. (P(x) V3yR(y)) D,P(x), Q(x)3.若个体域为整体域，下列公式中哪个值为真？()A. V x 3y(x+y=0)B. 3y V x(x+y=0)C. V x V y(x+y=0)D. n 3x 3y(x+y=0)4.空集①的幂集P (①)的基数是()A. 1B.2C.3D.45.设R、S是集合A上的任意关系，则下面命题是真命题的是()。
A.若R、S是自反的，则R・S是自反的B.若R、S是反自反的，则R・S是反自反的C.若R、S是对称的，则R・S是对称的D.若R、S是传递的，则R・S是传递的6.集合 A={1, 2,…，10}上的关系 R={(x, y)|x+y=10 且x, y£A},则 R 的性质为()A.自反的B.对称的C.传递的，对称的口.非自反的，传递的7.含有5个结点，3条边的不同构的简单图有()A.2个B.3个C.4个D.5个8.设G (n, m),且G中每个结点的度数不是K就是K+1,则G中度数为K的结点数()A.2/nB.n(n+1)C.nkD.n(k+1)-2m9.设谓词P(x) :x是奇数，Q(x):x是偶数，谓词公式m(x) (P(x) AQ(x))在下面哪个论域中是可满足的。
()A自然数集 B整数集 C实数集 D以上均不成立10.设C(x)： x是运动员，G(x)： x是强壮的。
命题“没有一个运动员不是强壮的”可符号化为()A. n V x(C(x) A n G(x))B. iV xOx) — G(x))C. _|m x(C(x)A_|G(x))D. im x(C(x) - 1 G(x))11.设集合 M={x|f (x) =0}, N={x|g (x) =0},则方程 f (x)・g (x) =0 的解集是()A.MANB.MUNC.M ㊉ ND.M-N12.设A=/"a}},下列选项错误的是()A. {a} e p(A)B. {a}U p(A)C. {{a}} e p(A)D. {{a}} e p(A)13.设A={1,2,3,4,5},p{<i,j>|i<j,i,j £ A}则 p 逆的性质是()A.对称的B.自反的C.反对称的D.反自反，反对称，传递的14.设R和S是集合A上的等级关系，则RUS的对称性()A. 一定成立B.一定不成立C.不一定成立D.不可能成立15. K4中含有3条边的不同构生成子图有()A.1个B.3个C.4个D.2个16.设G=<V,E>为无向图，u,v £V，若u,v连通，则()A.d(u,v)>0B.d(u,v)=0C.d(u,v)<0D.d(u,v)三0二、填空题1.命题公式I(P-Q)的主析取范式为()，主合取式的编码表示为().2.设Q(x)： x是奇数，Z(x)： x是整数，则语句“不是所有整数都是奇数”所对应的谓词公式为()。
自考离散数学期末复习
P;¬ （P→Q） Q ¬ P Q P→R P↔R
（P→Q）˅(Q →R)
（10）双条件三段论 （P↔Q）˅ （Q↔R） （11）合取构造二难 （12）析取构造二难 （13）前后件附加
1.2 复合命题与联结词
常用的联结词 （3）析取 P∨Q的真值
当且仅当P与Q同时为F时，P∨Q为F.否则，P∨Q为T P T Q T P∨Q T
T
F F
F
T FTຫໍສະໝຸດ T F1.2 复合命题与联结词
常用的联结词 （4）条件 定义1.2.4
给定两个命题P, Q，其条件命题是一个复合命题，记作P→Q。
1.2 复合命题与联结词
常用的联结词 （5）双条件 P↔Q 的真值
当P与Q的真值为相同时，P↔Q 为T.其余情况，P↔Q 为F
P T
Q T
P↔Q T
T
F F
F
T F
F
F T
1.2 复合命题与联结词
1.2 复合命题与联结词
1.3 命题公式与真值表
真值表
定义1.3.3 设P为一命题公式，P1 , P2, P3,...Pn 为出现在P中的所有命题变元，
两个等值公式： ¬ P ˅ Q P→Q (P˅Q) ˅(¬ P˅¬ Q) P↔Q
零律
PTT,
P F F
否定律
P˅ PT, PPF
1.4 等价变换与蕴含式
等价变换
定理1.4.1 设 X 是合式公式 A 的子公式，若有Y也是一个合式公式，且XY，
如果将A中的X用Y置换， 得到公式B,则 AB。
1.5 最小联结词组与范式
小项的表示 一般来说， n个命题变元有 2n个小项，n个命题变元的小项，将命题变元看成1，
离散数学期末总复习
3．传递性 若 xyz(x,y,z∈A∧<x,y>∈R∧<y,z>∈R→<x,z> ∈R), 则称R是A上的传递关系.
6、关系的闭包 设R是非空集合A上的关系, R的自反 （对称或传递）闭包是A上的关系R, 使得 R满足以下条件： （1）R是自反的（对称的或传递的） （2）RR （3）对A上任何包含R的自反（对称或传递） 关系R 有RR. 一般将R的自反闭包记作r(R), 对称闭包 记作s(R), 传递闭包记作t(R).
(p r) (q r )
pr p(qq)r (pqr)(pqr) M0M2 qr (pp)qr (pqr)(pqr) M0M4
A =(p q) ∨r M0M2M4
6. 联结词完备集 设S是一个联结词集合，如果任何 n(n1) 元真值函数都可以由仅含S中的联结 词构成的公式表示，则称S是联结词完备集.
期末考试的题型：
一、选择题：10题*2分
二、填空题：5题*2分 三、计算题：5题*9分
四、证明题：2题*8分
五、综合题：1题:9分
第一部分
1┐p
（1）否定“ ┐”
0 1
p q 0 1 0 1
1 0
p∧q
（2）合取“ ∧ ”
0 0 1 1
0 0 0 1
例如： p, pq, pq, (pq)p(pqr)
范式——析取范式与合取范式的总称
（3）、主析取范式与主合取范式
在含有n个命题变项的简单合取式（简 单析取式）中，若每个命题变项和它的否 定式恰好出现且仅出现一次，而且命题变 项和它的否定式按下标从小到大或按字典 顺序排列，称这样的简单合取式（简单析 取式）为极小项(极大项).
离散数期末复习
1
推理证明过程如下：
2
(∀x)(N(x) I(x)) P规则
3
(∃x)(N(x)
I(x)) T规则和
4
N(a)
I(a)
ES
1
规则和2
5
N(a)
T规则和3
6
I(a)
T规则和3
7
(∀x)(N(x) (Q(x)∇E(x)))
P规则
8
N(a) (Q(a)∇E(a)) US规则和６
• 8 Q(a)∇E(a)
空关系vs空集上的关系
空集上的关系：自反的，反自反的，对称的，反对称的， 可传递的。在空集上可定义任意元 关系。
性质：若A非空，空关系是反自反的，对称的，反对称的，可传递的； 若A是空集，该空关系是自反的，反自反的，对称的，反对称的，可传递的
空关系：对于任何集合A, 称空集为A上的空关系.
1. 3-1设A={1,2,3},R是ρ(A)上的二元关系，且R={<a,b>|a,b∈ρ(A),a∩b≠Φ},则R 不满足下列哪些性质？为什麽？
2. 自反性 2)反自反性 3)对称性 3. 反对称性 5)传递性 4. 解：1)因为Φ∈ρ(A)，但Φ∩Φ＝Φ 5. 所以<Φ,Φ>∉R，即Ｒ不满足自反性。 6. 因为{1}∈ρ(A)但{1}∩{1}={1}≠Φ 7. 即<{1},{1}>∈R，因此Ｒ不是反自反的． 8. 对任意x,y∈ρ(A),若x∩y≠Φ,即 9. <x,y>∈R,则y∩x≠Φ即<y,x>∈R即R满足对称性。
1. s(R)=R∪R~ 2. t(R)= ∪i=1nRi 3. 关系的性质： 4. R是自反的＝(∀x)(x∈X <x,x>∈R) 5. R是反自反的＝(∀x)(x∈X<x,x>∉R) 6. R是不自反的 7. (∃x)(∃y)(x,y∈X<x,x>∈R<y,y>∉R) 8. R是对称的＝(∀x)(∀y)(x,y∈X <x,y>∈R <y,x>∈R) 9. R是反对称的=(∀x)(∀y)(x,y∈X<x,y>∈R <y,x>∈Rx=y)
离散数学复习知识点
复习知识点： 第1章1． 命题、真命题、假命题 2． 命题符号化〔连接词〕设P ：天下大雨，Q ：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符合化为〔 D 〕A ．Q P ∧⌝B ．Q P →⌝C ．Q P ⌝→⌝D ．Q P ⌝→设P ：只有你通过了大学英语六级考试，Q ：你是英语专业的学生，R ：你可以选修这门课程。
命题“只有你通过了大学英语六级考试而且不是英语专业的学生，才可以选修这门课程”( B )A ．R Q)(P →∧B ．R Q)(P →⌝∧C ．R Q)(P ↔⌝∧D ．R Q)(P ↔∧3． 什么是命题公式 4． 命题公式的等价式5． 利用逻辑等价关系证明下面的等价关系 Q P Q)(P P))(Q Q)((P ∨⇔∧→→∧→证明：6． 用真值表法求命题公式的主析取范式和主合取范式 7． 符号化以下语句，并推证结论的有效性。
有些学生相信所有的老师，任何一个学生都不相信骗子，所以老师都不是骗子。
解：设论述域为全总个体域，S(x)：x 是学生，T(x)：x 是老师，P(x)：x 是骗子，L(x,y)：x 相信y 。
将前提和结论符号化为P(x))x(T(x)y)))L(x,y(P(y)x(S (x)y))),L(x,y(T(y)x(S (x)⌝→∀⇒⌝→∀→∀→∀∧∃〔1〕y)))L(x,y(T(y)x(S (x)→∀∧∃ P 〔2〕y))L(a,y(T(y)S (a)→∀∧T1，ESQ)(P TQ)(P Q)Q (Q)(P Q Q)(P T)(Q Q)(P P))P ((Q Q)(P Q)(P P)(Q Q)(P Q)(P P)Q (Q)P (Q)(P P))Q (Q)P ((Q)(P P)Q (Q)P (Q)(P P))(Q Q)((P ∨⇔∧∨⇔∨⌝∧∨⇔∨⌝∧⇔∧∨⌝∧⇔∨⌝∧∨⌝∧⇔∧∨⌝∧∨⌝∧⇔∧∨∨⌝⌝∨∨⌝⌝⇔∧∨∨⌝∧∨⌝⌝⇔∧→∨⌝∧∨⌝⇔∧→→∧→〔3〕S(a) T2，I 〔4〕y))L(a,y(T(y)→∀ T2，I 〔5〕b)L(a,T(b)→T4，US 〔6〕y)))L(x,y(P(y)x(S (x)⌝→∀→∀ P 〔7〕y))L(a,y(P(y)S (a)⌝→∀→ T6，US 〔8〕y))L(a,y(P(y)⌝→∀ T3,7，I 〔9〕b)L(a,P(b)⌝→ T8，US 〔10〕P(b)b)L(a,⌝→ T9，E 〔11〕P(b)T(b)⌝→T5,10，I 〔12〕P(x))x(T(x)⌝→∀T11，UG侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后，得到以下事实： （1） 是营业员甲或营业员乙作案。
离散数学复习题及答案
总复习题（一）一．单选题1 (C)。
一连通的平面图，5个顶点3个面，则边数为（）。
、4 、5 、6 、72、 (A)。
如果一个简单图，则称为自补图，非同构的无向4阶自补图有（）个。
、1 、2 、3 、43、 (D)。
为无环有向图，为的关联矩阵，则（）。
、是的终点、与不关联、与关联、是的始点4、 (B)。
一连通的平面图，8个顶点4个面，则边数为。
、9 、10 、11 、125、 (D)。
如果一个简单图，则称为自补图，非同构的3阶有向完全图的子图中自补图有个。
、1 、2 、3 、46、21条边，3个4度顶点，其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、107、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。
一连通的平面图，9个顶点5个面，则边数为。
、9 、10 、11 、12A B C D G G ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v j e B i v j e C i v j e D i v j e A B C D G G ≅G A B C D A B C D A B C D A B C D9、21条边，3个4度顶点，其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、1010、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。
一连通的平面图，9个顶点5个面，则边数为。
、9 、10 、11 、1212、 (B)。
为有向图，为的邻接矩阵，则。
、邻接到的边的条数是５、接到的长度为４的通路数是５、长度为４的通路总数是５、长度为４的回路总数是５13、 (C)。
在无向完全图中有个结点，则该图的边数为（）。
A 、B 、C 、D 、14、 (C)。
任意平面图最多是（）色的。
A 、3B 、4C 、5D 、615、 (A)。
对与10个结点的完全图，对其着色时，需要的最少颜色数为（）。
离散数学复习资料
1.证明永真公式Q14,Q15,Q16,Q17和Q18。
2.证明P(x)∧任意xQ(x)==>存在x(P(x)∧Q(x))3.设论述域是{a1,a2,a3,…an},试证明下列关系式。
(a) 任意xA(x)∧P<==>任意x(A(x)∧P)(b) 任意x(A(x)∧B(x))<==>任意xA(x)∧任意xB(x)(c) 存在x(A(x)∧B(x))<==>存在xA(x)∧存在xB(x)4.证明下列关系式(a) 任意x任意y(P(x)∨P(y))<==>任意xP(x)∨任意yP(y)(b) 存在x存在y(P(x)∧Q(y))==>存在xP(x)(c) 任意x任意y(P(x)∧Q(y))<==>任意xP(x)∧任意yQ(y)(d) 存在x存在y(P(x)－＞P(y)) <==>任意xP(x)－＞存在yP(y)(e) 任意x任意y(P(x) －＞Q(y)) <==>(存在xP(x)－＞任意yQ(y))5.写出limf(x)=k的定义的符号形式，并用形成定理两边的否定的方法，找出limf(x)不等x->c x->c于k的条件。
6.给定自然数集合N的下列子集：A={1,2,7,8}B={i|i平方<50}C={i|i可被30整除}D={i|i=2的k次方∧k∈I∧0≤k≤6}求下列集合(a)A∪(B∪(C∪D))(b)A∩(B∩(C∩D))(c)B-(A∪C)(d)(非A∩B) ∪D7.假定A≠空集和A∪B=A∪C，证明这不能得出B=C，假设中增加A∩B=A∩C，你能得出B=C吗？8．(a)证明“相对补”不是一个可交换运算，即证明存在一个论述域包含集合A和B，使A-B≠B-A。
(b)A-B=B-A可能吗？刻划上式出现的全部条件。
(c)“相对补”是一个可结合的运算马？证明你的断言。
9.证明下列恒等式(a)A∪(A∩B)=A(b)A∩(A∪B)=A(c)A-B=A∩非B(d)A∪(非A∩B)=A∪B(e)A∩(非A∪B)=A∩B10.设Sn={a0,a1,…,an}和Sn+1={a0,a1, …,an,an+1},试用p(Sn)和an+1表达出p(Sn+1)。
离散数学复习提纲(完整版)解析
《离散数学》期末复习大纲（完整版）（含例题和考试说明）一、命题逻辑[复习知识点]1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价↔），复合命题2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）5、命题逻辑的推理理论本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。
2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。
3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。
4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析]1、公式类型的判定判定公式的类型，包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种，一是真值表法，二是等值演算法。
2、范式求范式，包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等值式中的分配律、同一律和互补律（排中律、矛盾律），结果的前一步适当使用幂等律，使相同的短语（或子句）只保留一个。
3、逻辑推理掌握逻辑推理时，要理解并掌握12个（除第10，11）推理规则和3种证明法（直接证明法、附加前提证明法和归谬法）。
例1.试求下列公式的主析取范式：（1）))()((P Q Q P P ⌝∨⌝⌝∧→→；（2）)))((R Q Q P P →⌝∨→⌝∨（))()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解 Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨）2．用真值表判断下列公式是恒真？恒假？可满足？（1）（P ∧⌝P ）↔Q（2）⌝（P →Q ）∧Q（3）（（P →Q ）∧（Q →R ））→（P →R ）解：（1） 真值表因此公式（1）为可满足。
成人教育《离散数学》期末考试复习题及参考答案
离散数学复习题二一、简要回答下列问题：1．请给出⌝P，P∧Q，P∨Q的真值表。
2．请给出公式蕴涵的定义。
举一个例子。
3.请给出命题∀xG(x)的真值规定。
4.什么是谓词逻辑公式的解释？5.叙述谓词逻辑公式G与它的Skolem范式之间的区别与联系。
6.什么是图的关联矩阵？7.什么是简单路？举一例。
8.什么是有向树？举一例9.设G为整数加群，H为5的所有倍数组成的加法群，给出H的所有陪集。
二、判断下列公式是恒真？恒假？可满足？a) (P→(Q∧R))∧(⌝P→(⌝Q∧⌝R))；b) P→(P∧(Q→P))；c) (Q→P)∧(⌝P∧Q)；d) (⌝P∨⌝Q)→(P↔⌝Q)。
三、指出下列公式哪些是恒真的哪些是恒假的：(1)P∧（P→ Q）→Q(2)（P→ Q）→（⌝P∨Q）(3)（P→ Q）∧（Q→R）→（P→ R ）(4)（P↔ Q）↔（P∧ Q∨⌝P∧⌝ Q）四、给P和Q指派真值1，给R和S指派真值0，求出下面命题的真值：a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)五、证明：连通图中任意两条最长的简单路必有公共点。
离散数学复习题二答案一、简要回答下列问题：1．请给出⌝P，P∧Q，P∨Q的真值表。
P Q ⌝P P∧Q P∨Q0 1 1 0 11 0 0 0 11 1 0 1 10 0 1 0 02．请给出公式蕴涵的定义。
举一个例子。
答：设G，H是两个公式，如果解释I满足G，I也满足S，称G蕴涵H。
例如：P∧Q蕴涵P。
3．请给出命题∀xG(x)的真值规定。
答：∀xG(x)取1值⇔对任意x∈D，G(x)都取1值；∀xG(x)取0值⇔有一个x0∈D，使G(x0)取0值。
4．什么是谓词逻辑公式的解释？答：词逻辑中公式G的一个解释I，是由非空区域D和对G中常量符号，函数符号，谓词符号以下列规则进行的一组指定组成：1. 对每个常量符号，指定D中一个元素；2. 对每个n元函数符号，指定一个函数，即指定D n到D的一个映射；3. 对每个n元谓词符号，指定一个谓词，即指定D n到{0，1}的一个映射。
自考离散数学期末复习汇总
1.2 复合命题与联结词
常用的联结词
（3）析取
P∨Q的真值
当且仅当P与Q同时为F时，P∨Q为F.否则，P∨Q为T
PQ TT TF FT FF
P∨Q T T T F
1.2 复合命题与联结词
常用的联结词 （4）条件 定义1.2.4 给定两个命题P, Q，其条件命题是一个复合命题，记作P→Q。 其中P为前件，Q为后件。P→Q读作“如果P那么Q”，“若P则Q” 例6 如果我有就学机会，那么我必用功读书。
离散数学期末复习
1.1 命题概念
命题：具有唯一真值的陈述句
1.1 命题概念
练习：
1.下列句子为命题的是（ D ）
A.全体起立！
B. X=0
C. 我在说谎
D.张三生于1886年的春天
2.下列句子不是命题的是（ D ）
A.中华人民共和国的首都是北京 B.张三是学生
C.雪是黑色的
D.太好了！
1.2 复合命题与联结词
1.3 命题公式与真值表
吸收律 P(PQ)P,
P(PQ)P
德摩根律 (PQ)PQ,
(PQ)PQ
同一律
PFP ,
PTP
零律
PTT,
PFF
否定律
P ˅PT,
PPF
两个等值公式： ¬ P ˅ Q P→Q (P˄Q) ˅(¬ P˄¬ Q)P↔Q
1.4 等价变换与蕴含式
等价变换
定理1.4.1 设 X 是合式公式 A 的子公式，若有Y也是一个合式公式，且XY， 如果将A中的X用Y置换， 得到公式B,则 AB。
且仅当Q。 例 两个三角形全等，当且仅当它们的三组对应边相等。
设P: 两个三角形全等； Q:它们的三组对应边相等。
(完整word版)离散数学复习提纲(完整版)
《离散数学》期末复习大纲（完整版）（含例题和考试说明)一、命题逻辑[复习知识点］1、命题与联结词(否定￢、析取∨、合取∧、蕴涵→、等价↔）,复合命题2、命题公式与赋值(成真、成假）,真值表,公式类型（重言、矛盾、可满足),公式的基本等值式3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与（主)合取范式、公式类型的判定、命题逻辑的推理［复习要求]1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法.2、理解公式与赋值的概念;掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。
3、了解析取(合取）范式的概念；理解极大（小）项的概念和主析取(合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取)范式的方法.4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析］1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种，一是真值表法,二是等值演算法。
2、范式求范式，包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点:一是准确理解掌握定义；另一是巧妙使用基本等值式中的分配律、同一律和互补律（排中律、矛盾律）,结果的前一步适当使用幂等律，使相同的短语(或子句）只保留一个.3、逻辑推理掌握逻辑推理时，要理解并掌握12个（除第10，11）推理规则和3种证明法(直接证明法、附加前提证明法和归谬法）. 例1.试求下列公式的主析取范式:(1）))()((P Q Q P P ⌝∨⌝⌝∧→→；（2）)))((R Q Q P P →⌝∨→⌝∨（))()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨）2．用真值表判断下列公式是恒真?恒假？可满足？（1)（PP ）Q （2)（P Q)Q （3）（（P Q)(Q R ））（P R) 解：（1） 真值表 P QP P P （P P)Q 0 01 0 1 0 11 0 0 1 00 0 1 1 1 0 0 0因此公式(1)为可满足.（2） 真值表P Q P Q （P Q) （P Q）Q0 0 1 0 00 1 1 0 01 00 1 01 1 1 0 0因此公式（2）为恒假。
离散数学自学考试复习题
A．{{a},{b,c},{d}} B．{{a,b},{c},{d}} C．{{a},{b},{c},{d}} D．{{a,b},{c,d}} 44．设A={Ø}，B=P(P(A))，以下正确的式子是（ ） A．{Ø,{Ø}}∈B B．{{Ø,Ø}}∈B C．{{Ø},{{Ø}}}∈B D．{Ø,{{Ø}}}∈B 45．设X，Y，Z是集合，一是集合相对补运算，下列等式不正确的是（ ） A．(X-Y)-Z=X-(Y∩Z) B．(X-Y)-Z=(X-Z)-Y C．(X-Y)-Z=(X-Z)-(Y-Z) D．(X-Y)-Z=X-(Y∪Z) 46．设*是集合A上的二元运算，称Z是A上关于运算*的零元，若（ ） A．有x*Z=Z*x=Z B．ZA，且有x*Z=Z*x=Z C．ZA，且有x*Z=Z*x=x D．ZA，且有x*Z=Z*x=Z 47．在自然数集N上，下列定义的运算中不可结合的只有（ ） A．a*b=min(a,b) B．a*b=a+b C．a*b=GCD(a,b)(a,b的最大公约数) D．a*b=a(mod b) 48．设R为实数集，R+={x|x∈R∧x>0}，*是数的乘法运算，<R+，*>是一 个群，则下列集合关于数的乘法运算构成该群的子群的是（ ） A．{R+中的有理数} B．{R+中的无理数} C．{R+中的自然数} D．{1，2，3} 49．设<A,*,>是环，则下列正确的是（ ） A．<A,>是交换群 B．<A,*>是加法群 C．对*是可分配的 D．*对是可分配的 50．下列各图不是欧拉图的是（ ）
51．设G是连通平面图，G中有6个顶点8条边，则G的面的数目是（ ） A．2个面 B．3个面 C．4个面 D．5个面 52．一公式为 之充分必要条件是其析取范式之每一析取项中均必同 时包含一命题变元及其否定；一公式为 之充分必要条件是其合取范 式之每一合取项中均必同时包含 一命题变元及其否定。 53．前束范式具有形式(Q1V1)(Q2V2)…(QnVn)A，其中Qi(1≤i≤n)为 ，A 为 的谓词公式。 54．设论域是{a,b,c}，则(x)S(x)等价于命题公式 ；()S(x)等价于命题公 式 。 55．设R为A上的关系，则R的自反闭包r(R)= ，对称闭包s(R)= 。 56．某集合A上的二元关系R具有对称性，反对称性，自反性和传递性， 此关系R是 ，其关系矩阵是 。 57．设<S,≤>是一个偏序集，如果S中的任意两个元素都有 和 ，则 称S关于≤构成一个格。 58．设Z是整数集，在Z上定义二元运算*为a*b=a+b+a·b，其中+和·是数 的加法和乘法，则代数系统<Z,*>的幺元是 ，零元是 。 59．如下平面图有2个面R1和R2，其中deg(R1)= ，deg(R2)= 。
《离散数学》期末复习
《离散数学》期末复习第一篇：《离散数学》期末复习《离散数学》期末复习内容：第一章~第七章题型：一、选择题（20%，每题2分）二．填空题（20%，每题2分）三、计算题（20%，每题5分）四、证明题（20%，每题5分）五、判断题（20%，每题2分）第1章数学语言与证明方法1.1 常用的数学符号1.计算常用的数学符号式子 1.2 集合及其表示法1.用列举法和描述法表示集合2.判断元素与集合的关系(属于和不属于)3.判断集合之间的包含与相等关系，空集(E)，全集(∅)4.计算集合的幂集5.求集合的运算：并、交、相对补、对称差、绝对补6.用文氏图表示集合的运算7.证明集合包含或相等方法一：根据定义, 通过逻辑等值演算证明方法二：利用已知集合等式或包含式, 通过集合演算证明1.3 证明方法概述1、用如下各式方法对命题进行证明。
π直接证明法：A→B为真π间接证明法：“A→B为真” ⇔“ ¬B→¬A为真” π归谬法(反证法)： A∧¬B→0为真π穷举法： A1→B, A2→B,…, Ak→B 均为真π构造证明法：在A为真的条件下, 构造出具有这种性质的客体B π空证明法：“A恒为假” ⇒“A→B为真” π平凡证明法：“B恒为真” ⇒“A→B为真” π数学归纳法：第2章命题逻辑2.1 命题逻辑基本概念1、判断句子是否为命题、将命题符号化、求命题的真值（0或1）。
命题的定义和联结词(¬, ∧, ∨, →, ↔)2、判断命题公式的类型赋值或解释.成真赋值,成假赋值；重言式(永真式)、矛盾式(永假式)、可满足式:。
2.2 命题逻辑等值演算1、用真值表判断两个命题公式是否等值2、用等值演算证明两个命题公式是否等值3、证明联结词集合是否为联结词完备集 2.3 范式1、求命题公式的析取范式与合取范式2、求命题公式的主析取范式与主合取范式（两种主范式的转换）3、应用主析取范式分析和解决实际问题 2.4 命题逻辑推理理论1、用直接法、附加前提、归谬法、归结证明法等推理规则证明推理有效第3章一阶逻辑3.1 一阶逻辑基本概念1、用谓词公式符号命题（正确使用量词）2、求谓词公式的真值、判断谓词公式的类型 3.2 一阶逻辑等值演算1、证明谓词公式的等值式2、求谓词公式的前束范式第4章关系4.1 关系的定义及其表示1、计算有序对、笛卡儿积2、计算给定关系的集合3、用关系图和关系矩阵表示关系 4.2 关系的运算1、计算关系的定义域、关系的值域2、计算关系的逆关系、复合关系和幂关系3、证明关系运算满足的式子 4.3 关系的性质1、判断关系是否为自反、反自反、对称、反对称、传递的2、判断关系运算与性质的关系3、计算关系自反闭包、对称闭包和传递闭包 4.4 等价关系与偏序关系1、判断关系是否为等价关系2、计算等价关系的等价类和商集3、计算集合的划分4、判断关系是否为偏序关系5、画出偏序集的哈期图6、求偏序集的最大元、最小元、极小元、极大元、上界、下界、上确界、下确界7、求偏序集的拓扑排序第5章函数1.判断关系是否为函数2.求函数的像和完全原像3.判断函数是否为满射、单射、双射4.构建集合之间的双射函数5.求复合函数6.判断函数的满射、单射、双射的性质与函数复合运算之间的关系7.判断函数的反函数是否存在，若存在求反函数第6章图1.指出无向图的阶数、边数、各顶点的度数、最大度、最小度2.指出有向图的阶数、边数、各顶点的出度和入度、最大出度、最大入度、最小出度最小入出度3.根据握手定理顶点数、边数等4.指出图的平行边、环、弧立点、悬挂顶点和悬挂边5.判断给定的度数列能否构成无向图6.判断图是否为简单图、完全图、正则图、圈图、轮图、方体图7.求给定图的补图、生成子图、导出子图8.判断两个图是否同构6.2 图的连通性1.求图中给定顶点通路、回路的距离2.计算无向图的连通度、点割集、割点、边割集、割边3.判断有向图的类型：强连通图、单向连通图、弱连通图 6.3 图的矩阵表示1.计算无向图的关联矩阵2.计算有向无环图的关联矩阵3.计算有向图的邻接矩阵4.计算有向图的可达矩阵5.计算图的给定长度的通路数、回路数6.4 几种特殊的图1、判断无向图是否为二部图、欧拉图、哈密顿图第7章树及其应用 7.1 无向树1.判断一个无向图是否为树2.计算无向树的树叶、树枝、顶点数、顶点度数之间的关系3.给定无向树的度数列，画出非同构的无向树4.求生成树对应的基本回路系统和基本割集系统5.求最小生成树 7.2 根树及其应用1.判断一个有向图是否为根树2.求根树的树根、树叶、内点、树高3.求最优树4.判断一个符号串集合是否为前缀码5.求最佳前缀码6.用三种方法遍历根树第二篇：离散数学期末复习试题及答案(二)第二章二元关系1.设A={1,2,3,4},A上二元关系R={(a,b)|a=b+2}，S={(x,y)|y=x+1 or y=x2} 求R⋅S,S⋅R,S⋅R⋅S,S2,S3,S⋅Rc。
离散数学期末复习
离散数学期末复习离散数学期末复习第⼀部分数理逻辑⼀、知识体系包括命题逻辑（第⼀章～第三章）和谓词逻辑（第四章、第五章），主要内容如下：(⼀) 命题逻辑1．命题、命题联结词、命题如何符号化2．命题变元、命题公式、命题公式的真值指派3．永真公式、永假公式和可满⾜公式判别⽅法：(1)真值表⽅法(2)等值演算⽅法A?）的含义及其判别4．两命题公式等值（B判别⽅法：A?是否永真(1)⽤真值表判别B(2)命题的等值演算A?）的含义及其判别5．公式A蕴含公式B（B判别⽅法：A→是否永真(1)⽤真值表判别BA→是否等值于1(2)⽤“等值演算”的⽅法判B(3)假设前件A为真，证明后件B为真(4)假设后件B为假，证明前件A为假6．范式的求取7．推理的形式证明⽅法（P规则、T规则、CP规则、基本等值式、基本蕴含式）(⼆) 第⼆章谓词逻辑1．基本述语个体、谓词、量词；命题函数，个体域，全总个体域，特性谓词。
2．谓词公式的有关概念谓词公式；量词的辖域，约束变元，⾃由变元；谓词公式，谓词公式的指派；永真公式，永假公式，可满⾜公式。
3．谓词公式间的关系谓词公式间的等值关系（A?B）；谓词公式间的蕴含关系（A?B）；⼀些基本的等值式；⼀些基本的蕴含式。
4．谓词演算的推理规则及⽅法在谓词演算中，命题演算的推理理论仍然成⽴，另外还⽤到与量词有关的推理规则。
全称特定化规则（US）；存在特定化规则（ES）；全称⼀般化规则（UG）；存在⼀般化规则（EG）。
主要内容的知识结构如下：⼆、模拟题 1．⽤P 表⽰：天下⼤⾬；Q 表⽰：他乘公共汽车上班。
将“如果天下⼤⾬，他就乘公共汽车上班。
”符号化正确的是（）。
A ．P →QB ．Q →PC ．P ∧QD ．P ∨Q2．下列语句中，不是命题的有（）。
A ．5能被2整除。
B ．太阳系以外的星球上有⽣物。
C ．现在开会吗？D ．⼩李在宿舍⾥。
3．下列语句为命题的是（）。
Ａ．暮春三⽉，江南草长。
Ｂ．这是多么可爱的风景啊！Ｃ．⼤家想做什么，就做什么，⾏吗？Ｄ．请勿践踏草坪！4．设C (x ): x 是国家级运动员，G (x ): x 是健壮的，则命题“没有⼀个国家级运动员不是健壮的”可符号化为 ( )A ．))()((x G x C x ?∧??B ．))()((x G xC x ?→??C ．))()((x G x C x ?→??D ．))()((x G x C x ?∧??5．求命题公式)()(Q P Q P ?∨?∧∧的真值表6．证明下列各式：1）)()()),()((a Q x xp a Q x p x ∧??2）Q R P Q R Q P →∨?→∧→)()()(7．⽤形式演绎法证明：1）Q S ?→是Q P ?∨?，R P →?，S R ?→的有效结论。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
公式。 （3）由P˄Q¬(¬P˅¬Q)，P˅Q¬(¬P˄¬Q)说明“˄”与“˅”可以相互交换。 故由“¬”“˄”“˅”“→”“↔”这5个联结词中若干个组成的命题公式，
1.3 命题公式与真值表
1.3 命题公式与真值表
等价式 定义1.3.4 给定两个命题公式A和B，设P1 , P2, P3,...Pn为所有出现于A和B中的
原子变元，若给P1 , P2, P3,...Pn任一组真值指派，A和B的真值都相同，称A和B 是等价的，记作AB。
从上述真值表的例子中，可以知道： ¬ P ˅ Q P→Q
设P: 我有就学机会； Q:我必用功读书。
所以本例可描述为： P→Q
1.2 复合命题与联结词
常用的联结词 （4）条件 P→Q的真值
当且仅当P的真值为T，Q的真值为F时，P→Q 为F.其余情况，P∨Q为T
PQ TT TF FT FF
P→Q T F T T
1.2 复合命题与联结词
常用的联结词 （5）双条件 定义1.2.6 给定两个命题P, Q，其复合命题P↔Q称作双条件命题，读作P当
离散数学期末复习
1.1 命题概念
命题：具有唯一真值的陈述句
1.1 命题概念
练习：
1.下列句子为命题的是（ D ）
A.全体起立！
B. X=0
C. 我在说谎
D.张三生于1886年的春天
2.下列句子不是命题的是（ D ）
A.中华人民共和国的首都是北京 B.张三是学生
C.雪是黑色的
D.太好了！
1.2 复合命题与联结词
(P˄Q) ˅(¬ P˄¬ Q)P↔Q 上述二式以后经常作为等值公式直接应用。
1.3 命题公式与真值表
定义1.3.5 设A为一命题公式，若A在它的各种指派情况下，其取值均为真, 则 称公式A为重言式或永真式。
定义1.3.6 设A为一命题公式，若A在它的各种指派情况下，其取值均为假, 则 称公式A为矛盾式或永假式。
常用的联结词 （1）否定
定义1.2.1 设P为一命题，P的否定是一个新的命题，记作¬P。 “¬”表示命题的否定.
¬ P的真值： 若P为T，¬ P为F；若P为F，¬ P为T
P
¬P
F
T
T
F
1.2 复合命题与联结词
常用的联结词 （2）合取 定义1.2.2 两个命题P和Q的合取是一个复合命题，记作P∧Q。 ∧称作合取联结词， 在自然语言中的“并且”、“和”、“既...又...”、“不
P↔Q T F F T
1.2 复合命题与联结词
1.2 复合命题与联结词
1.3 命题公式与真值表
真值表
定义1.3.3 设P为一命题公式，P1 , P2, P3,...Pn 为出现在P中的所有命题变元， 对 P1 , P2, P3,...Pn 指定一组真值称为对P的一种指派。若指定的一种指派，使P 的值为真，则称这组值为成真指派；若指定的一种指派，使P的值为假，则称 这组值为成假指派。
仅....而且....”、“虽然...但是...”等都可以符号化为∧ 例1 2是素数和偶数 设P：2是素数，Q:2是偶数，故上述命题可表述为P∧Q 例2 王乙工作努力且身体好。 设P:王乙工作努力，Q:王乙身体好，故上述命题可表述为P∧Q
1.2 复合命题与联结词
常用的联结词
（2）合取
P∧Q的真值
且仅当Q。 例 两个三角形全等，当且仅当它们的三组对应边相等。
设P: 两个三角形全等； Q:它们的三组对应边相等。
所以本例可描述为： P↔Q
1.2 复合命题与联结词
常用的联结词 （5）双条件 P↔Q 的真值
当P与Q的真值为相同时，P↔Q 为T.其余情况，P↔Q 为F
PQ TT TF FT FF
定义1.3.7 设A为一命题公式，若A在它的各种真值指派下至少存在一组成真指 派，则称A是可满足式。
1.3 命题公式与真值表
对合律 PP 幂等律 PPP,
PPP 结合律 (PQ)RP(QR),
(PQ)RP(QR) 交换律 PQQP,
PQQP 分配律 P(QR)(PQ)(PR),
P(QR)(PQ)(PR)
1.3 命题公式与真值表
吸收律 P(PQ)P,
P(PQ)P
德摩根律 (PQ)PQ,
(PQ)PQ
同一律
PFP ,
PTP
零律
PTT,
PFF
否定律
P ˅PT,
PPF
两个等值公式： ¬ P ˅ Q P→Q (P˄Q) ˅(¬ P˄¬ Q)P↔Q
1.4 等价变换与蕴含式
等价变换
定理1.4.1 设 X 是合式公式 A 的子公式，若有Y也是一个合式公式，且XY， 如果将A中的X用Y置换， 得到公式B,则 AB。
常用的联结词 （3）析取 定义1.2.3 两个命题P, Q的析取是个复合命题，记作P∨Q。 ∨称作析取联结词， 与自然语言中的“或”有些相似 例4 王强是这次校运动会的跳高或100米短跑的冠军。
设P: 王强是这次校运动会的跳高冠军； Q:王强是这次校运动会的100米短跑的冠军。
所以本例可描述为： P∨Q
例：证明Q→(P˅(P˄Q))Q→P 证：设A：Q→(P˅(P˄Q))，
因为P˅(P˄Q)P（吸收律） 故B:Q→P，即AB
1.4 等价变换与蕴含式
等价变换 判断命题公式是重言式或矛盾式
真值表 等价变换
1.4 等价变换与蕴含式
1.5 最小联结词组与范式
最小联结词组 （1）由P↔Q(P→Q)˄(Q→P)，故可把包含↔的公式等价变换为包含“→”
Hale Waihona Puke 当且仅当P与Q同时为T时，P∧Q为T.其余情况，P∧Q为F
PQ TT TF FT FF
P∧Q T F F F
1.2 复合命题与联结词
常用的联结词 （2）合取 注意:
命题联结词“合取”可将两个互为否定的命题联结在一起：P∧¬P 此时其真值永为F
P ¬P TF FT
P∧¬P F F
1.2 复合命题与联结词
1.2 复合命题与联结词
常用的联结词
（3）析取
P∨Q的真值
当且仅当P与Q同时为F时，P∨Q为F.否则，P∨Q为T
PQ TT TF FT FF
P∨Q T T T F
1.2 复合命题与联结词
常用的联结词 （4）条件 定义1.2.4 给定两个命题P, Q，其条件命题是一个复合命题，记作P→Q。 其中P为前件，Q为后件。P→Q读作“如果P那么Q”，“若P则Q” 例6 如果我有就学机会，那么我必用功读书。