《离散数学》练习题和参考答案
《离散数学》练习题和参考答案
一、选择或填空（数理逻辑部分）
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是有理数。则命题“并非每个实数都是有理数”的符号化表示为（）。
答：??x(R(x)→Q(x))
（集合论部分）
16、设A={a,{a}}，下列命题错误的是（）。
(1) {a}∈P(A) (2) {a}?P(A) (3) {{a}}∈P(A) (4) {{a}}?P(A) 答：(2)
17、在0（）Φ之间写上正确的符号。
?(3) ∈(4) ?答：(4)
(1) = (2)
18、若集合S的基数|S|=5，则S的幂集的基数|P(S)|=（）。答：32
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 答：（3）
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}
答：A1=A2=A3=A6， A4=A5
21、若A-B=Ф，则下列哪个结论不可能正确？( )
(1) A=Ф (2) B=Ф(3) A?B (4) B?A
答：（4）
22、判断下列命题哪个为真?( )
(1) A-B=B-A => A=B (2) 空集是任何集合的真子集
(3) 空集只是非空集合的子集 (4) 若A的一个元素属于B，则A=B
答：（1）
23、判断下列命题哪几个为正确？( )
?{Ф,{{Ф}}} (3) Ф∈{{Ф}}
(1) {Ф}∈{Ф,{{Ф}}} (2) {Ф}
?{Ф} (5) {a,b}∈{a,b,{a},{b}}
(4) Ф
答：（2），（4）
24、判断下列命题哪几个正确？( )
(1) 所有空集都不相等 (2) {Ф}≠Ф (4) 若A为非空集，则A?A成立。
答：（2）
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成立。答：（2）27、Ａ，Ｂ，Ｃ是三个集合，则下列哪几个推理正确：
(1) A ?B ，B ?C=> A ?C (2) A ?B ，B ?C=> A ∈B (3) A ∈B ，B ∈C=> A ∈C 答：（1） （二元关系部分）
28、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B 的关系Ｒ＝｛〈x,y 〉|x=y2｝，求(1)R (2) R-1 。
答：（1）R={<1,1>,<4,2>} (2) R 1-={<1,1>,<2,4>}
29、举出集合A 上的既是等价关系又是偏序关系的一个例子。( ) 答：A 上的恒等关系
30、集合A 上的等价关系的三个性质是什么？( ) 答：自反性、对称性和传递性
31、集合A 上的偏序关系的三个性质是什么？( )
答：自反性、反对称性和传递性
32、设S={１,２,３,４}，Ａ上的关系Ｒ＝｛〈1,2〉，〈2,1〉，〈2,3〉，〈3,4〉｝求(1)R R (2) R-1 。
答：R R ={〈1,1〉，〈1,3〉，〈2,2〉，〈2,4〉}R-1 =｛〈2,1〉，〈1,2〉，〈3,2〉，〈4,3〉｝
33、设Ａ＝｛1，2，3，4，5，6｝，Ｒ是A 上的整除关系，求R= {( )}。
答：R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,
<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}
34、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B 的关系Ｒ＝｛〈x,y 〉|x=2y ｝，求(1)R (2) R-1 。
答：（1）R={<1,1>,<4,2>,<6,3>} (2) R 1-={<1,1>,<2,4>,(36>}
35、设Ａ＝｛1,2,3,4,5,6｝，B={1,2,3}，从Ａ到B 的关系Ｒ＝｛〈x,y 〉|x=y2｝，求R 和R-1的关系矩阵。
答：R 的关系矩阵=?????
?
?
??
?????????000000001000
000001 R 1-的关系矩阵=??
???
?????000000010000000001
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=( )。 答： （1） a *-1 b （2） b
40、设a 是12阶群的生成元， 则a2是( )阶元素，a3是( )阶元素。 答：
6,4
41、代数系统
42、设a是10阶群的生成元，则a4是( )阶元素，a3是( )阶元素。答：5，10
43、群
44、素数阶群一定是( )群, 它的生成元是( )。答：循环群，任一非单位元
45、设〈G,*〉是一个群，a,b,c∈G，则
*a (2) (1) 若c*a=b，则c=( )；(2) 若c*a=b*a，则c=( )。答：（1） b1-
b
46、
答：
47、群＜A,*＞的等幂元有( )个，是( )，零元有( )个。答：1，单位元，0
48、在一个群〈G,*〉中，若G中的元素a的阶是k，则a-1的阶是( )。答：k
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)表示( )。
答：以v为起点的边的条数，以v为终点的边的条数
58、设G是一棵树，则G 的生成树有( )棵。
(1) 0 (2) 1 (3) 2 (4) 不能确定
59、n阶无向完全图Kn 的边数是( )，每个结点的度数是( )。
答：2)1
(
n
n
, n-1
60、一棵无向树的顶点数n与边数m关系是( )。答：m=n-1
61、一个图的欧拉回路是一条通过图中( )的回路。答：所有边一次且恰好一次
62、有n个结点的树，其结点度数之和是( )。答：2n-2
63、下面给出的集合中，哪一个不是前缀码( )。
(1) {a，ab，110，a1b11} (2) {01，001，000，1}
(3) {1，2，00，01，0210} (4) {12，11，101，002，0011}
答：(1)
64、n个结点的有向完全图边数是( )，每个结点的度数是( )。
答：n(n-1),2n-2
65、一个无向图有生成树的充分必要条件是( )。
答：它是连通图
66、设G是一棵树，n,m分别表示顶点数和边数，则
(1) n=m (2) m=n+1 (3) n=m+1 (4) 不能确定。
答：（3）
67、设T=〈V,E〉是一棵树，若|V|>1，则T中至少存在( )片树叶。
答：2
68、任何连通无向图G至少有( )棵生成树，当且仅当G 是( )，G的生成树只有一棵。
答：1，树
69、设G是有n个结点m条边的连通平面图，且有k个面，则k等于:
(1) m-n+2 (2) n-m-2 (3) n+m-2 (4) m+n+2。
答：（1）
70、设T是一棵树，则T是一个连通且( )图。
答：无简单回路
71、设无向图G有16条边且每个顶点的度数都是2，则图G有( )个顶点。
(1) 10 (2) 4 (3) 8 (4) 16
答：（4）
72、设无向图G有18条边且每个顶点的度数都是3，则图G有( )个顶点。
(1) 10 (2) 4 (3) 8 (4) 12
答：(4)
73、设图G=
74、任一有向图中，度数为奇数的结点有( )个。
答：偶数
75、具有6 个顶点，12条边的连通简单平面图中，每个面都是由( )条边围成？
(1) 2 (2) 4 (3) 3 (4) 5
答：（3）
76、在有n个顶点的连通图中，其边数（）。
(1) 最多有n-1条(2) 至少有n-1 条
(3) 最多有n条(4) 至少有n 条
答：（2）
77、一棵树有2个2度顶点，1 个3度顶点，3个4度顶点，则其1度顶点为（）。
(1) 5 (2) 7 (3) 8 (4) 9
答：（4）
78、若一棵完全二元（叉）树有2n-1个顶点，则它（）片树叶。
(1) n (2) 2n (3) n-1 (4) 2
答：（1）
79、下列哪一种图不一定是树（）。
(1) 无简单回路的连通图(2) 有n个顶点n-1条边的连通图
(3) 每对顶点间都有通路的图(4) 连通但删去一条边便不连通的图
答：（3）
80、连通图G是一棵树当且仅当G中（）。
(1) 有些边是割边(2) 每条边都是割边
(3) 所有边都不是割边(4) 图中存在一条欧拉路径
答：（2）
（数理逻辑部分）
二、求下列各公式的主析取范式和主合取范式：
1、(P→Q)∧R
解：(P→Q)∧R?(?P∨Q )∧R
?(?P∧R)∨(Q∧R) （析取范式）
?(?P∧(Q∨?Q)∧R)∨((?P∨P)∧Q∧R)
?(?P∧Q∧R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧Q∧R)
?(?P∧Q∧R)∨(?P∧?Q∧R)∨(P∧Q∧R)（主析取范式）
?((P→Q)∧R)?(?P∧?Q∧?R)∨(?P∧Q∧?R)∨(P∧?Q∧R)
∨(P∧Q∧?R)∨( P∧?Q∧?R)（原公式否定的主析取范式）
(P→Q)∧R?(P∨Q∨R)∧(P∨?Q∨R)∧(?P∨Q∨?R)
∧(?P∨?Q∨R)∧(?P∨Q∨R)（主合取范式）
2、(P∧R)∨(Q∧R)∨?P
解： (P∧R)∨(Q∧R)∨?P（析取范式）
?(P∧(Q∨?Q)∧R)∨((P∨?P)∧Q∧R)∨(?P∧(Q∨?Q)∧(R∨?R))
?(P∧Q∧R)∨(P∧?Q∧R)∨(P∧Q∧R)∨(?P∧Q∧R)
∨( ?P∧Q∧R)∨( ?P∧Q∧?R)∨(?P∧?Q∧R)∨(?P∧?Q∧?R)
?(P∧Q∧R)∨(P∧?Q∧R)∨(?P∧Q∧R)∨(?P∧Q∧?R) ∨ (?P∧?Q∧R)∨(?P∧?Q∧?R) (主析取范式)
?（(P∧R)∨(Q∧R)∨?P）
?(P∧?Q∧?R)∨(P∧Q∧?R）（原公式否定的主析取范式）
(P∧R)∨(Q∧R)∨?P ?(?P∨Q∨R)∧(?P∨?Q∨R)（主合取范式）
3、(?P→Q)∧(R∨P)
解：(?P→Q)∧(R∨P)
?(P∨Q)∧(R∨P)（合取范式）
?(P∨Q∨(R∧?R))∧(P∨(Q∧?Q))∨R)
?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R)∧(P∨?Q∨R)
?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨?Q∨R)（主合取范式）
?((?P→Q)∧(R∨P))
?(P∨?Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)∧(?P∨Q∨?R)
∧(?P∨?Q∨?R)（原公式否定的主合取范式）
(?P→Q)∧(R∨P)
?(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R)
（主析取范式）
4、Q→(P∨?R)
解：Q→(P∨?R)
??Q∨P∨?R（主合取范式）
?（Q→(P∨?R)）
?(?P∨?Q∨?R)∧(?P∨?Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨R)
∧(P∨?Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R）（原公式否定的主合取范式）
Q→(P∨?R)
?(P∧Q∧R)∨(P∧Q∧?R)∨(P∧?Q∧R)∨(P∧?Q∧?R)∨(?P∧Q∧?R) ∨(?P∧?Q∧R)∨(?P∧?Q∧?R）（主析取范式）
5、P→(P∧(Q→P))
解：P→(P∧(Q→P))
??P∨(P∧(?Q∨P))
??P∨P
? T (主合取范式)
?(?P∧?Q)∨(?P∧Q)∨(P∧?Q)∨(P∧Q)（主析取范式）
6、?(P→Q)∨(R∧P)
解：?(P→Q)∨(R∧P)??(?P∨Q)∨(R∧P)
?(P∧?Q)∨(R∧P)（析取范式）
?(P∧?Q∧(R∨?R))∨(P∧(?Q∨Q)∧R)
?(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R)
?(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R)（主析取范式）
?(?(P→Q)∨(R∧P))?(P∧Q∧?R)∨(?P∧Q∧R)∨(?P∧?Q∧R)
∨(?P∧?Q∧?R)∨(?P∧Q∧?R)（原公式否定的主析取范式）
?(P→Q)∨(R∧P)?(?P∨?Q∨R)∧(P∨?Q∨?R)∧(P∨Q∨?R)
∧(P∨Q∨R)∧(P∨?Q∨R)（主合取范式）
7、P∨(P→Q)
∨(?P∨Q)?(P∨?P)∨Q
解：P∨(P→Q)?P
?T(主合取范式)
?(?P∧?Q)∨(?P∧Q)∨(P∧?Q)∨(P∧Q)（主析取范式）
8、(R→Q)∧P
解：(R→Q)∧P?(?R∨Q )∧P
?(?R∧P)∨(Q∧P) （析取范式）
?(?R∧(Q∨?Q)∧P)∨((?R∨R)∧Q∧P)
?(?R∧Q∧P)∨(?R∧?Q∧P)∨(?R∧Q∧P)∨(R∧Q∧P)
?(P∧Q∧?R)∨(P∧?Q∧?R)∨(P∧Q∧R)（主析取范式）
?((R→Q)∧P)?(?P∧?Q∧?R)∨(?P∧Q∧?R）∨(P∧?Q∧R) ∨(?P∧Q∧R)∨(?P∧?Q∧R)（原公式否定的主析取范式）
(R→Q)∧P?(P∨Q∨R)∧(P∨?Q∨R)∧(?P∨Q∨?R)
∧(P∨?Q∨?R)∧(P∨Q∨?R)（主合取范式）
9、P→Q
解：P→Q??P∨Q（主合取范式）
?(?P∧(Q∨?Q))∨((?P∨P)∧Q)
?(?P∧Q)∨(?P∧?Q)∨(?P∧Q)∨(P∧Q)
?(?P∧Q)∨(?P∧?Q)∨(P∧Q)（主析取范式）
10、P∨?Q
解： P∨?Q （主合取范式）
?(P∧(?Q∨Q))∨((?P∨P)∧?Q）
?(P∧?Q)∨(P∧Q)∨(?P∧?Q)∨(P∧?Q）
?(P∧?Q)∨(P∧Q)∨(?P∧?Q)（主析取范式）
11、P∧Q
解：P∧Q（主析取范式）?(P∨(Q∧?Q))∧((P∧?P)∨Q)
?(P∨?Q)∧(P∨Q)∧(P∨Q)∧(?P∨Q)
?(P∨?Q)∧(P∨Q)∧(?P∨Q)（主合取范式）
12、（P∨R）→Q
解：（P∨R）→Q
??(P∨R)∨Q
?(?P∧?R)∨Q
?(?P∨Q)∧(?R∨Q)（合取范式）
?(?P∨Q∨(R∧?R))∧((?P∧P)∨Q∨?R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨?R)∧(P∨Q∨?R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨?R)∧(P∨Q∨?R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(P∨Q∨?R)（主合取范式）
?（P∨R）→Q
?(?P∨?Q∨R)∧(?P∨?Q∨?R)∧(P∨Q∨R)∧(P∨?Q∨R)∧(P∨?Q∨?R) （原公式否定的主析取范式）
（P∨R）→Q
?(P∧Q∧?R)∨(P∧Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R)
∨(?P∧Q∧R)（主析取范式）
13、（P→Q）→R
解：（P→Q）→R
??(?P∨Q)∨R
?(P∧?Q)∨R(析取范式)
?(P∧?Q∧(R?
∨Q)∧R)
∨P)∧(Q?
∨R))∨((P?
?(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R)∨(P∧?Q∧R)∨(?P∧Q∧R) ∨(?P∧?Q∧R)
?(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q∧R)∨(?P∧Q∧R)
∨(?P∧?Q∧R)(主析取范式）
（P→Q）→R
??(?P∨Q)∨R
?(P∧?Q)∨R(析取范式)
?(P∨R)∧(?Q∨R)(合取范式)
?(P∨(Q∧?Q)∨R)∧((P∧?P)∨?Q∨R)
?(P∨Q∨R)∧(P∨?Q∨R)∧(P∨?Q∨R)∧(?P∨?Q∨R)
?(P∨Q∨R)∧(P∨?Q∨R)∧(?P∨?Q∨R)(主合取范式)
14、(P→(Q∧R))∧(?P→(?Q∧?R))
解：(P→(Q∧R))∧(?P→(?Q∧?R))
?(?P∨(Q∧R))∧(P∨(?Q∧?R))
?(?P∨Q)∧(?P∨R)∧(P∨?Q)∧(P∨?R)（合取范式）
?(?P∨Q∨(R∧?R))∧(?P∨(Q∧?Q)∨R)∧(P∨?Q∨(R∧?R))
∧(P∨(Q∧?Q)∨?R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)
∧(P∨?Q∨R)∧(P∨?Q∨?R)∧(P∨Q∨?R)∧(P∨?Q∨?R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R)∧(P∨?Q∨R)
∧(P∨Q∨?R)∧(P∨?Q∨?R)(主合取范式)
?(P→(Q∧R))∧(?P→(?Q∧?R))
?(?P∨?Q∨?R)∧(P∨Q∨R)(原公式否定的主合取范式)
(P→(Q∧R))∧(?P→(?Q∧?R))
?(P∧Q∧R)∨(?P∧?Q∧?R)(主析取范式)
15、P∨(?P→(Q∨(?Q→R)))
解：P∨(?P→(Q∨(?Q→R)))
? P∨(P∨(Q∨(Q∨R)))
? P∨Q∨R(主合取范式)
?(P∨Q∨R)
?(P∨?Q∨R)∧(P∨?Q∨?R)∧(P∨Q∨?R)∧(?P∨Q∨R)
∧(?P∨Q∨?R)∧(?P∨?Q∨R)∧(?P∨?Q∨?R)
(原公式否定的主合取范式)
(P∨Q∨R)
?(?P∧Q∧?R)∨(?P∧Q∧R)∨(?P∧?Q∧R)∨(P∧?Q∧?R)
∨(P∧?Q∧R)∨(P∧Q∧?R)∨(P∧Q∧R)(主析取范式)
16、(P→Q)∧(P→R)
解、(P→Q)∧(P→R)
?(?P∨Q)∧(?P∨R) (合取范式)
?(?P∨Q∨(R∧?R)∧(?P∨(?Q∧Q)∨R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R)∧(?P∨Q∨R)
?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R)(主合取范式)
(P→Q)∧(P→R)
?(?P∨Q)∧(?P∨R)
??P∨(Q∧R)(合取范式)
?(?P∧(Q∨?Q)∧(R∨?R))∨((?P∨P)∧Q∧R)
?(?P∧Q∧R)∨(?P∧?Q∧R)∨(?P∧Q∧?R)∨(?P∧?Q?R)
∨(?P∧Q∧R)∨(P∧Q∧R)
?(?P∧Q∧R)∨(?P∧?Q∧R)∨(?P∧Q∧?R)∨(?P∧?Q?R)∨(P∧Q∧R) (主析取范式)
三、证明：
1、P→Q，?Q∨R，?R，?S∨P=>?S
证明：
(1) ?R 前提
(2) ?Q∨R 前提
?Q （1），（2）
P→Q 前提
?P （3），（4）
?S∨P 前提
(7) ?S （5），（6）
2、A→(B→C)，C→(?D∨E)，?F→(D∧?E),A=>B→F
证明：
(1) A 前提
(2) A→(B→C) 前提
(3) B→C （1），（2）
(4) B 附加前提
C （3），（4）
C→(?D∨E) 前提
?D∨E （5），（6）
?F→(D∧?E) 前提
F （7），（8）
B→F CP
3、P∨Q， P→R, Q→S => R∨S
证明：
(1) ?R 附加前提
(2) P→R 前提
(3) ?P （1），（2）
(4) P∨Q 前提
(5) Q （3），（4）
(6) Q→S 前提
(7) S （5），（6）
(8) R∨S CP，（1），（8）
4、(P→Q)∧(R→S)，(Q→W)∧(S→X)，?(W∧X)，P→R => ?P 证明：
（1） P 假设前提
（2） P→R 前提
（3） R （1），（2）
（4） (P→Q)∧(R→S) 前提
（5） P→Q （4）
（6） R→S （5）
（7） Q （1），（5）
（8） S （3），（6）
（9） (Q→W)∧(S→X) 前提
（10） Q→W （9）
（11） S→X （10）
（12） W （7），（10）
（13） X （8），（11）
（14） W∧X （12），（13）
（15）?(W∧X) 前提
（16）?(W∧X)∧(W∧X) （14），（15）
5、(U∨V)→(M∧N), U∨P, P→(Q∨S)，?Q∧?S =>M 证明：
(1) ?Q∧?S 附加前提
P→(Q∨S) 前提
?P （1），（2）
U∨P 前提
U （3），（4）
U∨V （5）
(U∨V)→(M∧N) 前提
M∧N (6),(7)
M （8）
6、?B∨D，(E→?F)→?D，?E=>?B
证明：
(1) B 附加前提
(2) ?B∨D 前提
(3) D （1），（2）
(4) (E→?F)→?D 前提
(5) ?(E→?F) （3），（4）
∧?F （5）
(6) E
(7) E （6）
(8) ?E 前提
∧?E （7），（8）
(9) E
7、P→(Q→R)，R→(Q→S) => P→(Q→S)
证明：
（1） P 附加前提
（2） Q 附加前提
（3） P→(Q→R) 前提
（4） Q→R （1），（3）
（5） R （2），（4）
（6） R→(Q→S) 前提
（7） Q→S （5），（6）
（8） S （2），（7）
（9） Q→S CP，（2），（8）
（10） P→(Q→S) CP，（1），（9）
8、P→?Q，?P→R，R→?S =>S→?Q
证明：
（1） S 附加前提
（2） R→?S 前提
（3）?R （1），（2）
（4）?P→R 前提
（5） P （3），（4）
（6） P→?Q 前提
（7）?Q (5），（6）
（8） S→?Q CP，（1），（7）
9、P→(Q→R) => (P→Q)→(P→R)
证明：
(1) P→Q 附加前提
(2) P 附加前提
(3) Q (1),(2)
(4) P→(Q→R) 前提
(5) Q→R (2),(4)
(6) R (3),(5)
(7) P→R CP,(2),(6)
(8) (P→Q) →(P→R) CP,(1),(7)
10、P→(?Q→?R)，Q→?P,S→R,P =>?S 证明：
（1） P 前提
（2） P→(?Q→?R) 前提
（3）?Q→?R (1)，(2)
（4） Q→?P 前提
（5）?Q (1)，(4)
（6）?R (3),(5)
（7） S→R 前提
（8）?S (6)，(7)
11、A，A→B， A→C， B→(D→?C) => ?D 证明：
（1） A 前提
（2） A→B 前提
（3） B (1)，(2)
（4） A→C 前提
（5） C (1)，(4)
（6） B→(D→?C) 前提
（7） D→?C (3)，(6)
（8）?D (5)，(7)
12、A→(C∨B)，B→?A，D→?C => A→?D
证明：
（1） A 附加前提
(2) A→(C∨B) 前提
(3) C∨B （1），（2）
B→?A 前提
?B （1），（4）
C （3），（5）
D→?C 前提
?D （6），（7）
A→?D CP，（1），（8）
13、(P→Q)∧(R→Q) ?（P∨R）→Q
证明、
(P→Q)∧(R→Q)
?(?P∨Q)∧(?R∨Q)
?(?P∧?R)∨Q
??（P∨R）∨Q
?(P∨R)→Q
14、P→(Q→P)??P→(P→?Q)
证明、
P→(Q→P)
??P∨(?Q∨P)
??(?P)∨(?P∨?Q)
??P→(P→?Q)
15、（P→Q）∧（P→R），?(Q∧R)，S∨P?S 证明、
(1) （P→Q）∧（P→R）前提
（2） P→ (Q∧R) (1)
?(Q∧R) 前提（3）
?P （2），(3)
（4）
(5) S∨P 前提
(6) S (4),(5)
16、P→?Q，Q∨?R，R∧?S??P
证明、
(1) P 附加前提
（2） P→?Q 前提
?Q （1），（2）
（3）
（4） Q∨?R 前提
?R （3），（4）
(5)
(6 ) R∧?S 前提
（7） R （6）
（8） R∧?R （5），（7）
17、用真值表法证明Ｐ?Ｑ? (Ｐ→Ｑ)∧(Ｑ→Ｐ)
证明、
列出两个公式的真值表：
18、P→Q?P→(P∧Q)
证明、
设P→(P∧Q)为F，则P为T，P∧Q为F。所以P为T，Q为F ，从而P→Q也为F。所以P→Q?P→(P∧Q)。
19、用先求主范式的方法证明(P→Q)∧(P→R) ? (P→（Q∧R）
证明、
先求出左右两个公式的主合取范式
(P→Q)∧(P→R) ?(?P∨Q)∧(?P∨R)
?(?P∨Q∨(R∧?R)))∧(?P∨(Q∧?Q)∨R)
? (?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)
? (?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)
(P→（Q∧R）) ?(?P∨（Q∧R）)
?(?P∨Q)∧(?P∨R)
?(?P∨Q∨(R∧?R))∧(?P∨(Q∧?Q)∨R)
? (?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)
? (?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨?Q∨R)
它们有一样的主合取范式，所以它们等价。
20、(P→Q)∧?(Q∨R) ??P
证明、
设(P→Q)∧?(Q∨R)为T，则P→Q和?(Q∨R)都为T。即P→Q和?Q∧?R都为T。故P→Q，?Q和?R)都为T，即
P→Q为T，Q和R都为F。从而P也为F，即?P为T。从而(P→Q)∧?(Q∨R) ??P
21、为庆祝九七香港回归祖国，四支足球队进行比赛，已知情况如下，问结论是否有效?
前提: (1) 若A队得第一，则B队或C队获亚军;
若C队获亚军，则A队不能获冠军;
若D队获亚军，则B队不能获亚军;
A 队获第一;
结论: (5) D队不是亚军。
证明、
设A：A队得第一;B: B队获亚军;C: C队获亚军;D: D队获亚军;则前提符号化为A→（B∨C），C→?A，D→?B，A；
结论符号化为?D。
??D。
本题即证明 A→（B∨C），C→?A，D→?B，A
（1） A 前提
（2） A→（B∨C）前提
（3） B∨C （1），（2）
（4） C→?A 前提
?C （1），（4）
（5）
（6） B （3），（5）
（7） D→?B 前提
（8）?D （6），（7）
22、用推理规则证明P→Q, ?(Q∨R),P∧R不能同时为真。
证明、
(1) P∧R 前提
(2) P (1)
(3) P→Q 前提
(4) Q (2),(3)
(5) ?(Q∨R) 前提
∧R (5)
(6) ?Q?
(7) ?Q (6)
(8) ?Q∧Q (4),(7)
(集合论部分)
四、设Ａ，Ｂ，Ｃ是三个集合，证明：
1、A? (B－C)＝(A?B)－(A?C)
证明：
A?=(A?B) ?（A?C）
(A?B)－(A?C)= (A?B) ?C
=(A?B?A)?(A?B?C)= A?B?C=A?（B?C）
=A?（B-C）
2、(A－B)?(A－C)=A－(B?C)
证明：
(A-B)?(A-C)=(A?B)?(A?C) =A? (B?C)
B?= A-(B?C)
=A?C
3、A?B=A?C，A?B=A?C，则C=B
证明：
B=B?(A?A)=(B?A)? (B?A)
=(C?A)? (C?A)=C?(A?A)=C
4、A?B=A?(B-A)
证明：
A?(B-A)=A?(B?A)=(A?B)?(A?A)
=(A?B)?U= A?B
5、A=B A⊕B=Φ
证明：
?设A=B，则A⊕B=（A-B）?（B-A）=Φ?Φ=Φ。
?设A⊕B=Φ，则A⊕B=（A-B）?（B-A）=Φ。故A-B=Φ，B-A=Φ，从而A?B，B?A，故A=B。
6、A?B = A?C，A?B=A?C，则C=B
证明：
B=B?(A?B)= B?(A?C)= (B?A)?(B?C)
= (A?C)?(B∩C)= C?(A?B)
= C?(A?C)
=C
7、A?B=A?C，A?B=A?C，则C=B
证明：
B=B?(A?A)=(B?A)?(B?A)
=(C?A)?(C?A)=C?(A?A)
=C
8、A－(B?C)＝(A－B)－C
证明：
B?
A－(B?C)= A?C
=A?(B?C)=(A?B)?C
=(A-B)?C=(A-B)-C
9、(A－B)?(A－C)=A－(B?C)
证明：
(A-B)?(A－C)
=(A?B)?(A?C)
=(A?A)?(B?C)
B?=A－(B?C)
=A?C
10、A-B=B，则A=B=Φ
证明：
因为B=A-B，所以B=B?B=（A-B）?B=Φ。从而A=A-B=B=Φ。11、A=(A-B)?(A-C)?A?B?C=Φ
证明：
?因为(A-B)?(A-C) =(A?B)?(A?C) =A?(B?C)
B?= A-(B?C)，且A=(A-B)?(A-C)，
=A?C
所以A= A-(B?C)，故A?B?C=Φ。
?因为A?B?C=Φ，所以A-(B?C)=A。而A-(B?C)= (A-B)?(A-C)，所以A=(A-B)?(A-C)。
12、(A-B)?(A-C)=Φ?A?B?C
证明：
?因为(A-B)?(A-C) =(A?B)?(A?C) =A?(B?C)
B?= A-(B?C)，且(A-B)?(A-C)=Φ，
=A?C
所以Φ= A-(B?C)，故A?B?C。
? 因为A ?B ?C ，所以A-(B ?C)=A 。而A-(B ?C)= (A-B)?(A-C)，
所以A=(A-B)?(A-C)。
13、(A-B)?(B-A)=A ? B=Φ
证明：
? 因为(A-B)?(B-A)=A ，所以B-A ?A 。但(B-A)?A=Φ，故B-A=Φ。
即B ?A ，从而B=Φ（否则A-B ?A ，从而与(A-B)?(B-A)=A 矛盾）。
? 因为B=Φ，所以A-B=A 且B-A=Φ。从而(A-B)?(B-A)=A 。
14、(A-B)-C ?A-(B-C)
证明：
?x ∈(A-B)-C ，有∈x A-B 且x ?C ，即∈x A ，x ?B 且x ?C 。
从而∈x A ，x ?B-C ，故x ∈A-(B-C)。从而(A-B)-C ?A-(B-C)
15、P(A)?P(B)?P(A ?B) （P(S)表示S 的幂集）
证明：
?S ∈P(A)?P(B)，有S ∈P(A)或S ∈P(B)，所以S ?A 或S ?B 。
从而S ?A ?B ，故S ∈P(A ?B)。即P(A)?P(B)?P(A ?B)
16、P(A)?P(B)=P(A ?B) （P(S)表示S 的幂集）
证明：
?S ∈P(A)?P(B)，有S ∈P(A)且S ∈P(B)，所以S ?A 且S ?B 。
从而S ?A ?B ，故S ∈P(A ?B)。即P(A)?P(B)?P(A ?B)。
?S ∈P(A ?B)，有S ?A ?B ，所以S ?A 且S ?B 。
从而S ∈P(A)且S ∈P(B)，故S ∈P(A)?P(B)。即P(A ?B)?P(A)?P(B)。
故P(A ?B)=P(A)?P(B)
17、（A-B ）?B=（A ?B ）-B 当且仅当B=Φ。
证明：
? 当B=Φ时，因为（A-B ）?B=（A-Φ）?Φ=A ，（A ?B ）-B=（A ?Φ）-Φ =A ，所以（A-B ）?B=（A ?B ）-B 。 ? 用反证法证明。假设B Φ≠，则存在b ∈B 。因为b ∈B 且b ∈ A ?B ，所以b ?（A ?B ）-B 。而显然b ∈（A-B ）?B 。故这与已知（A-B ）?B=（A ?B ）-B 矛盾。
五、证明或解答：
（数理逻辑、集合论与二元关系部分）
1、设个体域是自然数，将下列各式翻译成自然语言：
(1) ?x ?y （xy=1）; (2) ?x ?y(xy=1);
(3) ?x ?y (xy=0); (4) ?x ?y （xy=0）;
离散数学屈婉玲版第一章部分习题汇总
第一章习题 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离散数学练习题 (答案修改)
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.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);
离散数学试题及答案精选版
离散数学试题及答案 Company number【1089WT-1898YT-1W8CB-9UUT-92108】
一、填空题 1设集合A,B，其中A＝{1,2,3},B={1,2},则A-B＝____________________; (A)-(B)＝__________________________. 2.设有限集合A,|A|=n,则|(A×A)|=__________________________. 3.设集合A={a,b},B={1,2},则从A到B的所有映射是 _______________________________________,其中双射的是 __________________________. 4.已知命题公式G＝(PQ)∧R，则G的主析取范式是 _______________________________ __________________________________________________________. 6设A、B为两个集合,A={1,2,4},B={3,4},则从AB＝ _________________________;AB＝_________________________;A－B＝_____________________. 7.设R是集合A上的等价关系，则R所具有的关系的三个特性是 ______________________,________________________,__________________ _____________. 8.设命题公式G＝(P(QR))，则使公式G为真的解释有 __________________________， _____________________________,__________________________. 9.设集合A＝{1,2,3,4},A上的关系 R 1={(1,4),(2,3),(3,2)},R 2 ={(2,1),(3,2),(4,3)},则
《离散数学》及答案
《离散数学》+答案 一、选择或填空: 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
离散数学复习题及答案
离散数学复习题及答案文件排版存档编号：[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.请给出公式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的组合数。
离散数学题库
常熟理工学院20 ～20 学年第学期 《离散数学》考试试卷（试卷库01卷） 试题总分： 100 分考试时限：120 分钟 题号一二三四五总分阅卷人得分 一、单项选择题（每题2分，共20分） 1.下列表达式正确的有( ) （A）（B）（C）（D） 2.设P：2×2=5，Q：雪是黑的，R：2×4=8，S：太阳从东方升起，下列( )命题的真值为 真。 （A）（B）（C）（D） 3.集合A={1,2,…,10}上的关系R={
1．n个命题变元组成的命题公式共有种不同的等价公式。 2．设〈L，≤〉为有界格，a为L中任意元素，如果存在元素b∈L,使，则称b是a 的补元。 3．设*，Δ是定义在集合A上的两个可交换二元运算，如果对于任意的x,y∈A,都有 ,则称运算*和运算Δ满足吸收律。 4．设T是一棵树，则T是一个连通且的图。 5．一个公式的等价式称作该公式的主合取范式是指它仅由组成。 6．量词否定等价式? ("x)P(x) ?，? ($x)P(x) ?。 7．二叉树有5个度为2的结点，则它的叶子结点数为。 8．设
离散数学作业答案
第一章 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规则 第五章
离散数学考试题
离散数学测试题 一．选择题（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={
离散数学题目大汇总
离散数学试题一（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分）若
离散数学题库及答案
数理逻辑部分 选择、填空及判断 ?下列语句不就是命题的( A )。 (A) 您打算考硕士研究生不？ (B) 太阳系以外的星球上有生物。 (C) 离散数学就是计算机系的一门必修课。 (D) 雪就是黑色的。 ?命题公式P→(P∨?P)的类型就是( A ) (A) 永真式(B) 矛盾式 (C) 非永真式的可满足式(D) 析取范式 ?A就是重言式,那么A的否定式就是( A ) A、矛盾式 B、重言式 C、可满足式 D、不能确定 ?以下命题公式中,为永假式的就是( C ) A、p→(p∨q∨r) B、(p→┐p)→┐p C、┐(q→q)∧p D、┐(q∨┐p)→(p∧┐p) ?命题公式P→Q的成假赋值就是( D ) A、 00,11 B、 00,01,11 C、10,11 D、 10 ?谓词公式) x xP∧ ?中,变元x就是 ( B ) R , ( x ) (y A、自由变元 B、既就是自由变元也就是约束变元 C、约束变元 D、既不就是自由变元也不就是约束变元 ?命题公式P→(Q∨?Q)的类型就是( A )。 (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 ?设B不含变元x,) x x→ ?等值于( A ) A ) ( (B A、B (D、B x xA→ x ?) ( ( ?C、B x∧ A ?) (B、) ?) xA→ x ) ( A x (B x∨ ?下列语句中就是真命题的就是( D )。 A.您就是杰克不？ B.凡石头都可练成金。 C.如果2+2=4,那么雪就是黑的。 D.如果1+2=4,那么雪就是黑的。 ?从集合分类的角度瞧,命题公式可分为( B ) A、永真式、矛盾式 B、永真式、可满足式、矛盾式 C、可满足式、矛盾式 D、永真式、可满足式 ?命题公式﹁p∨﹁q等价于( D )。 A、﹁p∨q B、﹁(p∨q) C、﹁p∧q D、 p→﹁q ?一个公式在等价意义下,下面写法唯一的就是( D )。 (A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式 ?下列含有命题p,q,r的公式中,就是主析取范式的就是( D )。
离散数学课后答案
离散数学课后答案 习题一 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、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 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为实数。命题“任何有理数都是实数”的符号化为（）
离散数学深刻复知识题(全)
离散数学复习资料 一、填空 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.
离散数学练习题及答案
离散数学试题 一、单项选择题 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.设P：天下大雨,Q：他在室内运动,命题“如果天下大雨，他就．在室内运动”可符合化为 （B） A. P∧Q B. P→Q C. Q→P D. P∨Q 2.设G=(V , E)为任意一图（无向或有向的），顶点个数为n，边的条数为m， 则各顶点的度数之和等于（ D ）。 A.n B. m C. 2n D. 2m 3.下列命题为假．命题的是（A） A.如果2是偶数，那么一个公式的析取范式惟一 B.如果2是偶数，那么一个公式的析取范式不惟一 C.如果2是奇数，那么一个公式的析取范式惟一 D.如果2是奇数，那么一个公式的析取范式不惟一 4.谓词公式(?x(P(x)∨?yR(y))→Q(x) 中变元x是（D） A.自由变元 B.约束变元 C.既不是自由变元也不是约束变元 D.既是自由变元也是约束变元 5.若个体域为整数域，下列公式中值为真的是（A） A.?x?y(x+y=0) B.?y?x(x+y=0) C.?x?y(x+y=0) D.??x?y(x+y=0) 6.下列命题中不．正确的是（D） A.x∈{x}-{{x}} B.{x}?{x}-{{x}} C.A={x}∪x,则x∈A且x?A D.A-B=??A=B 7.设P={x|(x+1)2≤4}，Q={x|x2+16≥5x},则下列选项正确的是（C） A.P?Q B.P?Q C.Q?P D.Q=P 8.下列表达式中不．成立的是（A） A.A∪(B⊕C)=(A∪B) ⊕ (A∪C) B.A∩(B⊕C)=(A∩B) ⊕ (A∩C) C.(A⊕B)×C=(A×C) ⊕ (B×C) D.(A-B) ×C=(A×C)-(B×C) 9.半群、群及独异点的关系是（A） A.{群}?{独异点}?{半群} B.{独异点}?{半群}?{群}
山东大学离散数学题库及答案
《离散数学》题库答案 一、选择或填空 （数理逻辑部分） 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、判断下列语句是不是命题。若是，给出命题的真值。( ) (1) 北京是中华人民共和国的首都。 (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
离散数学答案
02任务_000 1 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共10 道试题，共100 分。） 1. 设集合A = {1, a }，则P(A) = ( )． A. {{1}, {a}} B. {,{1}, {a}} C. {{1}, {a}, {1, a }} D. {,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={
5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>，<2, 2>，<2, 3>，<4, 4>}，S={<1, 1>，<2, 2>，<2, 3>，<3, 2>，<4, 4>}，则S是R的（）闭包． A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( )． A. A B，且A B B. B A，且A B C. A B，且A B D. A B，且A B 7. 设集合A={1，2，3，4，5}，偏序关系≤是A上的整除关系，则偏序集