离散数学(a)修改
洛阳理工学院 2011/2012 学年 第一学期 离散数学 期末考试试题卷（A ）
适用班级：B110501—06 考试日期时间：单击此处键入考试日期时间
一、 判断题（每题1分，共10分）
1．x <3是命题。 （ ）
2．和一个命题公式等价的范式是唯一的。 （ ）
3．良序关系一定是全序关系。 （ ）
4．若有限集合A 有n 个元素，则其上二元关系有n 2个。 （ ）
5．代数系统
6．一个关系R 要么是对称要么是反对称的。 （ ）
7．如果一个代数系统为群，则它一定为独异点。 （ ）
8．正实数集，关于数的乘法，构成群。 （ ）
9．每个图中结点度数总和等于边数的2倍。 （ ）
10．n 个结点的无向完全图的边数为)1(2
1+n n 。 （ ） 二、 填空题（每题2分，共20分）
1. 谓词公式)),,()(),()((z y x Q y y x P x ?→?中前束范式为 。
2. P ：天下雨，Q ：我上班，则“除非天下雨，否则我就去上班”命题翻译为 。
3. 已知集合A 和B 且集合A 元素个数为m ，集合B 元素个数为n ，则A 到B 的函数有 个不同的函数。
4. 集合{}φ,a 的幂集为： 。
5. 集合A 上等价关系R={<1,1>,<1,2>,<2,1>,<3,3>,<3,4>,<2,2>,<4,3>,<4,4>,<5,5>,<6,6>}所确定的集合A 的
划分为 。
6. 集合A 上的相容关系R 的相容关系图，如图1所示，则A 的完全覆盖为 。
图1
7．群<实数集，+>中的每个元素X 的逆元为 。
8．如上图所示，图的点连通度为 。
9. 代数系统*,G 满足条件 称做群。
10.连通图是指 。
三、（10分）不构造真值表推证下式：R S S Q R P PVQ ∨?→→,,
四、（8分）求下列式子的主析取范式和主合取范式：)))(((R Q Q P P →?∨→?∨
五、（10分）假设谓词P (x )代表x 喜欢步行，Q (x )表示x 喜欢乘汽车，R (x )表示x 喜欢骑自行车。请基于这三个谓
词表示如下句子并给出形式证明。
“任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行
车，因而有的人不爱步行。”
六、（12分）设R 是集合X 上的一个二元关系，设S={>∈<>∈<,,且}，证明若R 是
一个等价关系，则S 也是一个等价关系。
七、（10分）设集合A ={3，6，9，12，54}，偏序关系R 是A 上的整除关系。请画出哈斯图，并求集合{3，6，9}的
最大元，最小元、极大元，极小元。
a 2 a 5
八、（10分）设21,f f 都是从代数系统*,A 到代数系统?,B 的同态。设g 是从A 到B 的一个映射，使得对任意的 A a ∈都有)()()(21a f a f a g ?=，证明：如果?,B 是一个可交换的半群，那么g 是一个由*,A 到?,B 的同态。
九、（10分）证明：设群,*G ，对于任一G a ∈，令},**|{H G y y a a y y ∈==，试证明,*H 是,*的子群。
离散数学试题A
6. 令F(x):x是金属，G(y):y是液体，H(x,y):x可以溶解在y中，则命题“任何金属可以溶解 在某种液体中”可符号化为什么逻辑表达式。（） A.(?x)(F(x)∧(?y)(G(y)∧H(x,y))) B.(?x)(?(x)F(x)→(G(y)→H(x,y))) C.(?x)(F(x)→(?y)(G(y)∧H(x,y))) D.(?x)(F(x)→(?y)(G(y)→H(x,y)) 7. 在个体域D={a,b}中，指出与公式(?x)A(x)等价又不含量词的公式。（） A.A(a)∧A(b) B.A(a)→A(b) C.A(a)∨A(b) D.A(b)→A(a) 8. 指出下列是命题的句子。（） A.水开了吗? B.x>1.5 C.再过9000年，地球上就没水了。 D.我没讲真话。 9. 给定算式: (((a＋(b＊c))＊d－e)÷(f＋g))－((h＊i)＊j)找出与此算式对应的波兰符号表示 式。（）A．－＊＊a＋bc＋def－g＊hij＊＊ B. abc＊＋d＊e－fg＋÷hi＊j＊－ C．－÷－＊＋a＊bcde＋fg＊＊hij D. ab＋c＊de＋＊fgh＊－＋ij＊－ 10. 设N是自然数集，函数f: N→N×N. f(n)＝﹤n,n＋1﹥,f({5})是什么。（） A．满射函数B．单射函数C．{<5,6>} D．双射函数 11. 已知(p→q)←→r的主析取范式是m1∨m3∨m4∨m7，指出与其对应的主合取范式。 A．m1∨m2∨m5∨m7 B．M0∧M2∧M5∧M6 （） C．m0∧m3∧m5∧m6 D．M1∨M3∨M5∨M6 12. 设T(x)：x具有性质T，S(y)：y具有性质S。命题“若存在x具有性质T，则所有的y 都没有性质S“的符号化形式是什么。（） A. ?x (T(x)→S(x)) B. ?x (T(x)∧S(x)) C. ?x T(x)→?y S(y) D. ?xT(x)→?y? S(y) 13. 判断下列各非负整数列哪个不是可图化的。（） A .(5,5,4,4,2,1) B. (4,4,2,1,3) C .(5,4,3,2,2) D .(3,3,1,1) 14. 设Z,N分别为整数和自然数集，函数g: Z→N, g(x)＝|x|, g是什么函数。（） A．满射非单射B．双射函数C．单射非满射D．以上答案都不对 共4页
离散数学必备知识点总结
离散数学必备知识点总 结 Document number：NOCG-YUNOO-BUYTT-UU986-1986UT
总结离散数学知识点 第二章命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n个变元共有n2个极小项或极大项，这n2为(0~n2-1)刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P规则，T规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 第三章谓词逻辑 1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n个个体，多元谓词描述个体之间的关系；
2.全称量词用蕴含→，存在量词用合取^; 3.既有存在又有全称量词时，先消存在量词，再消全称量词； 第四章集合 1.N，表示自然数集，1,2,3……，不包括0； 2.基：集合A中不同元素的个数，|A|； 3.幂集：给定集合A，以集合A的所有子集为元素组成的集合，P(A)； 4.若集合A有n个元素，幂集P(A)有n2个元素，|P(A)|=||2A=n2； 5.集合的分划：(等价关系) ①每一个分划都是由集合A的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)； 6.集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 第五章关系 1.若集合A有m个元素，集合B有n个元素，则笛卡尔A×B的基 2种不同的关系； 数为mn，A到B上可以定义mn 2.若集合A有n个元素，则|A×A|=2n，A上有22n个不同的关系；
2012离散数学A卷
,考试作弊将带来严重后果！ 华南理工大学期末考试 《Discrete Mathematics 》 ： 1. 考前请将密封线内填写清楚； 所有答案请直接答在答题纸上； ．考试形式：闭卷； 本试卷共 4 大题，满分100分， 考试时间120分钟。 ． Choose an answer to the following question. (10 x 2’ = 20’) ) B) x > 1.5 D) Help me. is true for all possible assignments of truth values to p q except for which assignment?( ) ）p false, q true B ）p true, q false ）p false, q false D ）p true, q true “No Computer Major is taking any courses ” where C(x) is the statement x is a Computer ) A ） B ） C ） D ） (4) Function f is defined as x x x f Z Z f 2)(,:-=→, so f is ( ) A ）onto B ） both onto and one-to-one C ）one-to-one D ） neither onto nor one-to-one (5) Supposed a binary relation R (Figure 1) on the set A = { 1, 2, 3 }, R is ( ) A) irreflexive, symmetric, non-transitive B) reflexive, antisymmetric, transitive C) irreflexive, antisymmetric, transitive Figure 1. D) reflexive, antisymmetric, non-transitive (6) Which of these arguments is true?( ) A) (P(S), subset of ) is a poset and also total orderedB) (Z +,|) is totally ordered C) 可整除) “ | ” is a partial ordering on the set of positive +,|) is a poset. D) (N, >=) is well-ordered (7) (A ?B )-C = ( )
离散数学重点笔记
第一章，0命题逻辑 素数 = 质数，合数有因子 和或假必真同为真 (p→q)∧(q←→r)，(p∧q)∧┐r，p∧(q∧┐r)等都是合式公式，而pq→r，（p→(r→q)等不是合式公式。若公式A是单个的命题变项，则称A为0层合式 (┐p∧q)→r，(┐(p→┐q))∧((r∨s)┐p)分别为3层和4层公式 【例】求下列公式的真值表，并求成真赋值和成假赋值。 (┐p∧q)→┐r 公式(1)的成假赋值为011，其余7个赋值都是成真赋值 第二章，命题逻辑等值演算 （1）双重否定律??A?A （2）等幂律 A∧A?A ； A∨A?A （3）交换律 A∧B?B∧A ； A∨B?B∨A （4）结合律（A∧B）∧C?A∧（B∧C）；（A∨B）∨C?A∨（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∨1?1 ； A∧0?0 （9）同一律 A∨0?A ； A∧1?A （10）排中律 A∨?A?1 （11）矛盾律 A∧?A?0 （12）蕴涵等值式 A→B??A∨B （13）假言易位 A→B??B→?A （14）等价等值式 A?B?（A→B）∧（B→A） （15）等价否定等值式 A?B??A??B??B??A （16）归缪式（A→B）∧（A→?B）??A
A i(i=1,2,…,s)为简单合取式，则A=A1∨A2∨…∨A s为析取范式 (p∧┐q)∨(┐q∧┐r)∨p A=A1∧A2∧…∧A s为合取范式 (p∨q∨r)∧(┐p∨┐q)∧r 一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式 一个合取范式是重言式当且仅当它的每个简单析取式都是重言式 主范式【∧小真，∨大假】 ∧成真小写 【例】(p→q)→(┐q→┐p) = ┐(┐p∨q)∨(q∨┐p) (消去→) = (p∧┐q)∨┐p∨q (┐内移) (已为析取范式) = (p∧┐q)∨(┐p∧┐q)∨(┐p∧q)∨(┐p∧q)∨(p∧q) （*） = m2∨m0∨m1∨m1∨m3 = m0∨m1∨m2∨m3 (幂等律、排序) (*)由┐p及q派生的极小项的过程如下： ┐p = ┐p∧(┐q∨q) = (┐p∧┐q)∨(┐p∧q) q = (┐p∨p)∧q = (┐p∧q)∨(p∧q) 熟练之后，以上过程可不写在演算过程中。 该公式中含n=2个命题变项，它的主析取范式中含了22=4个极小项，故它为重言式， 00，01，10，11全为成真赋值。 【例】(p→q)∧┐p = (┐p∨q)∧┐p (消去→) = ┐p∨(┐p∧q) (分配律、幂等律) 已为析取范式
华南理工网络教育离散数学同步练习册
离散数学 同步练习册 学号＿＿＿＿＿＿＿＿姓名＿＿＿＿＿＿＿＿专业＿＿＿＿＿＿＿＿教学中心＿＿＿＿＿＿＿＿ 华南理工大学 二O一O年九月
第一章命题逻辑 一填空题 （1）设：p：派小王去开会。q：派小李去开会。则命题： “派小王或小李中的一人去开会”可符号化 为：p∨q。 （2）设A，B都是命题公式，A?B，则A→B的真值是T 。 （3）设：p：刘平聪明。q：刘平用功。在命题逻辑中，命题：“刘平不但不聪明，而且不用功”可符号化为：﹃p∧﹃ q 。 （4）设A , B 代表任意的命题公式，则蕴涵等值式为 A → B?﹃P∨Q 。 （5）设，p：径一事；q：长一智。在命题逻辑中，命题： “不径一事，不长一智。”可符号化为：﹃p→﹃ q 。 （6）设A , B 代表任意的命题公式，则德?摩根律为 ?（A ∧ B）?﹃A∨﹃B 。 （7）设，p：选小王当班长；q：选小李当班长。则命题：“选小王或小李中的一人当班长。”可符号化为：(A∧﹃B)∨(﹃A∧ B) 。 （8）设，P：他聪明；Q：他用功。在命题逻辑中，命题： “他既聪明又用功。”可符号化为：P∧Q 。（9）对于命题公式A，B，当且仅当A→B 是重言式时，称“A 蕴含B”，并记为A?B。 （10）设：P：我们划船。Q：我们跑步。在命题逻辑中，命题：“我们不能既划船又跑步。”可符号化为：﹃(P∧ Q) 。 （11）设P , Q是命题公式，德·摩根律为： ?（P∨Q）?﹃P∧﹃Q 。 （12）设P：你努力。Q：你失败。在命题逻辑中，命题：“除非你努力，否则你将失败。”可符号化为：﹃P→
Q。 （13）设p：小王是100米赛跑冠军。q：小王是400米赛跑冠军。在命题逻辑中，命题：“小王是100米或400米赛跑冠军。”可符号化为： p∨q。 （4）设A，C为两个命题公式，当且仅当 A →C 为一重言式时，称C可由A逻辑地推出。 二．判断题 1.设A，B是命题公式，则蕴涵等值式为A→B??A∧B。（F ） 2.命题公式?p∧q∧?r是析取范式。（T ） 3.陈述句“x + y > 5”是命题。（T ） 4.110 (p=1,q=1, r=0)是命题公式((?(p∧q))→r)∨q 的成真赋值。（T ） 5.命题公式p→(?p∧q) 是重言式。（ F ） 6.设A，B都是合式公式，则A∧B→?B也是合式公式。（ F ） 7.A∨(B∧C)?( A∨B)∨(A∨C)。（F ） 8.陈述句“我学英语，或者我学法语”是命题。（T ） 9.命题“如果雪是黑的，那么太阳从西方出”是假命题。（T ） 10.“请不要随地吐痰！”是命题。（ F ） 11.P →Q ??P∧Q 。（ F ） 12.陈述句“如果天下雨，那么我在家看电视”是命题。（T ） 13.命题公式（P∧Q）∨（?R→T）是析取范式。（T ） 14.命题公式(P∧?Q)∨R∨ (?P∧Q) 是析取范式。（T ） 三、选择题：在每小题的备选答案中只有一个正确答案，将正确答案序号填入下列叙述中的内。 1．设：P：天下雪。Q：他走路上班。则命题“只有天下雪，他才走路上班。” 可符号化为（1）。 （1）P→Q （2）Q → P （3）? Q →? P （4）Q ∨?P
《离散数学》及答案
《离散数学》+答案 一、选择或填空: 1、下列哪些公式为永真蕴含式？( ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别） 2、下列公式中哪些是永真式？( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答：（2），（3），（4）可用蕴含等值式证明 3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式 4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。 答：x,y, x,z（考察定义在公式?x A和?x A中，称x为指导变元，A为量词的辖域。在?x A和?x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y，x)和?z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元） 5、判断下列语句是不是命题。若是，给出命题的真值。( ) (1)北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。 (5) 前进！ (6) 给我一杯水吧！ 答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6） 44
离散数学知识点整理
离散数学 一、逻辑和证明 1.1命题逻辑 命题：是一个可以判断真假的陈述句。 联接词：∧、∨、→、?、?。记住“p仅当q”意思是“如果p，则q”，即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求，即若pq无论取何值都无法让复合语句为真，则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价：在所有可能情况下都有相同的真值的两个复合命题，可以用真值表或者构造新的逻辑等价式。
谓词+量词变成一个更详细的命题，量词要说明论域，否则没有意义，如果有约束条件就直接放在量词后面，如?x>0P(x)。 当论域中的元素可以一一列举，那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理，?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的，如果不论他们谓词是什么，也不论他们的论域是什么，他们总有相同的真值，如?x（P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定：??xP(x) ??x?P(x)，??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译，注意论域。嵌套量词的否定就是连续使用德摩根定律，将否定词移入所有量词里。 1.6推理规则 一个论证是有效的，如果它的所有前提为真且蕴含着结论为真。但有效论证
二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系，?说的是集合与集合的关系。常见数集有N={0,1,2,3...}，Z整数集，Z+正整数集，Q有理数集，R实数集，R+正实数集，C复数集。 A和B相等当仅当?x(x∈A?x∈B)；A是B的子集当仅当?x(x∈A→x∈B)；A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集：集合元素的所有可能组合，肯定有?何它自身。如?的幂集就是{?}，而{?}的幂集是{?，{?}}。 考虑A→B的函数关系，定义域、陪域（实值函数、整数值函数）、值域、像集（定义域的一个子集在值域的元素集合）。 一对一或者单射：B可能有多余的元素，但不重复指向。 映上或者满射：B中没有多余的元素，但可能重复指向。 一一对应或者双射：符合上述两种情况的函数关系。 反函数：如果是一一对应的就有反函数，否则没有。 合成函数：fοg(a)=f(g(a))，一般来说交换律不成立。 2.4序列 无限集分为：一组是和自然数集合有相同基数，另一组是没有相同基数。前者是可数的，后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的，则A∪B也是可数的。
离散数学同步练习
华南理工大学网络教育学院 《离散数学》练习题 第一章命题逻辑 一填空题 （1）设：p：派小王去开会。q：派小李去开会。则命题： “派小王或小李中的一人去开会”可符号化 为：。 （2）设A，B都是命题公式，A?B，则A→B的真值是。 （3）设：p：刘平聪明。q：刘平用功。在命题逻辑中，命题： “刘平不但不聪明，而且不用功”可符号化为：。（4）设A , B 代表任意的命题公式，则等价式 A → B?。 （5）设，p：径一事；q：长一智。在命题逻辑中，命题： “不径一事，不长一智。”可符号化为：。（6）设A , B 代表任意的命题公式，则德?摩根律为 ?（A ∧ B）?。 （7）设，p：选小王当班长；q：选小李当班长。则命题：“选小王或小李中的一人当班长。”可符号化为：。（8）设，P：他聪明；Q：他用功。在命题逻辑中，命题： “他既聪明又用功。”可符号化为：。 （9）对于命题公式A，B，当且仅当是重言式时，称“A蕴含B”，并记为A?B。 （10）设：P：我们划船。Q：我们跑步。在命题逻辑中，命题：“我们不能既划船又跑步。”可符号化为：。（11）设P , Q是命题公式，德·摩根律为： ?（P∨Q）?。 （12）设P：你努力。Q：你失败。在命题逻辑中，命题：“除非你努力，否则你将失败。”可符号化为：。
（13）设p：小王是100米赛跑冠军。q：小王是400米赛跑冠军。在命题逻辑中，命题：“小王是100米或400米赛跑冠军。”可符号化为： 。 （4）设A，C为两个命题公式，当且仅当为一重言式时，称C可由A逻辑地推出。 二．判断题 1.设A，B是命题公式，则等价式A→B??A∧B。（） 2.命题公式?p∧q∧?r是析取范式。（） 3.陈述句“x + y > 5”是命题。（） 4.110 (p=1,q=1, r=0)是命题公式((?(p∧q))→r)∨q 的成真赋值。（） 5.命题公式p→(?p∧q) 是重言式。（） 6.设A，B都是合式公式，则A∧B→?B也是合式公式。（） 7.A∨(B∧C)?( A∨B)∨(A∨C)。 （） 8.陈述句“我学英语，或者我学法语”是命题。（） 9.命题“如果雪是黑的，那么太阳从西方出”是假命题。（） 10.“请不要随地吐痰！”是命题。（） 11.P →Q ??P∧Q 。（） 12.陈述句“如果天下雨，那么我在家看电视”是命题。（） 13.命题公式（P∧Q）∨（?R→T）是析取范式。（） 14.命题公式(P∧?Q)∨R∨ (?P∧Q) 是析取范式。（） 三、选择题：在每小题的备选答案中只有一个正确答案，将正确答案序号填入下列叙述中的内。 1．设：P：天下雪。Q：他走路上班。则命题“只有天下雪，他才走路上班。” 可符号化为。 （1）P→Q （2）Q → P （3）? Q →? P （4）Q ∨?P
离散数学试题(2006)_A(答案)
一、填空题（每小题3分，共15分） 1.设F(x)：x是苹果，H(x，y)：x与y完全相同，L(x，y)：x=y， 则命题“没有完全相同的苹果”的符号化（利用全称量词）为?x?y(F(x)∧F(y)∧?L(x，y)→?H(x，y))． 2.命题“设L是有补格，在L中求补元运算‘′’是L中的一元 运算”的真值是0． 3.设G={e，a，b，c}是Klein四元群，H=?a?是G的子群，则商 群G/H={?a?，{b，c}}={{e，a}，{b，c}}． 4.设群G=?P({a，b，c})，⊕?，其中⊕为集合的对称差运算，则 由集合{a，b}生成的子群?{a，b}? ={?，{a，b}}． 5.已知n阶无向简单图G有m条边，则G的补图有n(n-1)/2-m 条边． 二、选择题（每小题3分，共15分） 1.命题“只要别人有困难(p)，小王就会帮助他(q)，除非困难已 经解决了(r)”的符号化为【B】A．?(p∧r)→q．B．(?r∧p)→q． C．?r→(p∧q)．D．?r→(q→ p)． 2.设N为自然数集合，“≤”为通常意义上的小于等于关系，则 偏序集?N，≤?是【C】 A．有界格．B．有补格． C．分配格．D．布尔代数． 3.设n (n≥3) 阶无向图G=?V，E?是哈密尔顿图，则下列结论中 不成立的是【D】A．?V1?V，p(G-V1)≤|V1|．B．|E|≥n． C．无1度顶点．D．δ(G)≥n/2． 4.设A={a，b，c}，在A上可以定义个二元运算，其 中有个是可交换的，有个是幂等的．【A】A．39，36，36．B．39，36，33． C．36，36，33．D．39，36，39． 5.下列图中是欧拉图的有【C】 A．K4，3．B．K6． C．K5．D．K3，3． 三、计算与简答题（每小题8分，共40分） 1.利用等值演算方法求命题公式(p∨q) → (q→p)的主合取范式； 利用该主合取范式求公式的主析取范式，并指出该公式的成真赋值和成假赋值． (p∨q) → (q→p) ??(p∨q)∨(?q∨p) ?(?p∧?q)∨(?q∨p) ?(?p∨?q∨p)∧(?q∨?q∨p) ??q∨p?p∨?q ?M1 此为公式的主合取范式． 该公式的主析取范式是m0∨m2∨m3． 公式的成真赋值为00，10，11． 公式的成假赋值为01． 哈尔滨工程大学试卷 考试科目：离散数学（041121，041131-32） 考试时间：14:00-16:30 1
离散数学作业答案
第一章 1.假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求： (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？ 能被5整除的有40个， 能被15整除的有13个， ∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗？ (1)2是正数吗？ (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了，那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r)，其中p、q、r为如下命题： p：你得流感了 q：你错过了最后的考试
3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同 班同学，个体域是学校全体学生的集合。 解： 学校的全体学生要么自己有电脑，要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解： ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章
离散数学笔记(特级教师精心整理)
离散数学笔记（特级教师精心整理） 第一章命题逻辑 内容： 命题及命题联结词、命题公式的基本概念，真值表、基本等价式及永真蕴涵式，命题演算的推理理论中常用的直接证明、条件证明、反证法证明等方法教学目的： 1．熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。 2．熟练掌握常用的基本等价式及其应用。 3．熟练掌握（主）析/合取范式的求法及其应用。 4．熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。 5．熟练掌握形式演绎的方法。 教学重点： 1．命题的概念及判断 2．联结词，命题的翻译 3．主析（合）取范式的求法 4．逻辑推理 教学难点： 1．主析（合）取范式的求法 2．逻辑推理 1.1命题及其表示法 1.1.1 命题的概念 数理逻辑将能够判断真假的陈述句称作命题。 1.1.2 命题的表示 命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如A i，[10]，R等，例如A1：我是一名大学生。A1:我是一名大学生.[10]：我是一名大学生。R：我是一名大学生。 1.2命题联结词
（1） P↑P?﹁（P∧P）?﹁P； （2）（P↑Q）↑（P↑Q）?﹁（P↑Q）? P∧Q；（3）（P↑P）↑（Q↑Q）?﹁P↑﹁Q? P∨Q。 （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、P→Q、 P?Q 都是公式；（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：我在家里看报。 本例可表示为：（?P→Q）∧（P→（R∨S））。 1.3.3 命题公式的解释定义 设P1，P2，…，P n是出现在命题公式G中的全部命题变元，指定P1，P2，…，P n的一组真值，称这组真值为G的一个解释或赋值，记作I，公式G在I下的真值记作T I（G）。 例如， 是G的一个解释，在这个解释下G的真值为1，即T I（G）=1。 1.4 真值表与等价公式 1.4.1 真值表 定义将公式G在其所有解释下所取得的真值列成一个表，称为G的真值表。 构造真值表的方法如下： （1）找出公式G中的全部命题变元，并按一定的顺序排列成P1，P2，…，P n。
离散数学(一)练习题2014-3-26
一．填空题 1．设A={a,b,c }上偏序集(),P A ，其中P (A )是A 的幂集，则幂集P (A )的 子集{,{},{},{,},{,}}B a b a b b c =Φ的极小元是______________，最小元是_______________，极大元是______________，最大元是______________。 2．集合A={ {{1,2}，{1}}，{{1,0}}}， 试写出： ∪∪A=___________________，∩∩A =___________________， ∪∩A=___________________，∩∪A =___________________。 3．一个命题含有3个原子命题，则对其所有可能赋值有 种。 4．所有大项的合取式为 。 5．若P ，Q 为二命题，?P Q 真值为1 当且仅当 。 6. 令P ：天下雨，Q ：我将去新华书店，R ：我有时间。则命题“如果天不下雨并且我有时间，那么我将去新华书店”的翻译为 ；命题“我去新华书店，仅当我有时间”的翻译为 ； 命题“除非天不下雨，我将去新华书店”的翻译为 。 7．若R 是集合A 上的偏序关系，则R 要满足三个性质________________， _____________________和 。 8．谓词合式公式)()(x xQ x xP ?→?的前束范式为 。 9 将量词辖域中出现的 和指导变元交换为另一变元符号，公式其余的部分不变，这种方法称为换名规则。 10．A={1，2，3，4，5，6}，A 上二元关系}|,{是素数y x y x T ÷><=， 则用列举法 T= 。 二、选择题 1．集合}}}{,{},{,{ΦΦΦΦ=B 的幂集为（ ）。 A ．}},},{{},{{ΦΦΦΦ； B ．}}}},{,{},{{}}},{,{,{}},{,{}}},{,{{}},{{},{,{B ΦΦΦΦΦΦΦΦΦΦΦΦΦ； C ．}}}},{,{},{{}}},{,{,{}},{,{}},{,{}},{{},{,{B ΦΦΦΦΦΦΦΦΦΦΦΦΦ； D ．},}}},{,{},{{}}},{{,{}},{,}{{{B ΦΦΦΦΦΦΦΦΦΦ， 2．下列结果正确的是（ ）。 A ． B A B A =-?)(； B ．Φ=-?A B A )(； C ．A B B A =?-)(； D ．Φ=Φ?Φ}{；。 3．在（ ） 下有A B A ??。 A ． B A =； B ．A B ?； C ．B A ?； D ．Φ=Φ=B A 或 4．集合A={ {2}, {2,3}, {3,4} }的极小元是（ ）。 A ．{2} B ． {2,3} C ．{3,4} D ．以上都是
离散数学期末试卷A卷及答案
《离散数学》试卷（A 卷） 一、 选择题（共5 小题，每题 3 分，共15 分） 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3，则4+5=9； B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3，则4+5≠9； D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时，下列公式（ C ）不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质（ B ）。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是（ D ）。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题（共 5 小题，每题 3 分，共15 分） 1、设|A|=4，|P(B)|=32，|P(A ?B)|=128，则|A ?B|=??2???.
2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为???1???。 4、设A ＝{1,2,3,4}，则A 上共有???15????个等价关系。 5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。 三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分） 1、“这个语句是真的”是真命题。 （ F ） 2、“张刚和小强是同桌。”是复合命题。 （ F ） 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 （ T ） 4、)(T S R T R S R ??????。 （ F ） 5、恒等关系具有自反性，对称性，反对称性，传递性。 （ T ） 6、若f 、g 分别是单射,则g f ?是单射。 （ T ） 7、若g f ?是满射，则g 是满射。 （ F ） 8、若A B ?，则)()(A P B P ?。 （ T ） 9、若R 具有自反性，则1-R 也具有自反性。 （ T ） 10、B A ∈并且B A ?不可以同时成立。 （F ） 四、计算题（共 3 小题，每题 10 分，共30 分） 1、调查260个大学生，获得如下数据：64人选修数学课程，94人选修计算机课程，58人选修商贸课程，28人同时选修数学课程和商贸课程，26人同时选修数学课程和计算机课程，22人同时选修计算机课程和商贸课程，14人同时选修三门课程。问 （１）三门课程都不选的学生有多少？ （２）只选修计算机课程的学生有多少？
离散数学课后答案
离散数学课后答案 习题一 6.将下列命题符号化。 （1）小丽只能从框里那一个苹果或一个梨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课. 答： （1）（p Λ?q ）ν（?pΛq）其中p:小丽拿一个苹果，q:小丽拿一个梨（2）（p Λ?q ）ν（?pΛq）其中p:刘晓月选学英语，q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答： (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q
离散数学练习题
离散数学练习题 一、填空题 1. 命题Q →P 的真值为0，当且仅当 。 2. 构造公式S R S R →∨∧)(的真值表 。 3. 仅用∧和┐写出下列表达式的等价形式 a) R Q P ?→∨?? b) P Q ∨? 4. 仅用∨和┐写出下列表达式的等价形式 a) )()(D C B A ∨→∨? 。 b) )(E D A ?→→?? 5. 公式A 有三个命题变元P 、Q 、R 组成，其主析取范式为A 6531m m m m ∨∨∨?，则其主合取 范式为： 6. 公式A 有三个命题变元P 、Q 、R 组成，其主合取范式为A ?65310M M M M M ∧∧∧∧，则 其主析取范式为： 。 7. 设解释I 如下： D={n ，m} P(n ，n) P(n ，m) P(m ，n) P(m ，m) 1 1 0 0 8. 确定下列各式的真值： ),(m x xP ? ___ ___; ),(y n yP ? __ ___; ),(y x yP x ??) __ ___。 ),(n x xP ? ___ ___; ),(y m yP ? __ ___; ),(y x yP x ??) __ ___。 9. 谓词合式公式)()(x xQ x xP ?→?的前束范式为 。 10. 某集合有101个元素，则有 个子集的元素为奇数。 11. 某班有32个学生，其中14个人选择艺术，7个人选择生物，6个人选择音乐，三门课都选的有 2人，问这三门课都没选的至少有 人？ 12. 设全集U={1,2,3,4,5,6,7,8,9,10}, A={1,2,3,5,6}, B={2,4,6,8,9}, 则：A ∩B= , B ⊕A= , B A ?= ; (A ∪B)-B = , (A ∪B)-(B ∩C)= 13. =Φ=)(},,a {A A ρ 。 14. B A b a B A ×==2},,{},1{= =×B A )(ρ
《离散数学》练习题和参考答案
《离散数学》练习题和参考答案 一、选择或填空（数理逻辑部分） 1、下列哪些公式为永真蕴含式？( ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答：（1），（4） 2、下列公式中哪些是永真式？( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答：（2），（3），（4），（5），（6） 4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。答：x,y, x,z 5、判断下列语句是不是命题。若是，给出命题的真值。( ) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。(5) 前进！ (6) 给我一杯水吧！ 答：（1）是，T （2）是，F （3）不是 （4）是，T （5）不是（6）不是 6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。 答：所有人都不是大学生，有些人不会死 7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。 (1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校 (3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校 答：（1） P Q→ ?（2）Q P? →（3）Q P? ?（4）Q P→ ? 8、设个体域为整数集，则下列公式的意义是( )。 (1) ?x?y(x+y=0) (2) ?y?x(x+y=0) 答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值： (1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( ) (3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答：（1） F （2） F （3）F （4）T 10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1） 11、命题“2是偶数或-3是负数”的否定是（）。答：2不是偶数且-3不是负数。 12、永真式的否定是（） (1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能答：（2） 13、公式(?P∧Q)∨(?P∧?Q)化简为（），公式 Q→(P∨(P∧Q))可化简为（）。答：?P ，Q→P 14、谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是（）。答：P(x)∨?yR(y) 15、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为（）。
离散数学(A)答案2015
杭州师范大学钱江学院2014 —2015 学年第二学期期末试卷 _ 班《 离散数学 》（A ）卷 命题教师_田正平_ 一、判断题（对的打∨，错的打?；每空2分，共20分） 1、 “若鸟不会飞，则地球比太阳大。” 是假命题。（ ? ） 2、 q q p p ??→∧?)(。（ ? ） 3、 )()())()((x xB x xA x B x A x ?∧??∧?（ ∨ ） 4、 有限偏序集),(≤X 必定存在最小元。（ ? ） 5、 对称关系不一定是反对称关系。（ ∨ ） 6、 设集合},,{c b a X =上的关系R 的关系矩阵是??? ? ? ??=100111101R M ，则关系R 是等 价关系。（ ? ） 7、 图G 是n 阶简单图，若对所有的1)(>?∈v d V v ，则在G 中有回路。（ ∨ ） 8、 在哈密顿图G 中若顶点u 和v 不相邻，则必有n v d u d ≥+)()(。（ ? ） 9、平面图G 是n 阶简单连通图，它有e 条边，则63-≤n e 。（ ∨ ） 10、有n —1条边的n 阶图是树。（ ? ） 题目 一 二 三 四 五 总分 分值 20 20 20 20 20 100 得分 得分 班级： 学号： 姓名： 装 订 线
二、填空题（每空4分，共20分） 1、将命题：“每列火车都比某些汽车快。”符号化。 设个体域为交通工具。P(x)：x 是火车；Q(x)：x 是汽车；R(x,y)：x 比y 快。则“每列火车都比某些汽车快。”可以符号化为： )),()()((y x R y Q x P y x →∧?? 2、全序关系),(≤X 。 集合X 上的自反，反对称和传递关系称为X 上的偏序关系，如果对于X 中的任意两个元素都是可以比较的，那么就称为全序关系。 3、简单回路。 图的一条回路，如果其中所有的边都不相同，那么就称为简单回路。 4、超立方图n Q 的色数=)(n Q χ2。 5、在简单图),(E V G 中，3-=V E ，则图),(E V G 的联通分支数=)(G ω3。 三、选择题（每题4分，共20分） 1、下面命题公式中，矛盾式是（ C ） （A ）)(Q P P ∨→ (B)P P P ?→?→)( (C) )()(R Q Q P P ∧?∧→?∨ (D) )()(Q P Q P ???→? 2、设集合}12,10,6,4,3,2,1{=X 上的关系R 是整除关系，则关系R （ C ） （A ）有最大元，有最小元 (B)有最大元，无最小元 (C) 无最大元，有最小元 (D) 无最大元，无最小元 得分 得分