《离散数学》题库
《离散数学》题库
一、选择或填空
（数理逻辑部分）
1、下列哪些公式为永真蕴含式？( )
(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P
2、下列公式中哪些是永真式？( )
(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)
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
4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
5、判断下列语句是不是命题。若是，给出命题的真值。( ) (1)北京是中华人民共和国的首都。(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？(4) 若7+8＞18，则三角形有4条边。
(5) 前进！(6) 给我一杯水吧！
6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校(2) 若我生病，则我不去学校
(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校8、设个体域为整数集，则下列公式的意义是( )。
(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) ( )
10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( )
(1) 自然数(2) 实数(3) 复数(4) (1)--(3)均成立
11、命题“2是偶数或-3是负数”的否定是（）。
12、永真式的否定是（）
(1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能
13、公式(?P∧Q)∨(?P∧?Q)化简为（），公式Q→(P∨(P∧Q))可化简为（）。
14、谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是（）。
15、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为（）。
（集合论部分）
16、设A={a,{a}}，下列命题错误的是（）。
(1) {a}∈P(A) (2) {a}?P(A) (3) {{a}}∈P(A) (4) {{a}}?P(A)
17、在0（）Φ之间写上正确的符号。
(1) = (2) ?(3) ∈(4) ?
18、若集合S的基数|S|=5，则S的幂集的基数|P(S)|=（）。
19、设P={x|(x+1)2≤4且x∈R},Q={x|5≤x2+16且x∈R},则下列命题哪个正确（）
(1) Q?P (2) Q?P (3) P?Q (4) P=Q
20、下列各集合中，哪几个分别相等( )。
(1) A1={a,b} (2) A2={b,a} (3) A3={a,b,a} (4) A4={a,b,c}
(5) A5={x|(x-a)(x-b)(x-c)=0} (6) A6={x|x2-(a+b)x+ab=0}
21、若A-B=Ф，则下列哪个结论不可能正确？( )
(1) A=Ф(2) B=Ф(3) A?B (4) B?A
22、判断下列命题哪个为真?( )
(1) A-B=B-A => A=B (2) 空集是任何集合的真子集
(3) 空集只是非空集合的子集(4) 若A的一个元素属于B，则A=B 23、判断下列命题哪几个为正确？( )
(1) {Ф}∈{Ф,{{Ф}}} (2) {Ф}?{Ф,{{Ф}}} (3) Ф∈{{Ф}}
(4) Ф?{Ф} (5) {a,b}∈{a,b,{a},{b}}
24、判断下列命题哪几个正确？( )
(1) 所有空集都不相等(2) {Ф}≠Ф(4) 若A为非空集，则A?A成立。
25、设A∩B=A∩C，A∩B=A∩C，则B( )C。
26、判断下列命题哪几个正确？( )
(1) 若A∪B＝A∪C，则B＝C (2) {a,b}={b,a}
(3) P(A∩B)≠P(A)∩P(B) （P(S)表示S的幂集）
(4) 若A为非空集，则A≠A∪A成立。
27、Ａ，Ｂ，Ｃ是三个集合，则下列哪几个推理正确：
(1) A?B，B?C=> A?C (2) A?B，B?C=> A∈B (3) A∈B，B∈C=> A∈C
（二元关系部分）
28、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系Ｒ＝｛〈x,y〉|x=y2｝，求(1)R (2) R-1 。
29、举出集合A上的既是等价关系又是偏序关系的一个例子。( )
30、集合A上的等价关系的三个性质是什么？( )
31、集合A上的偏序关系的三个性质是什么？( )
32、设A={１,２,３,４}，Ａ上的关系Ｒ＝｛〈1,2〉，〈2,1〉，〈2,3〉，〈3,4〉｝
求(1)R R (2) R-1
33、设Ａ＝｛1，2，3，4，5，6｝，Ｒ是A上的整除关系，求R= {( )}。
34、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系Ｒ＝｛〈x,y〉|x=2y｝，求(1)R (2) R-1 。
35、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B的关系Ｒ＝｛〈x,y〉|x=y2｝，
求R和R-1的关系矩阵。
36、集合A={1,2,…,10}上的关系R={
(1) 自反的(2) 对称的(3) 传递的，对称的(4) 传递的
（代数结构部分）
37、设A={2,4,6}，A上的二元运算*定义为：a*b=max{a,b}，则在独异点
38、设A={3,6,9}，A上的二元运算*定义为：a*b=min{a,b}，则在独异点
（半群与群部分）
39、设〈G,*〉是一个群，则
(1) 若a,b,x∈G，a*x=b，则x=( )；
(2) 若a,b,x∈G，a*x=a*b，则x=( )。
40、设a是12阶群的生成元，则a2是( )阶元素，a3是( )阶元素。
41、代数系统
42、设a是10阶群的生成元，则a4是( )阶元素，a3是( )阶元素。
43、群
44、素数阶群一定是( )群, 它的生成元是( )。
45、设〈G,*〉是一个群，a,b,c∈G，则
(1) 若c*a=b，则c=( )；(2) 若c*a=b*a，则c=( )。
46、
47、群＜A,*＞的等幂元有( )个，是( )，零元有( )个。
48、在一个群〈G,*〉中，若G中的元素a的阶是k，则a-1的阶是( )。
49、在自然数集N上，下列哪种运算是可结合的？（）
(1) a*b=a-b (2) a*b=max{a,b} (3) a*b=a+2b (4) a*b=|a-b|
50、任意一个具有2个或以上元的半群，它（）。
(1) 不可能是群(2) 不一定是群
(3) 一定是群(4) 是交换群
51、6阶有限群的任何子群一定不是（）。
(1) 2阶(2) 3 阶(3) 4 阶(4) 6 阶
（格与布尔代数部分）
52、下列哪个偏序集构成有界格（）
(1) （N,≤）(2) （Z,≥）
(3) （{2,3,4,6,12},|（整除关系））(4) (P(A),?)
53、有限布尔代数的元素的个数一定等于（）。
(1) 偶数(2) 奇数(3) 4的倍数(4) 2的正整数次幂
（图论部分）
54、设G是一个哈密尔顿图，则G一定是( )。
(1) 欧拉图(2) 树(3) 平面图(4) 连通图
55、下面给出的集合中，哪一个是前缀码？( )
(1) {0，10，110，101111} (2) {01，001，000，1}
(3) {b，c，aa，ab，aba} (4) {1，11，101，001，0011}
56、一个图的哈密尔顿路是一条通过图中( )的路。
57、在有向图中，结点v的出度deg+(v)表示( )，入度deg-(v)表示( )。
58、设G是一棵树，则G 的生成树有( )棵。
(1) 0 (2) 1 (3) 2 (4) 不能确定
59、n阶无向完全图K n 的边数是( )，每个结点的度数是( )。
60、一棵无向树的顶点数n与边数m关系是( )。
61、一个图的欧拉回路是一条通过图中( )的回路。
62、有n个结点的树，其结点度数之和是( )。
63、下面给出的集合中，哪一个不是前缀码( )。
(1) {a，ab，110，a1b11} (2) {01，001，000，1}
(3) {1，2，00，01，0210} (4) {12，11，101，002，0011}
64、n个结点的有向完全图边数是( )，每个结点的度数是( )。
65、一个无向图有生成树的充分必要条件是( )。
66、设G是一棵树，n,m分别表示顶点数和边数，则
(1) n=m (2) m=n+1 (3) n=m+1 (4) 不能确定。
67、设T=〈V,E〉是一棵树，若|V|>1，则T中至少存在( )片树叶。
68、任何连通无向图G至少有( )棵生成树，当且仅当G 是( )，G的生成树只有一棵。
69、设G是有n个结点m条边的连通平面图，且有k个面，则k等于:
(1) m-n+2 (2) n-m-2 (3) n+m-2 (4) m+n+2。
70、设T是一棵树，则T是一个连通且( )图。
71、设无向图G有16条边且每个顶点的度数都是2，则图G有( )个顶点。
(1) 10 (2) 4 (3) 8 (4) 16
72、设无向图G有18条边且每个顶点的度数都是3，则图G有( )个顶
点。
(1) 10 (2) 4 (3) 8 (4) 12
73、设图G=
74、任一有向图中，度数为奇数的结点有( )个。
75、具有6 个顶点，12条边的连通简单平面图中，每个面都是由( )条边围成？
(1) 2 (2) 4 (3) 3 (4) 5
76、在有n个顶点的连通图中，其边数（）。
(1) 最多有n-1条(2) 至少有n-1 条
(3) 最多有n条(4) 至少有n 条
77、一棵树有2个2度顶点，1 个3度顶点，3个4度顶点，则其1度顶点为（）。
(1) 5 (2) 7 (3) 8 (4) 9
78、若一棵完全二元（叉）树有2n-1个顶点，则它（）片树叶。
(1) n (2) 2n (3) n-1 (4) 2
79、下列哪一种图不一定是树（）。
(1) 无简单回路的连通图(2) 有n个顶点n-1条边的连通图
(3) 每对顶点间都有通路的图(4) 连通但删去一条边便不连通的图
80、连通图G是一棵树当且仅当G中（）。(1) 有些边是割边(2) 每条边都是割边
(3) 所有边都不是割边(4) 图中存在一条欧拉路径（数理逻辑部分）
二、求下列各公式的主析取范式和主合取范式：
1、(P→Q)∧R
2、(P∧R)∨(Q∧R)∨?P
3、(?P→Q)∧(R∨P)
4、Q→(P∨?R)
5、P→(P∧(Q→P))
6、?(P→Q)∨(R∧P)
7、P∨(P→Q)
8、(R→Q)∧P
9、P→Q
10、P∨?Q
11、P∧Q
12、（P∨R）→Q
13、（P→Q）→R
14、(P→(Q∧R))∧(?P→(?Q∧?R))
15、P∨(?P→(Q∨(?Q→R)))
16、(P→Q)∧(P→R)
三、证明：
1、P→Q，?Q∨R，?R，?S∨P=>?S
2、A→(B→C)，C→(?D∨E)，?F→(D∧?E),A=>B→F
3、P∨Q，P→R, Q→S => R∨S
4、(P→Q)∧(R→S)，(Q→W)∧(S→X)，?(W∧X)，P→R => ?P
5、(U∨V)→(M∧N), U∨P, P→(Q∨S)，?Q∧?S =>M
6、?B∨D，(E→?F)→?D，?E=>?B
7、P→(Q→R)，R→(Q→S) => P→(Q→S)
8、P→?Q，?P→R，R→?S =>S→?Q
9、P→(Q→R) => (P→Q)→(P→R)
10、P→(?Q→?R)，Q→?P,S→R,P =>?S
11、A，A→B，A→C，B→(D→?C) => ?D
12、A→(C∨B)，B→?A，D→?C => A→?D
13、(P→Q)∧(R→Q) ?（P∨R）→Q
14、P→(Q→P)??P→(P→?Q)
15、（P→Q）∧（P→R），?(Q∧R)，S∨P?S
16、P→?Q，Q∨?R，R∧?S??P
17、用真值表法证明Ｐ?Ｑ?(Ｐ→Ｑ)∧(Ｑ→Ｐ)
18、P→Q?P→(P∧Q)
19、用先求主范式的方法证明(P→Q)∧(P→R) ?(P→（Q∧R）
20、(P→Q)∧?(Q∨R) ??P
21、为庆祝九七香港回归祖国，四支足球队进行比赛，已知情况如下，问结论是否有效?
前提: (1) 若A队得第一，则B队或C队获亚军;
(2)若C队获亚军，则A队不能获冠军;
(3)若D队获亚军，则B队不能获亚军;
(4) A 队获第一;
结论: (5) D队不是亚军。
22、用推理规则证明P→Q, ?(Q∨R),P∧R不能同时为真。
(集合论部分)
四、设Ａ，Ｂ，Ｃ是三个集合，证明：
1、A?(B－C)＝(A?B)－(A?C)
2、(A－B)?(A－C)=A－(B?C)
3、A?B=A?C，A?B=A?C，则C=B
4、A?B=A?(B-A)
5、A=B A⊕B=Φ
6、A?B = A?C，A?B=A?C，则C=B
7、A?B=A?C，A?B=A?C，则C=B
8、A－(B?C)＝(A－B)－C
9、(A－B)?(A－C)=A－(B?C)
10、A-B=B，则A=B=Φ
11、A=(A-B)?(A-C)?A?B?C=Φ
12、(A-B)?(A-C)=Φ?A?B?C
13、(A-B)?(B-A)=A ?B=Φ
14、(A-B)-C?A-(B-C)
15、P(A)?P(B)?P(A?B) （P(S)表示S的幂集）
16、P(A)?P(B)=P(A?B) （P(S)表示S的幂集）
17、（A-B）?B=（A?B）-B当且仅当B=Φ。
n，则c的阶整除m与n的最大公因子(m,n)。
五、证明或解答：
（数理逻辑、集合论与二元关系部分）
1、设个体域是自然数，将下列各式翻译成自然语言：
(1) ?x?y（xy=1）; (2) ?x?y(xy=1);
(3) ?x?y (xy=0); (4) ?x?y（xy=0）;
(5) ?x?y (xy=x); (6) ?x?y（xy=x）;
(7) ?x?y?z (x-y=z)
2、设A(x,y,z): x+y=z, M（x,y,z）: xy=z, L(x,y): x
（1）没有小于0的自然数;
（2）x （3）若x （4）存在x，对任意y 使得xy=y; （5）对任意x，存在y使x+y=x。 3、列出下列二元关系的所有元素： （1）A={0,1,2},B={0,2,4},R={ ∈}; A? （2）A={1,2,3,4,5},B={1,2},R={ ∈且y∈B}; （3）A={1,2,3},B={-3,-2,-1,0,1},R={ ∈且y∈B}; 4、对任意集合A,B，证明：若A?A=B?B，则B=B。 5、对任意集合A,B，证明：若AΦ ≠，A?B=A?C，则B=C。 故B=C。 6、设A={a,b}, B={c}。求下列集合： (1) A?{0,1}?B；(2) B2?A； (3) (A?B)2; (4) P(A)?A。 7、设全集U={a,b,c,d,e}, A={a,d}, B={a,b,c}, C={b,d}。求下列各集合： （1）A?B?C；（2）C ?；（3）(A?B) C; B A? （4）P(A)-P(B); （5）(A-B) (B-C); （6）(A⊕B)?C; 8、设A,B,C是任意集合，证明或否定下列断言： （1）若A?B，且B?C，则A?C； （2）若A?B，且B?C，则A∈C; （3）若A∈B，且B∈C，则A∈C； （4）若A∈B，且B?C，则A∈C； 9、A上的任一良序关系一定是A上的全序关系。 10、若R和S都是非空集A上的等价关系，则R?S是A上的等价关系。 11、设R?A×A，则R自反?I A?R。 12、设A是集合，R?A×A，则R是对称的?R＝R－1。 13、设A，B，C和D均是集合，R?A×B，S?B×C，T?C×D，则 (1) R (S?T)=(R S)?(R T)； (2) R (S?T)?(R S)?(R T)； 14、设〈A,≤〉为偏序集，≠ ΦB?A，若B有最大(小)元、上(下)确界，则它们是惟一的。 15、设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质： 1 1 1 2 3 2 3 2 16、设A={1,2,…,10}。下列哪个是A的划分？若是划分，则它们诱导的等价关系是什么？ （1）B={{1,3,6},{2,8,10},{4,5,7}}; （2）C={{1,5,7},{2,4,8,9},{3,5,6,10}}; （3）D={{1,2,7},{3,5,10},{4,6,8},{9}} 17、R是A={1,2,3,4,5,6}上的等价关系， R=I ?{<1,5>,<5,1>,<2,4>,<4,2>,<3,6>,<6,3>} A 求R诱导的划分。 18、A上的偏序关系≤的Hasse图如下。 （1）下列哪些关系式成立：a≤b,b≤a,c≤e,e≤f,d≤f,c≤f； （2）分别求出下列集合关于≤的极大（小）元、最大（小）元、上（下）界及上（下）确界（若存在的话）： (a) A; (b) {b,d}; (c) {b,e}; (d) {b,d,e} a e f b d c （半群与群部分） 19、求循环群C12={e,a,a2,…,a11}中H={e,a4,a8}的所有右陪集。 20、求下列置换的运算： 21、试求出8阶循环群的所有生成元和所有子群。 22、I上的二元运算*定义为：?a,b∈I，a*b=a+b-2。试问 23、设 24、证明：偶数阶群中阶为2 的元素的个数一定是奇数。 25、证明：有限群中阶大于2的元素的个数一定是偶数。 26、试求 27、设 28、I上的二元运算*定义为：?a,b∈I，a*b=a+b-2。试证： 29、设 30、单位元有惟一逆元。 31、设e和0是关于A上二元运算*的单位元和零元，如果|A|>1，则e≠0。 32、证明在元素不少于两个的群中不存在零元。 33、证明在一个群中单位元是惟一的。 34、设a是一个群〈G,*〉的生成元，则a-1也是它的生成元。 35、在一个偶数阶群中一定存在一个2阶元素。 36、代数系统 37、设 38、设半群 39、设群 40、设*是集合A上可结合的二元运算，且?a,b∈A,若a*b=b*a，则a=b。试证明： （1）?a∈A,a*a=a，即a是等幂元； （2）?a,b∈A,a*b*a=a; （3）?a,b,c∈A,a*b*c=a*c。 41、设 42、若群 的正规子群。 43、设H和K都是G的不变子群。证明：H?K也是G 的不变子群。 44、设群G的中心为C（G）={a∈G|?x∈G,a·x=x·a}。证明C（G）是 G的不变子群。 45、设 46、设H和K都是G 的有限子群，且|H|与|K|互质。试证：H?K={e}。 47、素数阶循环群的每个非单位元都是生成元。 48、若 n，其中(k,n)为49、设 k , ) (n k和n的最大公因子。 50、设 51、设G＝(a)，若G为无限群，则G只有两个生成元a和a-1； 52、设G＝(a)，{e}≠H≤G，a m是H中a 的最小正幂，则 （1）H＝(a m)； （2）若G为无限群，则H也是无限群； 53、设G＝(a)，|G|＝n，则对于n 的每一正因子d，有且仅有一个d阶子群。因此n阶循环群的子群的个数恰为n的正因子数。 54、设h是从群 （1）h(e1)=e2； （2）?a∈G1，h(a-1)=h(a)-1； （3）若H≤G1，则h(H)≤G2； （4）若h为单一同态，则?a∈G1，|h(a)|=|a|。 55、有限群G的每个元素的阶均能整除G的阶。 56、证明：在同构意义下，只有两个四阶群，且都是循环群。 57、在一个群〈G,*〉中，若G中的元素a的阶是k，即|a|=k，则a-1的阶也是k。 58、在一个群 59、设e是奇数阶交换群 60、设S=Q?Q，Q为有理数集合，*为S上的二元运算：对任意(a,b),(c,d)∈S,有 (a,b)*(c,d)=(ac,ad+b), 求出S关于二元运算*的单位元，以及当a≠0时，(a,b)关于*的逆元。61、设 62、设H是G的子群，则下列条件等价： （1）H是G的不变子群； （2）?a∈G，a?H?a-1?H； （3）?a∈G，a-1?H?a?H； （4）?a∈G，?h∈G，a?h?a-1?H。 63、在半群 解，则 64、设 65、设H和K都是G的不变子群。证明：HK也是G 的不变子群。 66、设 （格与布尔代数） 67、当n分别是24，36，110时， 68、设L是有界格，且|L|>1。证明：0≠1。 证明： 69、设 a⊕b=b⊙c , (a⊙b)⊕(b⊙c)=(a⊕b)⊙(a⊕c) 70、在布尔代数中，证明恒等式a⊕(a'*b)=a⊕b 71、设 72、在布尔代数中，证明恒等式(a*c)⊕(a'*b)⊕(b*c)=(a*c)⊕(a'*b) 73、在布尔代数中，证明恒等式(a*b)⊕(a'*c)⊕(b'*c)=(a*b)⊕c 74、设 a*c≤b*d 75、当n分别是10,45时，画出 76、在布尔代数中，证明恒等式 (a⊕b')*(b⊕c')*(c⊕a')=(a'⊕b)*(b'⊕c)*(c'⊕a) 77、设 I[a,b]={x∈L|a≤x≤b} 则 78、设A＝{a,b,c}，求 79、证明：在同构意义下，4阶格只有2个。 80、设 离散数学考试（试题及答案） 一、（10分）某项工作需要派A、B、C和D4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下。 解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。则根据题意应有：ACD，(B∧C)，CD必须同时成立。因此 (ACD)∧(B∧C)∧(CD) (A∨(C∧ D)∨(C∧D))∧(B∨C)∧(C∨D) (A∨(C∧ D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D)) (A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧ D∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D F∨F∨(A∧C)∨F∨F∨(C∧ D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F (A∧C)∨(B∧C∧ D)∨(C∧D∧B)∨(C∧D) (A∧C)∨(B∧C∧ D)∨(C∧D) T 故有三种派法：B∧D，A∧C，A∧D。 二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。 解：论域：所有人的集合。()：是专家；()：是工人；()：是青年人；则推理化形式为： (()∧())，()(()∧()) 下面给出证明： (1)() P (2)(c) T(1)，ES (3)(()∧()) P (4)( c)∧( c) T(3)，US (5)( c) T(4)，I (6)( c)∧(c) T(2)(5)，I (7)(()∧()) T(6) ，EG 三、（10分）设A、B和C是三个集合，则AB(BA)。 证明：ABx(x∈A→x∈B)∧x(x∈B∧xA)x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A)x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB))(x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。 四、（15分）设A＝{1，2，3，4，5}，R是A上的二元关系，且R＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>}，求r(R)、s(R)和t(R)。 解 r(R)＝R∪I A＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<1，1>，<2，2>，<3，3>，<4，4>，<5，5>} s(R)＝R∪R－1＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>， <5，2>，<1，2>，<4，2>，<4，3>} R2＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>} R3＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<5，4>} R4＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>}＝R2 t(R)＝R i＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<2，2>，<5，1>，<5，4>，<5，5>}。 第一章习题 1.1&1.2 判断下列语句是否为命题,若是命题请指出是简单命题还 是复合命题.并将命题符号化,并讨论它们的真值. (1) √2是无理数. 是命题,简单命题.p:√2是无理数.真值:1 (2) 5能被2整除. 是命题,简单命题.p:5能被2整除.真值:0 (3)现在在开会吗? 不是命题. (4)x+5>0. 不是命题. (5) 这朵花真好看呀! 不是命题. (6) 2是素数当且仅当三角形有3条边. 是命题,复合命题.p:2是素数.q:三角形有3条边.p?q真值:1 (7) 雪是黑色的当且仅当太阳从东方升起. 是命题,复合命题.p:雪是黑色的.q:太阳从东方升起. p?q真值:0 (8) 2008年10月1日天气晴好. 是命题,简单命题.p:2008年10月1日天气晴好.真值唯 一. (9) 太阳系以外的星球上有生物. 是命题,简单命题.p:太阳系以外的星球上有生物.真值唯一. (10) 小李在宿舍里. 是命题,简单命题.P:小李在宿舍里.真值唯一. (11) 全体起立! 不是命题. (12) 4是2的倍数或是3的倍数. 是命题,复合命题.p:4是2的倍数.q:4是3的倍数.p∨q 真值:1 (13) 4是偶数且是奇数. 是命题,复合命题.P:4是偶数.q:4是奇数.p∧q真值:0 (14) 李明与王华是同学. 是命题,简单命题.p: 李明与王华是同学.真值唯一. (15) 蓝色和黄色可以调配成绿色. 是命题,简单命题.p: 蓝色和黄色可以调配成绿色.真值:1 1.3 判断下列各命题的真值. (1)若 2+2=4,则 3+3=6. (2)若 2+2=4,则 3+3≠6. (3)若 2+2≠4,则 3+3=6. (4)若 2+2≠4,则 3+3≠6. (5)2+2=4当且仅当3+3=6. (6)2+2=4当且仅当3+3≠6. (7)2+2≠4当且仅当3+3=6. (8)2+2≠4当且仅当3+3≠6. 答案: 设p:2+2=4,q:3+3=6,则p,q都是真命题. (1)p→q,真值为1. (2)p→┐q,真值为0. (3)┐p→q,真值为1. (4)┐p→┐q,真值为1. (5)p?q,真值为1. (6)p?┐q,真值为0. (7)┐p?q,真值为0. (8)┐p?┐q,真值为1. 1．4将下列命题符号化，并讨论其真值。 （1）如果今天是1号，则明天是2号。 p:今天是1号。 q:明天是2号。 符号化为：p→q 真值为：1 （2）如果今天是1号，则明天是3号。 p:今天是1号。 2016注意事项： 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的总结把重点内容再做复习。另外，把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做，检验一下复习情况，要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1．令p : 今天下雪了，q :路滑，r :他迟到了。则命题“下雪路滑，他迟到了” 可符号化为（ A ）。 A. p q r ∧→ B. p q r ∨→ C. p q r ∧∧ D. p q r ∨? 2.设()P x :x 是整数，()f x :x 的绝对值，(,)L x y ：x 大于等于y ；命题“所有整数的绝对值大于等于0”可符号化为（ B ）。 A. (()((),0))x P x L f x ?∧ B. (()((),0))x P x L f x ?→ C. ()((),0)xP x L f x ?∧ D. ()((),0)xP x L f x ?→ 3.设()F x :x 是人，()G x :x 犯错误，命题“没有不犯错误的人”符号化为（D ）。 A ．(()())x F x G x ?∧ B ． (()())x F x G x ??→? C ．(()())x F x G x ??∧ D ． (()())x F x G x ??∧? *4.下列命题公式不是永真式的是（ A ）。 A . ()p q p →→ B . ()p q p →→ C . ()p q p ?∨→ D . ()p q p →∨ 5．设p ：我们划船，q ：我们跳舞，命题“我们不能既划船又跳舞”符号化正确的是（ B ）。 A. p q ∧ B. ()p q ?∧ C. p q ?∧? D. p q ?∧ 6．设()R x :x 为有理数；()Q x :x 为实数。命题“任何有理数都是实数”的符号化为（ A ） A ．()(()())?→x R x Q x B ．()(()())?∧x R x Q x C ．()(()())x R x Q x ?∧ D ．(()())x R x Q x ?→ 7. 设个体域{,}D a b =，与公式()xA x ?等价的命题公式是( C ) A ．()()A a A b ∧ B ．()()A a A b → C ．()()A a A b ∨ D ．()()A b A a → 8．无向图G 有20条边，4个6度顶点，2个5度顶点，其余均为2度顶点， 则G 一共有（ C ）个顶点。 1 离散数学模拟试题Ⅰ 一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个就是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分 1.设 }16{2<=x x x A 是整数且,下面哪个命题为假( A )。 A 、A ?}4,2,1,0{; B 、A ?---}1,2,3{; C 、A ?Φ; D 、A x x x ?<}4{是整数且。 2.设}}{,{,ΦΦ=Φ=B A ,则B －A 就是( C )。 A 、}}{{Φ; B 、}{Φ; C 、}}{,{ΦΦ; D 、Φ。 3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。 A 、b,c; B 、a,b; C 、b; D 、a,b,c 。 4.设f 与g 都就是X 上的双射函数,则1)(-g f ο为( C )。 A 、11--g f ο; B 、1)(-f g ο; C 、11--f g ο; D 、1-f g ο。 5.下面集合( B )关于减法运算就是封闭的。 A 、N ; B 、}2{I x x ∈; C 、}12{I x x ∈+; D 、}{是质数x x 。 6.具有如下定义的代数系统>*<,G ,( D )不构成群。 A 、G={1,10},*就是模11乘 ; B 、G={1,3,4,5,9},*就是模11乘 ; C 、G=Q(有理数集),*就是普通加法; D 、G=Q(有理数集),*就是普通乘法。 7.设 },32{I n m G n m ∈?=,*为普通乘法。则代数系统>*<,G 的幺元为( B )。 f 2 A 、不存在 ; B 、0032?=e ; C 、32?=e ; D 、1132--?=e 。 8.下面集合( C )关于整除关系构成格。 A 、{2,3,6,12,24,36} ; B 、{1,2,3,4,6,8,12} ; C 、{1,2,3,5,6,15,30} ; D 、{3,6,9,12}。 9.设},,,,,{f e d c b a V =, },,,,,,,,,,,{><><><><><><=e f e d d a a c c b b a E ,则有向图 >= 《离散数学》模拟题（补） 一．单项选择题 1．下面四组数能构成无向图的度数列的有( )。 A、 2,3,4,5,6,7； B、 1,2,2,3,4； C、 2,1,1,1,2； D、 3,3,5,6,0。 2．图的邻接矩阵为( )。 A、； B、； C、； D、。 3.设S1={1，2，…，8，9}，S2={2，4，6，8}，S3={1，3，5，7，9}，S4={3，4，5}，S5={3，5}，在条件下X与（）集合相等。 A、X=S2或S5 ； B、X=S4或S5； C、X=S1，S2或S4； D、X与S1，…，S5中任何集合都不等。 4．下列图中是欧拉图的有( )。 5.下述命题公式中，是重言式的为（）。 A、； B、； C、； D、。 6.的主析取范式中含极小项的个数为（）。 A 、2； B、 3； C、5； D、0 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 ?? ? ? ? ? ? ? ? 1 1 1 1 1 1 1 3 1 S X S X? ?且 ) ( ) (q p q p∨ → ∧)) ( )) (( ) (p q q p q p→ ∧ → ? ? q q p∧ → ?) (q p p? ? ∧) ( r q p wff→ ∧ ?) ( 7.给定推理 ① P ② US ① ③ P ④ ES ③ ⑤ T ②④I ⑥ UG ⑤ 推理过程中错在（ ）。 A 、①->②; B 、②->③; C 、③->④; D 、④->⑤ 8.设S 1={1，2，…，8，9}，S 2={2，4，6，8}，S 3={1，3，5，7，9}，S 4={3，4，5}， S 5={3，5}，在条件 下X 与（ ）集合相等。 A 、X=S 2或S 5 ； B 、X=S 4或S 5； C 、X=S 1，S 2或S 4； D 、X 与S 1，…，S 5中任何集合都不等。 9.设R 和S 是P 上的关系，P 是所有人的集合， ， 则表示关系 （ ） 。 A 、； B 、 ； C 、 ； D 、 。 10.下面函数（ ）是单射而非满射。 A 、 ； B 、 ； C 、 ； D 、。 ))()((x G x F x →?)()(y G y F →)(x xF ?)(y F )(y G )(x xG ?)())()((x xG x G x F x ??→?∴3 1S X S X ??且},|,{的父亲是y x P y x y x R ∧∈><=},|,{的母亲是y x P y x y x S ∧∈><=R S 1-},|,{的丈夫是y x P y x y x ∧∈><},|,{的孙子或孙女是y x P y x y x ∧∈><Φ},|,{的祖父或祖母是y x P y x y x ∧∈><12)(,:2-+-=→x x x f R R f x x f R Z f ln )(,:=→+的最大整数表示不大于x x x x f Z R f ][],[)(, :=→12)(,:+=→x x f R R f 第一章习题 1.1判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题。（1）2是无理数。 （2）5能被2整除。 （3）现在开会吗？ （4）x+5>0 （5）这朵花真是好看！ （6）2是素数当且仅当三角形有三条边。 （7）雪是黑色的当且仅当太阳是从东方升起。 （8）2000年10月1日天气晴好。 （9）太阳系以外的星球上有生物。 （10）小李在宿舍里。 （11）全体起立。 （12）4是2的倍数或是3的倍数。 （13）4是偶数且是奇数。 （14）李明和王华是同学。 （15）蓝色和黄色可以调配成绿色。 1..2 将上题中的命题符号化，并讨论他们的真值。 1.3判断下列各命题的真值。 （1）若2+2=4，则3+3=6； （2）若2+2=4，则3+3≠6； （3）若2+2≠=4，则3+3=6； （4）若2+2≠=4，则3+3≠=6； （5）2+2=4，当且仅当3+3=6； （6）2+2=4，当且仅当3+3≠6； （7）2+2≠4，当且仅当3+3=6； （8）2+2≠4，当且仅当3+3≠6； 1.4将下列命题符号化，并讨论其真值。 （1）如果今天是1号，则明天是2号； （2）如果今天是1号，则明天是3号； 1.5将下列命题符号化。 （1）2是偶数不是素数； （2）小王不但聪明而且用功； （3）虽然天气冷。老王还是来了； （4）他一边吃饭，一边看电视； （5）如果天下大雨，他就乘公交汽车来； （6）只有天下大雨，他才乘公交汽车来； （7）除非天下大雨，否则他不乘公交汽车来； （8）不经一事，不长一智； 1.5设p,q的真值为0 ，r,s的真值为1，求下列命题公式的真值。（1）p∨(q∧r); 离散数学复习题及答案文件排版存档编号：[UYTR-OUPT28-KBNTL98-UYNN208] 1. 写出命题公式 ﹁（P →（P ∨ Q ））的真值表。 答案： 2.证明 答案： 3. 证明以下蕴涵关系成立： 答案： 4. 写出下列式子的主析取范式： 答案： 5. 构造下列推理的论证：p ∨q, p →r, s →t, s →r, t q 答案： ①s →t 前提 ②t 前提 ③s ①②拒取式I12 ④s →r 前提 ⑤r ③④假言推理I11 ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论I10 6. 用反证法证明：p →((r ∧s)→q), p, s q 7. 请将下列命题符号化： 所有鱼都生活在水中。 ) ()(R P Q P ∨∧∧? 答案： 令F( x )：x是鱼 W( x )：x生活在水中 8. 请将下列命题符号化： 存在着不是有理数的实数。 答案： 令 Q ( x )：x 是有理数 R ( x )：x 是实数 9. 请将下列命题符号化： 尽管有人聪明，但并非一切人都聪明。 答案： 令M(x)：x 是人 C(x)：x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化： 对于所有的正实数x,y，都有x+y≥x。 答案： 令P(x):x是正实数 S(x,y): x+y≥x 11. 请将下列命题符号化： 每个人都要参加一些课外活动。 答案： 令P(x):x是人 Q(y): y是课外活动 S(x,y):x参加y 12. 请将下列命题符号化： 某些人对某些药物过敏。 答案： 令P(x):x是人 Q(y): y是药 S(x,y):x对y过敏13. 求) ( )) ( ) ( (y yR y Q x P y? → → ?的对偶式: 答案： 14. 求下列谓词公式的前束范式： 答案： 15. 证明： 答案： 16. 用反证法证明： x(P(x)∧Q(x)) , xP(x) xQ(x) 答案： 17. 证明： 前提： x(C(x)W(x)∧R(x)), x(C(x)∧Q(x)). 结论： x(Q(x)∧R(x)). 答案： (1) x(C(x)∧Q(x)) 前提引入 (2) C(a)∧Q(a) (1)ES (3) C(a) (2)化简规则 (4) x(C(x)W(x)∧R(x)) 前提引入 (5) C(a)W(a)∧R(a) (4)US (6) W(a)∧R(a) (3)(5)假言推理 (7) R(a) (6)化简规则 (8) Q(a) (2)化简规则 ) , , ( )) , ( ) , ( (u y x uQ z y P z x zP y x? → ∧ ? ? ? 北京语言大学网络教育学院 《离散数学》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集，则一定有（ ）。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是（ ）。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有（ ）。 [A]3个 [B]6个 [C]8个 [D]9个 离散数学（上）模拟题 1、命题符号化（共6小题，每小题3分，共计18分） 1. 用命题逻辑把下列命题符号化 a) 假如上午不下雨，我去看电影，否则就在家里读书或看报。 b) 我今天进城，除非下雨。 c) 仅当你走，我将留下。 2. 用谓词逻辑把下列命题符号化 a) 有些实数不是有理数 b) 对于所有非零实数x，总存在y使得xy=1。 c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得 f(a)=b. 2、简答题（共6道题，共32分） 1. 求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范 式，并写出所有成真赋值。（5分） 2. 设个体域为{1,2,3}，求下列命题的真值（4分） a) xy(x+y=4) b) yx (x+y=4) 3. 求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。（4分） 4. 判断下面命题的真假，并说明原因。（每小题2分，共4分） a) （AB）－C=(A-B) (A-C) b) 若f是从集合A到集合B的入射函数，则|A|≤|B| 5. 设A是有穷集，|A|=5，问（每小题2分，共4分） a) A上有多少种不同的等价关系？ b) 从A到A的不同双射函数有多少个？ 6. 设有偏序集 下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即 可）(6分) 3、证明题（共3小题，共计40分） 1. 使用构造性证明，证明下面推理的有效性。（每小题5分，共10 分） a) A→(B∧C),(E→F)→C, B→(A∧S)B→E b) x(P(x)→Q(x)), x(Q(x)∨R(x))，xR(x) xP(x) 2. 设R1是A上的等价关系，R2是B上的等价关系，A≠且B≠，关系R 满足：< 离散数学（本）复习题 1.请给出公式G=（P→（Q→P））→（?P→（P→Q））的真值表。 2.设A={1，2，3，4，5，6}，其上一个划分为C={{1}，{2，4}，{3，5，6}}，请给出对应划分C的等价关系R C。 3.R，S是集合A上的两个关系。试证明下列等式： （1）(R?S)-1= S-1?R-1 （2）(R-1)-1= R （3）(R∪S)-1= R-1∪S-1 （4）(R∩S)-1= R-1∩S-1 4.设R是集合A上的关系，令 R+={(x, y)|x∈A，y∈A，并且存在n>0，使得xR n y}， 则称R+是R的传递闭包，证明：R+是包含R的最小具有传递性的关系。 5.若非空集合上的非空关系R是反自反的，是对称的，试证明R不是传递的。 6.设A={1，2，3，4，5，6，7，8，9}，R为A上的整除关系，请给出部分序集（A，R）的Hasse图。 7.设G是含有3个不同原子的命题公式，当G是恒假公式的时候，G的主析取范式中有多少极小项，主合取范式中有多少极大项？ 8.有人说：“等价关系中的反身性可以不要，因为反身性可以从对称性和传递性推出：由对称性，从a ? b可得b ? a，再由传递性得a ? a”。你的意见呢？ 9.若集合A上的关系R，S具有对称性，证明：R?S具有对称性的充要条件为R?S= S?R。 10.若R是等价关系，试证明R-1也是等价关系。 11.给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) 12.试将下列公式化成等价的前束范式： (1)?x(P(x)→?yQ(x，y))； (2)?x((??yP(x，y))→(?zQ(z)→R(x)))； (3)?x?y(?zP(x，y，z)∧(?uQ(x，u)→?vQ(y，v)))。 13.设S={G1，…，G n}是命题公式集合。试求出在不增加新原子的情况下从S出发演绎出的所有命题公式。 14.证明下面的等价式： (1) (?P∧(?Q∧R))∨(Q∧R)∨(P∧R)=R (2) P→(Q→P)=?P→(P→Q) (3) P→(Q∨R)=(P→Q)∨(P→R) (4) (P→Q)∧(R→Q)=(P∨R)→Q 15．找出下面公式的Skolem范式： (1)?(?xP(x)→?y?zQ(y，z))； (2)?x(?E(x，0)→(?y(E(y，g(x))∧?z(E(z，g(x))→E(y，z)))))。 16．G=(P，L)是有限图，设P(G)，L(G)的元数分别为m，n。证明：n≤2 C，其中2m C表示 m m中取2的组合数。 离散数学测试题 一．选择题（10*2） 1.设L (x )：x 是演员，J (y )：y 是老师，A (x ,y )：x 佩服y. 那么命题“所有演员都佩服某些老 师”符号化为( ) (A) ),()(y x A x xL →? (B) ))),()(()((y x A y J y x L x ∧?→? (C) )),()()((y x A y J x L y x ∧∧?? (D) )),()()((y x A y J x L y x →∧?? 2.令F(x):x 是有理数，G(x):x 是实数。将命题“所有的有理数都是实数，但有的有实数不是有理数”符号化为 （ ） A.?x(F(x)∧G(x))∧?x(G(x)→?F(x)) B.?x(F(x)→G(x))∧?x(G(x)∧?F(x)) C.?x(F(x)∧G(x))∧?x(G(x)∧?F(x)) D.?x(F(x)→G(x))∧?x(G(x)→?F(x)) 3．设R 是集合A={a,b,c,d}上的二元关系， R={ 《离散数学》模拟试题 一、 填空题（每小题2分，共20分） 1. 已知集合A ={φ，1，2}，则A 得幂集合p （A ）=_____ _。 2. 设集合E ={a , b , c , d , e }, A = {a , b , c }, B = {a , d , e }, 则A ∪B =___ ___， A ∩ B =____ __，A －B =___ ___，～A ∩～B =____ ____。 3. 设A ，B 是两个集合，其中A = {1, 2, 3}, B = {1, 2}，则A －B =____ ___， ρ（A ）－ρ（B ）=_____ _ _。 4. 已知命题公式，则G 的析取范式为 。 5. 设P ：2＋2＝4，Q ：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化 ，其真值为 。 二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。） 1. 设A 、B 是两个集合，A ＝{1,3,4}，B ＝{1,2}，则A －B 为（ ）. A. {1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有（ ）。 A. φ＝0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X ＝{x , y }，则ρ（X ）＝（ ）。 A. {{x },{y }} B. {φ,{x },{y }} C. {φ,{x },{y },{x , y }} D. {{x },{y },{x , y }} 4. 设集合 A ＝{1,2,3}，A 上的关系 R ＝ {(1,1),(2,2),(2,3),(3,3),(3,2)}， 则R 不具备（ ）. 三、计算题（共50分） R Q P G →∧?=)( 北京语言大学网络教育学院 《离散数学》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集，则一定有（ ）。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是（ ）。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有（ ）。 [A]3个 [B]6个 [C]8个 [D]9个 离散数学试题一（A 卷答案） 一、（10分）证明(A ∨B )(P ∨Q )，P ，(B A )∨P A 。 二、（10分）甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛，下列4 种判断都是正确的： (1)甲和乙只有一人参加； (2)丙参加，丁必参加； (3)乙或丁至多参加一人； (4)丁不参加，甲也不会参加。 请推出哪两个人参加了围棋比赛。 三、（10分）指出下列推理中，在哪些步骤上有错误为什么给出正确的推理形式。 (1)x (P (x ) Q (x )) P (2)P (y )Q (y ) T (1)，US (3)xP (x ) P (4)P (y ) T (3)，ES (5)Q (y ) T (2)(4)，I (6)xQ (x ) T (5)，EG 四、（10分）设A ＝{a ，b ，c}，试给出A 上的一个二元关系R ，使其同时不满足自反性、反自反性、 五、（15分）设函数g ：A →B ，f ：B →C ， (1)若f o g 是满射，则f 是满射。 (2)若f o g 是单射，则g 是单射。 六、（15分）设R 是集合A 上的一个具有传递和自反性质的关系，T 是A 上的关系，使得T R 且R ，证明T 是一个等价关系。 七、（15分）若 离散数学复习注意事项： 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做，检验一下第一遍与第二遍复习情况，要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1．下列句子中，（）是命题。 A．2是常数。B．这朵花多好看呀！ C．请把门关上！D．下午有会吗？ 2．令p: 今天下雪了，q:路滑，r:他迟到了。则命题“下雪路滑，他迟到了” 可符号化为（）。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3．令:p今天下雪了，:q路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4．设() Q x:x会飞，命题“有的鸟不会飞”可符号化为（）。 P x:x是鸟，() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y：x大于等于y；命题“所有整数 f x:x的绝对值，(,) P x:x是整数，() 的绝对值大于等于0”可符号化为（）。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人，() G x:x犯错误，命题“没有不犯错误的人”符号化为（）。 A．(()()) ??→? x F x G x ?∧B．(()()) x F x G x C．(()()) ??∧? x F x G x ??∧D．(()()) x F x G x 7.下列命题公式不是永真式的是（）。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8．设() R x:x为有理数；() Q x:x为实数。命题“任何有理数都是实数”的符号化为（） 离散数学考试试题(A卷及答案） 一、证明题（10分） 1) (P∧Q∧A C)∧(A P∨Q∨C ) (A∧(P Q ))C。P<->Q=(p->Q)合取（Q->p） 证明: (P∧Q∧A C)∧(A P∨Q∨C) (P ∨Q ∨A∨C)∧(A∨P∨Q∨C) ((P ∨Q ∨A)∧(A∨P∨Q))∨C反用分配律 ((P∧Q∧A)∨(A ∧P ∧Q))∨C ( A∧((P∧Q)∨(P ∧Q)))∨C再反用分配律 GAGGAGAGGAFFFFAFAF ( A∧(P Q))∨C (A∧(P Q ))C 2) (P Q)P Q。 证明：(P Q)((P∧Q))(P ∨Q))P Q。 二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。 主析取范式与析取范式的区别：主析取范式里每个括号里都必须有全部的变元。 主析取范式可由析取范式经等值演算法算得。 GAGGAGAGGAFFFFAFAF 证明： 公式法：因为(P(Q ∨R))∧(P∨(Q R)) (P∨Q∨R)∧(P∨(Q ∧R )∨(Q ∧R)) (P∨Q ∨R)∧(((P∨Q)∧(P ∨R ))∨(Q ∧R ))分配律 (P∨Q∨R)∧(P∨Q ∨Q)∧(P∨Q ∨R)∧(P∨R ∨Q)∧(P∨R ∨R) (P∨Q ∨R)∧(P∨Q ∨R )∧(P ∨Q∨R) M∧5M∧6M使（非P析取Q析取R）为0 4 GAGGAGAGGAFFFFAFAF 所赋真值，即100，二进制为4 GAGGAGAGGAFFFFAFAF 离散数学复习资料 一、填空 1. 命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x 为实数，y x y x L >:),(则命题的逻辑谓词公式为 。 2. 设p ：王大力是100米冠军，q ：王大力是500米冠军，在命题逻辑中，命题“王大力不 但是100米冠军，而且是500米冠军”的符号化形式为 。命题“存在一个人不但是100米冠军，而且是500米冠军”的符号化形式为____。 3. 选择合适的论域和谓词表达集合A=“直角坐标系中，单位元（不包括单位圆周）的点集” 则A= 。 4. 设 P （x ）：x 是素数， E(x)：x 是偶数，O(x)：x 是奇数 N (x,y)：x 可以整数y 。则谓词 (()(()(,)))x P x y O y N y x ?→?∧ 的自然语言是 对于任意一个素数都存在一个奇数使 该素数都能被整除 。 5. 设个体域是{a,b}，谓词公式()()()()x P x x P x ??∨?写成不含量词的形式是 。 6. 谓词(((,)(,))(,,))x y z P x z P y z uQ x y u ???∧→?的前束范式为 。 7. 命题公式)))(((R Q Q P P A →?∧→?∨?的主合取范式为 ，其编码表示为 。 8. 设E 为全集， ，称为A 的绝对补，记作～A ，且～（～A ）= ，～E = ， ～Φ= 。 9. 设={256},{234},{134}A B C ==， ，，，，，，则A-B= ，A ⊕B = ，A ×C = 。 10. 设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =，}},{},,{},{{2c a b a a S =， 一、选择题： 1.下列句子是命题的是( )。 A. 你喜欢我吗? B. 这里的景色真美啊! C. 2x = 9。 D. 明年国庆节是晴天。 2.设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为( )。 ∧) A. ?P∧?Q B. ?(P Q C. ?(P?Q) D. ?(?P∨?Q) 3.下列语句不是 ．．命题的是( )。 A.黄金是非金属。 B.要是他不上场，我们就不会输。 C.他跑100米只用了10秒钟，你说他是不是运动健将呢? D.他跑100米只用了10秒钟，他是一个真正的运动健将。 4.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( )。 A.P∨Q B.P∧?Q C.P→?Q D.P∨?Q 5.下列句子不是 ．．命题的是( )。 A. 做人真难啊! B. 后天是阴天。 C. 2是偶数。 D. 地球是方的。 6.在命题演算中，语句为真为假的一种性质称为( )。 A. 真值 B. 陈述句 C. 命题 D. 谓词 7.命题公式?(P∧Q)→R的成真指派是( )。 A. 000，001，110 B. 001，011，101，110，111 C. 全体指派 D. 无 8.下列命题中，不正确的是( )。 ∈?,{{?}}} A.{?}{ ∈?,{?}} B.{?}{ C.{?}?{?,{?}} D. ??{?,{?}} 9.命题公式P∧(Q∨? R)的成真指派是( )。 A.110，111，100 B.110，101，011 C.所有指派 D.无 ∨?( )。 10.设P,Q,R是命题公式,则P→R，Q→R，P Q A. P B. Q C. R D. ?R 11.下列是两个命题变元p，q的小项是( ) ∨C．?p q ∨∨ ∧D．?p p q A．p∧?p q ∧B．?p q 12.关于命题变元P和Q的大项M01表示( )。 ∨ C.P∨?Q D.P∧?Q ∧ B.?P Q A.?P Q 13.设P：明天天晴；q：我去爬山；那么“除非明天天晴，否则我不去爬山。”可符号化为( ) ?p→?q C. ?p??q D. ?p→q A. p→?q B. 14.下列命题公式是永真式的是( ) (p→q)∨q D. (p∨p)∧(p→?p) ?(p→q)∧q C. A. (p∧?p)?q B.是是布尔代数吗？若是，则求出其原子集。的哈斯图。离散数学模拟题一套及答案
离散数学屈婉玲版第一章部分习题汇总
2016离散数学练习题 (答案修改)
离散数学模拟试题讲解
离散数学模拟题(开卷)
离散数学习题
离散数学复习题及答案
离散数学模拟试卷和答案
离散数学(上)模拟题
离散数学(本)复习题
离散数学考试题
离散数学模拟试题及答案
离散数学模拟试卷和答案
离散数学题目大汇总
离散数学期末练习题-(带答案)
离散数学考试试题(A、B卷及答案)
离散数学深刻复知识题(全)
离散数学复习题