离散数学模拟试卷
《离散数学》模拟题
一、选择题
在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
1．在命题演算中，语句为真为假的一种性质称为 （ ）
A ）真值
B ）陈述句
C ）命题
D ）谓词 2．下列语句中不是．．命题的只有 （ ） A ）这个语句是假的。 B ）1+1=1.0
C ）飞碟来自地球外的星球。
D ）凡石头都可练成金。 3．下列句子是命题的是 （ ） A ）水开了吗? B ）x>1.5
C ）再过5000年，地球上就没水了。
D ）我正在说谎 4．下列语句中为命题的是 （ ）
A ）这朵花是谁的？
B ）这朵花真美丽啊！
C ）这朵花是你的吗？
D ）这朵花是他的。 5．下列语句中不．是命题的只有 （ ） A ）鸡毛也能飞上天？ B ）或重于泰山，或轻于鸿毛。 C ）不经一事，不长一智。 D ）牙好，胃口就好。 6．下列语句不是．．
命题的是 （ ） A ）黄金是非金属。
B ）要是他不上场，我们就不会输。
C ）他跑100米只用了10秒钟，你说他是不是运动健将呢?
D ）他跑100米只用了10秒钟，他是一个真正的运动健将。 7．下列语句中是命题的只有 （ ） A ）1+1=10 B ）x+y=10 C ）sinx+siny<0 D ）x mod 3=2
8．下列是两个命题变元p ，q 的小项是 （ ） A ）p ∧┐p ∧q B ）┐p ∨q C ）┐p ∧q D ）┐p ∨p ∨q 9．关于命题变元P 和Q 的大项M 01表示 ( )
A ）┐P ∧Q
B ）┐P ∨Q
C ）P ∨┐Q
D ）P ∧┐Q 10．设P ：明天天晴；q ：我去爬山；那么“除非明天天晴，否则我不去爬山。”可符号化为
( ) A ）q p ?→
B ） q p ?→?
C ） q p ?→
←?
D ） q p →?
11．令p ：今天下雪了，q ：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为 （ ） A ）p →┐q B ）p ∨┐q C ）p ∧q D ）p ∧┐q
12．设p ：我很累，q ：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是 （ ）
A ）┐p ∧q
B ）┐p →q
C ）┐p →┐q
D ）p →┐q 13．若P ：他聪明；Q ：他用功；则“他虽聪明，但不用功”，可符号化为（ ）
A ）P ∨Q
B ）P ∧┐Q
C ）P →┐Q
D ）P ∨┐Q 14．下列命题公式中不．是重言式的是 （ ） A ）p →(q →r) B ）p →(q →p)
C ）┐p →(┐p →┐p)
D ）(p →(q →r))(q →(p →r)) 15．下列命题公式为重言式的是 （ ）
A ）p → (p ∨q)
B ）(p ∨┐p)→q
C ）q ∧┐q
D ）p →┐q 16．以下命题公式中，为永假式的是 （ ）
A ）p →(p ∨q ∨r)
B ）(p →┐p)→┐p
C ）┐(q →q)∧p
D ）┐(q ∨┐p)→(p ∧┐p) 17．下列是命题公式p ∧(q ∨┐r)的成真指派的是（ ）
A ）110，111，100
B ）110，101，011
C ）所有指派
D ）无 18．设论域为整数集，下列谓词公式中真值为假的是 ( ) A ）)0y x )(y )(x (=??? B ）)1y x )(y )(x (=???
C ） )x y x )(x )(y (=???
D ） )z y x )(z )(y )(x (=-??? 19．设个体域是正整数集，则下列公式中真值为真的公式是 （ ） A ）(?x)(?y)(x ·y=0) B ）(?x)(?y)(x ·y=1) C ）(? x)(?y)(x ·y=2) D ）(?x)(?y)(?z)(x-y=z) 20．设论域为整数集，下列真值为真的公式是 （ ） A ）)0y x )(y )(x (=-?? B ）)0y x )(x )(y (=-?? C ）)0y x )(y )(x (=-?? D ）)0y x )(y ()x (=-???? 21．设个体域是整数集，则下列命题的真值为真的是 （ ） A ）y x(x ·y=1) B ）x y (x ·y ≠0) C ）x y (x ·y=y 2) D ）y x(x ·y=x 2)
22．设B 是不含变元x 的公式，谓词公式(?x)(A(x)→B)等价于（ ） A ）(?x)A(x)→B B ）(?x)A(x)→B
C ）A(x)→B
D ）(?x)A(x)→(?x)B
23．下列等值式不正确的是 （ ） A ）┐(?x)A ?(?x)┐A
B ）(?x)(B →A(x))?B →(?x)A(x)
C ）(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x)
D ）(?x)(?y)(A(x)→B(y))?(?x)A(x)→(?y)B(y) 24．下列等价式正确的是 （ ）
A ）┐)()(x A x ???┐A
B ）A y x A y x ))(())((?????
C ）┐)()(x A x ???┐A
D ）)()()()())()()((x B x x A x x B x A x ?∨??∧? 25．下列等价式不成立．．．
的是 ( ) A ）┐(?x)A(x)?(?x)┐A(x) B ）┐(?x)A(x)?(?x)┐A(x)
C ）(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x)
D ）(?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x)
26．公式(?x)(?y)(P(x,z)→Q(y))S(x,y)中的(?x)的辖域是 ( ) A ）(?y)(P(x,z)→Q(y)) B ）P(x,z)→Q(y) C ）P(x,z) D ）S(x,z)
27．谓词公式(?x)P(x,y)∧(?x)(Q(x,z)→(?x)(?y)R(x,y,z)中量词?x 的辖域是（ ） A ）(?x)Q(x,z)→(?x)(?y)R(x,y,z)) B ）Q(x,z)→(?y)R(x,y,z)
C）Q(x,z)→(?x)(?y)R(x,y,z) D）Q(x,z)
28．公式(?x)(?y)(P(x,y)∧Q(z))→R(x)中的x ( )
A）只是约束变元B）只是自由变元
C）既是约束变元又是自由变元D）既非约束变元又非自由变元
29．在公式)
y
x
y
P
z
Q
→
?中变元y是（）
?
∧
x?
y
P
y
))
)
(
,
(
(
)(
(z
)(
(
,
)
A）自由变元B）约束变元
C）既是自由变元，又是约束变元D）既不是自由变元，又不是约束变元
30．谓词公式(?x)(P(x,y))→(?z)Q(x,z)∧(?y)R(x,y)中变元x （）
A）是自由变元但不是约束变元B）既不是自由变元又不是约束变元
C）既是自由变元又是约束变元D）是约束变元但不是自由变元
31．令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))
32．在个体域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)
33．关于谓词公式（x）(y)(P(x,y)∧Q(y,z))∧(x)p(x,y)，下面的描述中错误
．．的是（）A）（x）的辖域是（y）（P（x,y）∧Q(y,z)）B）z是该谓词公式的约束变元
C）（x）的辖域是P（x,y）D）x是该谓词公式的约束变元34．设论域D={a,b}，与公式xA（x）等价的命题公式是（）
A）A（a）∧A（b）B）A（a）→A（b）
C）A（a）∨A（b）D）A（b）→A（a）
35．设M（x）：x是人；F（x）：x要吃饭。用谓词公式表达下述命题：所有的人都要吃饭，
其中错误
．．的表达式是（）
A）))
x
M
)x(
)(
∧
?
?
(?
x
)x(
x(F
M
)(
?B）))
(→
x(F
C）))
M
)x(
x(F
x
?
(∨
?
)(
)x(
x(F
M
)(
(∨
x
?D）))
36．下列公式是前束范式的是（）
A）))
(
)x(F)x
)y
G
(
y(
?
))
?
∨
?
(∧
H
y
)(
G
y(
)(
)x,z(F
x
?B）)z(?
(∨
?
C）)y(
)y,x(F
(
)(
?
)y
→
(?
x
y,x(
(
G
G
)y,x(F)x
)y
→
?D）))
(?
37．下列是谓词演算中的合式公式的是（）
A）)y
G
)x(F)x
(∧
?B）)y,x(
?
→
)(
)x(p
(?
x
C）)z,y(
(∧
)x
?
?
x
)y,x(P)x
Q
(?D）)y,x(P
38．下列式子正确的是（）
A）（A－B）-C=A-（B∪C）B）A－（B∪C）=（A－B）∪C
C）~（A－B）=~（B－A）D）~（A∩B）?A
39．下列式子不正确的是（）
A）(A-B)-C=(A-C)-B B）(A-B)-C=A-(B∪C)
C）(A-B)-C=(A-C)-(B-C) D）A-(B∪C)=(A-B)∪C
40．下列式子正确的是（）
A）?∈?B）??? C）{?}??D）{?}∈? 41．设A={?}，B=P(P(A))，以下正确的式子是（）
A）{?,{?}}∈B B）{{?,?}}∈B C）{{?},{{?}}}∈B D）{?,{{?}}}∈B 42．下列命题正确的是（）
A）{l，2}?{{1，2}，{l，2，3}，1} B）{1，2}?{1，{l，2}，{l，2，3}，2}
C）{1，2}?{{1}，{2}，{1，2}} D）{1，2}∈{1，2，{2}，{l，2，3}} 43．下列命题中，不正确的是（）
A）{φ}∈{φ,{φ}} B）{φ}∈{φ,{{φ}}}
C）{φ}?{φ,{φ}} D）φ?{φ,{φ}}
44．设A={a,{a}}，则下列各式正确的是( )
A）{a}∈p(A)(A的幂集) B）{a}?p(A)
C）{{a}}?p(A) D）{a,{a}}?p(A)
45．设A={?}，B=P（P（A）），以下不．正确的式子是（）
A）{{? }，{{? }}，{? ，{? }}}包含于B B）{{{? }}}包含于B
C）{{? ，{? }}}包括于B D）{{? }，{{? ，{? }}}}包含于B 46．设φ为空集，P(x)是集合x的幂集，下列论断不．正确的是( )
A）φ∈P(φ),φ?P(φ) B）{φ}∈P（φ），{φ}?P（φ）
C）φ∈P（P（φ）），φ?P（P（φ））D）{φ}∈P（P（φ））,{φ}?P（P（φ））47．设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)
48．集合的以下运算律不成立
．．．的是( )
A）A∩B=B∩A B）A∪B=B∪A
C）A⊕B=B⊕A D）A-B=B-A
49．设A={a,b,c}，则下列是集合A的划分的是（）
A）{{b,c},{c}} B）{{a,b},{a,c}} C）{{a,b},c} D）{{a},{b,c}}
50．设A={a,b,c,d}，A上的等价关系R={
A）{{a},{b,c},{d}} B）{{a,b},{c},{d}}
C）{{a},{b},{c},{d}} D）{{a,b},{c,d}}
51．设R为实数集，函数f：R→R，f(x)=2x，则f是（）
A）满射函数B）入射函数C）双射函数D）非入射非满射
52．设N为自然数集(含0)，函数F：N→N×N，F(n)=
A）满射，不是入射B）入射，不是满射
C）双射D）不是入射，不是满射
53．设Z是整数集，E={…，-4，-2，0，2，4，…}，f：Z→E，f（x）=2x，则f （）A）仅是满射B）仅是入射C）是双射D）无逆函数
54．设N是自然数集，R是实数集，函数f：Ｎ→R，f(n)=lgn是( )
A）入射B）满射C）双射D）非以上三种的一般函数
55．设A=｛1，2，3｝，B=｛a,b｝，下列二元关系R为A到B的函数的是( )
A）R=｛<1,a>,<2,a>,<3,a>｝B）R=｛<1,a>,<2,b>｝
C）R=｛<1,a>,<1,b>,<2,a>,<3,a>｝D）R=｛<1,b>,<2,a>,<3,b>,<1,a>｝
56．设集合X为人的全体，在X上定义关系R、S为R={
A）R S B）R-1 S C）S R D）R S-1
57．设A={1，2，3，4，5}，A上二元关系R={〈1，2〉，〈3，4〉，〈2，2〉}，S={〈2，4〉，〈3，1〉，〈4，2〉}，则S-1 R-1的运算结果是（）
A ）{〈4，1〉，〈2，3〉，〈4，2〉}
B ）{〈2，4〉，〈2，3〉，〈4，2〉}
C ）{〈4，1〉，〈2，3〉，〈2，4〉}
D ）{〈2，2〉，〈3，1〉，〈4，4〉} 58．设A 是正整数集，R={(x ，y)|x ，y ∈A ∧x+3y=12}，则R ∩ ({2，3，4，6}×{2，3，4，6})= （ ） A ） O /
B ）{<3，3>}
C ）{<3，3>，<6，2>}
D ）{<3，3>，<6，2>，<9，1>} 59．设集合X={0,1,2,3}，R 是X 上的二元关系，
R={<0,0>,<0,2>,<1,2>,<1,3>,<2,0>,<2,1>,<3,3,>}，则R 的关系矩阵M R 是（ ）
A ）??
???????
???1100100000110101 B ）?
?
????
?
?????1000001111000101
C ） ?
?
??????????0111101001011000 D ） ?
?
???
???????0101100011000111 60．集合A={1，2，3}上的下列关系矩阵中符合等价关系条件的是（ ） A ）??????????100010101 B ）??????????101010101 C ）??????????101110011 D ）??
??
?
?????111011001 61．设A={1，2，3}，A 上二元关系S={<1，1>，<1，2>，<3，2>，<3，3>}，则S 是（ ） A ）自反关系 B ）反自反关系 C ）对称关系 D ）传递关系 62．设A={a,b,c}，A 上二元关系R={〈a,a 〉，〈b,b 〉,〈a,c 〉}，则关系R 的对称闭包S(R)是（ ）
A ）R ∪IA
B ）R
C ）R ∪{〈c,a 〉}
D ）R ∩IA 63．设X={a,b,c},Ix 是X 上恒等关系，要使Ix ∪{〈a,b 〉，〈b,c 〉，〈c,a 〉，〈b,a 〉}∪R 为X 上的等价关系，R 应取（ ） A ）｛〈c,a 〉，〈a,c 〉｝ B ）{〈c,b 〉，〈b,a 〉} C ）{〈c,a 〉，〈b,a 〉} D ）{〈a,c 〉，〈c,b 〉}
64．非空集合A 上的二元关系R 若是自反和对称的，则R 是 ( ) A ）偏序关系 B ）等价关系 C ）相容关系 D ）拟序关系 65．设实数集R 上的二元运算 为：x y=x+y -2xy ，则 不满足 ( ) A ）交换律 B ）结合律 C ）有幂等元 D ）有零元 66．设S 是自然数集，则下列运算中不满足交换律的是 ( ) A ）a*b=|a -b| B ）a*b=a b C ）a*b=max{a,b} D ）a*b=min{a,b}
67．在实数集合R 上，下列定义的运算中是可结合的只有 ( ) A ）a*b=a+2b B ）a*b=a+b-2ab C ）a*b=a-b+2ab D ）a*b=a-b-2ab 68．在实数集合R 上，下列定义的运算中不．可结合的是 （ ） A ）a*b=a+b+2ab B ）a*b=a+b C ）a*b=a+b+ab D ）a*b=a-b
69．在自然数集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)
70．设Z 为整数集，A 为集合，A 的幂集为P(A)，+、-、/为数的加、减、除运算，∩为集
合的交运算，下列系统中是代数系统的有（）
A）〈Z，+，/〉B）〈Z，/〉C）〈Z，-，/〉D）〈P(A)，∩〉71．设Z是整数集合，则下面定义的二元运算不能使Z与 构成代数系统的是（）
A）i j=|i-j|,?i,j∈Z B）i j=i·j-j2，?i,j∈Z
C）i j=i/j,?i,j∈Z D）i j=i2+j2+1,?i,j∈Z
72．在下列代数系统中，不是环的只有（）
A） B）(Q，+，*)，其中Q为有理数集，+，*分别为有理数加法和乘法。 C） D） A）{l，2，3，4，5} B）{1，2，3，6，12} C）{2，3，7} D）{l，2，3，7} 74．如右图所示的有界格中，元素b的补元是（） A）a B）0 C）c D）d 75．若(A，*)是一个代数系统，且满足结合律，则(A，*)必为( ) A）半群B）独异点C）群D）可结合代数 76．设 A） B）有限循环群中的运算*适合交换律 C）G中存在一元素a，使G中任一元素都由a的幂组成 D）设a是 77．下列集合关于所给定的运算成为群的是（） A）已给实数a的正整数次幂的全体，且a?{0，1，-1}，关于数的乘法 B）所有非负整数的集合，关于数的加法 C）所有正有理数的集合，关于数的乘法 D）实数集，关于数的除法 78．设群G= A）a B）b C）G中零元素D）G中幺元79．设〈G,*〉是群，且|G|>1，则下列命题不成立的是（） A）G中有幺元B）G中有零元 C）G中任一元素有逆元D）G中除了幺元外无其他幂等元 80．设有代数系统G=〈A，*〉，其中A是所有命题公式的集合，*为命题公式的合取运算，则G的幺元是（） A）矛盾式B）重言式C）可满足式D）公式p∧q 81．设A是非空集合，P(A)是A的幂集，∩是集合交运算，则代数系统〈P(A),∩〉的幺元是( ) A）P(A) B）φ C）A D）|φ| 82．设*是集合A上的二元运算，称Z是A上关于运算*的零元，若（） A）,A ?有x*Z=Z*x=Z B）Z∈A，且A x∈ ?有x*Z=Z*x=Z x∈ C）Z∈A，且A ?有x*Z=Z*x=Z x∈ x∈ ?有x*Z=Z*x=x D）Z∈A，且A 83．下列各代数系统中不含有零元素的是（） A）〈Q，*〉Q是全体有理数集，*是数的乘法运算 B）〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算 C）〈Z， 〉，Z是整数集， 定义为x xy=xy, ?x,y∈Z D）〈Z，+〉，Z是整数集，+是数的加法运算 84．下列集合对所给的运算是封闭的只有（） A）非零整数集合Z*上的除法运算 B）全体n×n实可逆矩阵集合M n（R）上的矩阵加法和乘法运算 C）全体n×n实矩阵集合M n（R）上的矩阵加法和乘法运算 D）A={1，2，…，10}，x*y=LCM（x，y），即x，y最小公倍数 85．设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是（）A）<{1},·> B）〈{-1},·〉C）〈{i},·〉D）〈{-i},·〉86．设R为实数集，R+={x|x∈R∧x>0}，*是数的乘法运算， A）{R+中的有理数} B）{R+中的无理数} C）{R+中的自然数} D）{1，2，3} 87．设 A） C） 对*是可分配的D）*对 是可分配的 88．设 A） C）*对○+是可分配的D）○+对*是可分配的 89．在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是（） A）b∧(a∨c) B）(a∧b)∨(a∧b) C）(a∨b)∧(a∨b∨c)∧(b∨c) D）(b∨c)∧(a∨c) 90．下列各图中既是欧拉图，又是汉密尔顿图的是（） A）B）C）D） 91．设G是连通平面图，G中有6个顶点8条边，则G的面的数目是（） A）2个面B）3个面C）4个面D）5个面 92．设G是连通简单平面图，G中有11个顶点5个面，则G中的边是（） A）10 B）12 C）14 D）16 93．无向图G中有16条边，且每个结点的度数均为2，则结点数是（） A）8 B）16 C）4 D）32 94．设无向图中有6条边，有一个3度顶点和一个5度顶点，其余顶点度为2，则该图的顶点数是（） A）3 B）4 C）5 D）6 95．设无向图G的边数为m，结点数为n，则G是树等价于（） A）G连通且m=n+1 B）G连通且n=m+1 C）G连通且m=2n D）每对结点之间至少有一条通路 96．一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条（）A）汉密尔顿回路B）欧拉回路 C）汉密尔顿通路D）初级回路 97．结点数为奇数且所有结点的度数也为奇数的连通图必定是（） A）欧拉图B）汉密尔顿图C）非平面图D）不存在的 98．无向图G是欧拉图当且仅当G是连通的且（） A）G中各顶点的度数均相等B）G中各顶点的度数之和为偶数 C）G中各顶点的度数均为偶数D）G中各顶点的度数均为奇数 99．设有向图G有5个结点，4条边，且有一条有向路经过每个结点一次，则图G满足的最大连通性是( ) A）不连通B）弱连通C）单侧连通D）强连通 100．一个连通图G具有以下何种条件时，能一笔画出：即从某结点出发，经过图中每边仅一次回到该结点。( ) A）G没有奇数度结点B）G有1个奇数度结点 C）G有2个奇数度结点D）G没有或有2个奇数度结点 二、填空题 1．不能再分解的命题称为___________，至少包含一个联结词的命题称为____________。2．在命题演算中，五个联结词的含义是由其____________表唯一确定的，而不是由其类似的____________语言的含义确定。 3．判断一个语句是否为命题，首先要看它是否为___________，然后再看它是否具有唯一的____________。 4．求一个公式的主析取或主合取范式的方法，有______________法和______________法。5．一公式为___________之充分必要条件是其析取范式之每一析取项中均必同时包含一命题变元及其否定；一公式为___________之充分必要条件是其合取范式之每一合取项中均必同时包含一命题变元及其否定。 6．合取范式具有形式A1∧A2∧…∧A n(n≥1)，其中A1，A2，…，A n是由________及其________所组成的析取式。 7．设命题P为“明天上午8点下雨”，Q为“明天上午8点下雪”，R为“我去学校”，则“如果明天上午8点不下雨且不下雪则我去学校”可表示为公式________；而“只有当明天上午8点不下雪并且不下雨时我才去学校”可表示为公式________。 8．若H1∧H2∧…∧Hn是______，则称H1,H2,…Hn是相容的，若H1∧H2∧…∧Hn是______，则称H1,H2,…Hn是不相容的。 9．前束范式具有形式(Q1V1)(Q2V2)…(QnVn)A，其中Qi(1≤i≤n)为___________，A为___________的谓词公式。 10．设论域是{a,b,c}，则(?x)S(x)等价于命题公式___________；(x?)S(x)等价于命题公式___________。 11．谓词公式(?x)( ?y)（P(x,y)∨R(y))→Q(y)，则其约束变元是________，自由变元是________。 12．使公式(?x)( ?y)(A(x)∧B(y))?(?x)A(x)∧(?y)B(y)成立的条件是______不含有y，______不含有x。 13．设M(x):x是人，D(s):x是要死的，则命题“所有的人都是要死的”可符号化为(?x)______, 其中量词(?x)的辖域是______。 14．给定谓词合式公式A，其中一部分公式形式为(x ?)B(x)或(?x)B(x)，则量词?，?后面所跟的x称为______________，而称B为相应量词的______________。 15．使公式（x）（y）（A（x）→B（y））?（（x）A（x）→（y）B（y））成立的条件是___________不含有y，____________不含有x。 16．设A为任意集合，请填入适当的运算符，使式子A____________A=?；A_______ _____~A=?成立。 17．设A={φ,{φ}},B={0,1},所有从A到B的双射函数是f1=________，f2=________。18．设函数f:X→Y,如果对X中的任意两个不同的x1和x2，它们的象y1和y2也不同，我们说f是______函数，如果ranf=Y，则称f是______函数。 19．设X，U，V，Y都是实数集，f1：X→U，且f l(x)→e x；f2：U→V，且f2(u)＝u (1+u)；f3：V→Y，且f3(v)=cosv。那么f3 f2 f1的定义域是______________，而复合函数(f3 f2 f1)(x)= ______________。 20．设A={0，1，2，3，6}，R={〈x,y〉|x≠y∧(x,y∈A)∧y≡x(mod 3)}，则domR=__________，ranR=____________。 21．称集合S是给定非空集合A的覆盖：若S={S1，S2，…，Sn}，其中Si?A，Si≠?，i=1，2，…，n，且__________；进一步若___________，则S是集合A的划分。 22．设X={1,2,3}上的关系R的关系图如下，从关系图可知R具有________________，________和传递性等性质。 23．A={1,2,3,4}上二元关系R={〈2，4〉，〈3，3〉，〈4，2〉}，R的关系矩阵MR中m24=______,m34=______。 24．设R为A上的关系，则R的自反闭包r(R)= ___________，对称闭包s(R)= ___________。25．设〈s,*〉是群，则那么s中除______外，不可能有别的幂等元；若〈s,*〉有零元，则|s|=______。26．设Z是整数集，在Z上定义二元运算*为a*b=a+b+a·b，其中+和·是数的加法和乘法，则代数系统 27．设A为集合，P(A)为A的幂集，则〈P(A)，?〉是格，若x,y∈P(A),则x,y最大下界是______，最小上界是______。 28．设 29．设〈A，≤〉是偏序集，若A中____________都有最小上界和_____ _______则称A关于偏序≤构成格。 30．设A={2,3,6,12},≤是A上的整除关系，则偏序集〈A，≤〉的最大元是________，极小元是________。 31．设〈B,∧,∨,′，0，1〉是布尔代数，对任意的a∈B,有a∨a′=____,a∧a′=______。32．设〈G，*〉是群，若G中存在一个元素a，使得G中任意元素都可由a的幂生成，则称该群是____，元素a称为该群的________。 33．已知G=<{l，-1，i，-i}，·>(其中i=1 -，是数的乘法)是群，则-l的阶是______________； i的阶是______________。 34．对代数系统 35．设 36．对实数的普通加法和乘法，____________是加法的幂等元，____________是乘法的幂等元。 37．在代数系统〈A，*〉中，A={a}，*是A上二元运算，则该代数系统的单位元是_____ _______，零元是____________。 38．有向图D如下：D的邻接矩阵A=(a ij)3×3,则a11=____,a32=____。 39．一个连通平面图G有10条边，G中度为1的顶点有2个，其余是度为6的顶点，则G 中共有___个顶点，____个面。 40．在一棵根树中，仅有一个结点的入度为______，称为树根，其余结点的入度均为______。41．一个______________且______________的无向图称为树。 42．在简单无向图G= 43．若一条路中，所有边均不相同，则此路称作__ __________；若一条路中所有的结点均不相同，则称此路为_____ _______。 44．无向图G具有一条欧拉回路，当且仅当G是___________，并且所有结点的度数都是___________。 45．在下图中，结点v2的度数是___________，结点v5的度数是___________。 三、计算题 1．作出命题公式(p→(q∨r))→┐q的真值表，并写出其主析取范式。 2．构造命题公式(p→(q∧r))→┐p的真值表。 3．求┐(P→Q)?(P→┐Q)的主合取范式并给出所有使命题为真的赋值。 4．求下列公式的主析取范式和主合取范式：（P∧Q）∨（┐P∧R） 5．求公式(?x)?(F(x)→(?y)G(xy,z))→(?z)H(x,y,z)的前束范式。 6．求公式┐((?x)F(x,y)→(?y)G(x,y))∨(?x)H(x)的前束范式。 7．若集合A={a，{b，c}}的幂集为P(A)，集合B={ O/，{ O/}}的幂集为P(B)，求P(A)∩P(B)。 8．设A＝｛2，3，4，6，8，12，24｝，R为A上整除关系，试画 9．设A={1,2,3,4,5}，A上偏序关系 R={〈1，2〉，〈3，2〉，〈4，1〉，〈4，2〉，〈4，3〉，〈3，5〉，〈4，5〉}∪I A; (1)作出偏序关系R的哈斯图 (2)令B={1,2,3,5}，求B的最大，最小元，极大、极小元，上界，下确界，下界，下确界。 10．设A={a,b},P(A)是A的幂集，⊕是对称差运算，可以验证 11．设 求x1、x2、x3、x4、x5、x6并说明道理 12．设集合A={1,3,5,7,9,11,13,15}，A上的一个划分S={{1,15},{3,9,11,13},{5,7}}。 试求由S导出的A上的等价关系R。 13．设A={a,b,c,d}，R={ 15．设带权无向图G如下，求G的最小生成树T及T的权总和，要求写出解的过程。 16．一棵树有2个4度结点，3个3度结点，其余结点是叶子，求该树的叶子数。 四、证明题（本大题共3小题，第31、32小题各6分，第33题8分，共20分） 1．在个体域D={a1,a2,…，a n}中证明等价式： (?x)(A(x)→B(x))?(?x)A(x)→(?x)B(x) 2．证明A→(B→C),(C∧D)→E, ┐F→(D∧┐E)|-A→(B→F)成立。 3．设f：X→Y，g：Y→X，g f为X上恒等函数，证明f是入射和g是满射。 4．设R是集合X上的二元关系，证明R是X上传递关系当且仅当R R?R。 5．设R是集合A上对称和传递关系，且对于A中每个元素a，在A中同时也存在一个b， 使 6．设A是非空集合，F是所有从A到A的双射函数的集合， 是函数复合运算。 证明：〈F, 〉是群。 7．设M是偶数集，＋和·是数的加、乘运算，证明 8．设G是简单平面图，G有n个顶点m条边，且m<30， 证明G中存在一项点v，d（v）≤4。 9．设T是非平凡的无向树，T中度数最大的顶点有2个，它们的度数为k(k≥2),证明T中至少有2k-2片树叶。 10．证明：如果一个有向图G是弱连通图且是欧拉图，则G是强连通图。 11．设〈G,*〉是群，a∈G，N={ah-1a|h∈G},证明〈N，*〉是〈G,*〉的子群。 五、应用题 1．对下面推理进行符号化，并作证明。会操作计算机的人都认识26个英文字母。文盲都不认识26个英文字母。有的文盲是很聪明的。所以有的很聪明的人不会操作计算机。(个体域：所有人的集合) 2．对下面推理进行符号化，并作证明。任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢乘汽车，或者喜欢骑自行车。有的人不爱骑自行车，因而有的人不爱步行。3．如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI语言而且学过C++语言。只要他学过DELPHI语言或者C++语言，那么他就会编程序。因此如果他是计算机系本科生，那么他就会编程序。请用命题逻辑推理方法，证明该推理的有效结论。4．判断下面推理是否正确，并证明你的结论。 如果小王今天家里有事，则他不会来开会。如果小张今天看到小王，则小王今天来开会了。小张今天看到小王。所以小王今天家里没事。 5．某发电厂a要向b,c,d,e四个地点送电，已知发电厂可以和b,c,d直接架接电线，地点e 可以和b与d直接架设电线，其他由于地理原因无法直接架设电线，在a,b,c,d和e之间架设电线时不能有回路存在，否则会造成浪费。请找出所有电线架设方案，使从a可向b，c，d，e供电。 6．有6个村庄V i，i=l，2，…，6欲修建道路使村村可通。现已有修建方案如下带权无向图所示，其中边表示道路，边上的数字表示修建该道路所需费用，问应选择修建哪些道路可使得任二个村庄之间是可通的且总的修建费用最低?要求写出求解过程，画出符合要求的最低费用的道路网络图并计算其费用。 7．一次学术会议的理事会共有20个人参加，他们之间有的相互认识但有的相互不认识。但对任意两个人，他们各自认识的人的数目之和不小于20。问能否把这20个人排在圆桌旁， 使得任意一个人认识其旁边的两个人?根据是什么? 参考答案 一、选择题 1．A 2．A 3．C 4．D 5．A 6．C 7．A 8．C 9．C 10．B 11．D 12．B 13．B 14．A 15．A 16．C 17．A 18．B 19．C 20．A 21．C 22．A 23．A 24．C 25．D 26．A 27．C 28．C 29．B 30．C 31．C 32．C 33．B 34．C 35．C 36．A 37．B 38．A 39．D 40．B 41．A 42．B 43．B 44．A 45．B 46．A 47．A 48．D 49．D 50．D 51．C 52．B 53．C 54．A 55．A 56．C 57．A 58．C 59．B 60．B 61．D 62．C 63．D 64．C 65．D 66．B 67．B 68．D 69．D 70．D 71．C 72．C 73．B 74．D 75．A 76．D 77．C 78．D 79．B 80．B 81．C 82．B 83．D 84．C 85．A 86．A 87．C 88．D 89．A 90．C 91．C 92．C 93．B 94．B 95．B 96．B 97．D 98．C 99．C 100．A 二、填空题 1．简单命题（原子命题）复合命题 2．真值自然 3．陈述句真值 4．真值表等值演算 5．主析取范式主合取范式 6．命题变元否定 7．（┐P∧┐Q）→R R→(┐P∧┐Q) 8．可满足式永假式(或矛盾式) 9．量词不含量词 10．S(a)∧S(b)∧S(c) S(a)∨S(b)∨S(c) 11．X，y y(Q(y)中的y) 12．A(x) B(y) 13．(M(x)→D(x)) M(x)→D(x) 14．指导变元或作用变元作用域 15．A（x）B（y） 16．—∩ 17．{<φ, 0>, <{φ},1>} {<φ, 1>, <{φ},0>} 18．入射满射 19．X cosv(e x(1+e x)) 20．{0，1，2，3，6} {0，1，2 } 21．S1∪S2∪…∪Sn =A Si∩Sj=?（i≠j） 22．反自反反对称 23．1 0 24．R∪IA R∪R-1 25．单位元 1 26．0 -1 27．x∩y x∪y 28．最小上界最大下界 29．x,y∈A 最大下界 30．12 2，3 31．1 0 32．循环群生成元 33．2 4 34．幺元零元 35．消去律零元 36．0 1 37．a a 38．1 0 39．5 7 40．0 1 41．连通无回路 42．完全图n-1 43．欧拉通路哈密尔顿通路 44．连通图偶数 45．4 3 三、计算题 主析取范式：(┐p∧┐q∧┐r)∨(┐p∧┐q∧r)∨(p∧┐q∧┐r)∨(p∧┐q∧r) 或：m0∨m1∨m4∨m5 2． 3．原式?(┐(P→Q)→(P→┐Q))∧((P→┐Q)→┐(P→Q)) ((P→Q)∨(P→┐Q))∧(┐(P→┐Q)∨┐(P→Q)) (┐P∨Q∨┐P∨┐Q)∧(┐(┐P∨┐Q)∨(P∧┐Q)) (┐(P∧┐Q)∨(P∧┐Q)) (P∧Q)∨(P∧┐Q) P∧(Q∨┐Q) P∨(Q∧┐Q) (P∨Q)∧(P∨┐Q) 命题为真的赋值是P=1,Q=0和P=1,Q=1 4．(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧┐R)∨(P∧Q∧R)=Σ(1,3,6,7) (P∨Q∨R) ∧(P∨┐Q∨R) ∧( ┐P∨Q∨R) ∧( ┐P∨Q∨┐R)=П(0,2,4,5) 5．原式??x┐(┐F(x)∨?yG(xy,z)) →(?z)H(x,y,z) ?x(F(x)∧┐?yG(xy,z)) →(?z)H(x,y,z) ?x(F(x)∧?y┐G(xy,z)) →(?z)H(x,y,z) ?x?y (F(x)∧┐G(xy,z)) →(?z)H(x,y,z) ?x?y ?z ((F(x)∧┐G(xy,z)) →H(x,y,z)) 6．原式?┐(?x1F(x1,y)→?y1G(x,y1))∨?x2H(x2) (换名) ?┐?x1?y1(F(x1,y)→G(x,y1))∨?x2H(x2) ??x1?y1┐(F(x1,y1)→G(x,y1))∨?x2H(x2) ??x1?y1?x2(┐(F(x1,y1)→G(x,y1))∨H(x2) 7．解：因为P(A)＝{ O/，{a} ，{{b，c}} {a，{b，c}} } P(B)= { O/，{ O/}，{{ O/}}，{ O/，{ O/}} } 所以P(A)∩P(B)＝{ O/} 8．解：R={<2，2>，<3，3>，<4，4>，<6，6>，<8，8>，<12，12>，<24，24>，<2，4>，<2，6>，<3，6>，<4，8>，<4，12>，<6，12>，<12，24>，<8，24>} A中最大元24，无最小元，极大元24，极小元2、3。 9．(1)偏序关系R的哈斯图为 (2)B的最大元：无，最小元：无； 极大元：2，5，极小元：1，3 下界：4，下确界4； 上界：无，上确界：无 10．当n是偶数时，?x∈P(A),x n=? 当n是奇数时，?x∈P(A),x n=x 于是：当n是偶数，(｛a｝-1｛b｝｛a｝)n⊕｛a｝-n｛b｝n｛a｝n =?⊕(｛a｝-1)n｛b｝n｛a｝n=?⊕?=? 当n是奇数时， (｛a｝-1｛b｝｛a｝)n⊕｛a｝-n｛b｝n｛a｝n =｛a｝-1｛b｝｛a｝⊕(｛a｝-1)n｛b｝n｛a｝n =｛a｝-1｛b｝｛a｝⊕｛a｝-1｛b｝｛a｝=? 11．由群中运算适合消去律可知，xi∈{c,d},i=1,2; 且x1≠x2 若x1=c，则由运算表可知：a*c=c, b*c=c 于是a=b 矛盾 故x1=d 从而x2=c 同理x3=b ∵G是交换群，∴运算表是对称的， 故有x4=x1=d ，x5=x2=c ，x6=x3=b。 12．解：R={ ={ <1，1>，<3，3>，<5，5>，<7，7>，<9，9>，<11，11>，<13，13>，<15，15>， <1，15>，<15，1>，<3，9>，<9，3>，<3，11>，<11，3>，<3，13>，<13，3>， <9，11>，<11，9>，<9，13>，<13，9>，<11，13>，<13，11>， <5，7>，<7，5>} 13． 14． M = ??? ???? ???? ?? ?1100 110101010011 M 2 = ??? ? ??? ???????1101121211120112 M ij j i 21 4 1418==∑ ∑=, M ij i 214 6=∑= G 中长度为2的路总数为18，长度为2的回路总数为6。 15．令e 1=(v 1,v 3), e 2=(v 4,v 6) e 3=(v 2,v 5), e 4=(v 3,v 6) e 5=(v 2,v 3), e 6=(v 1,v 2) e 7=(v 1,v 4), e 8=(v 4,v 3) e 9=(v 3,v 5), e 10=(v 5,v 6) 令a i 为e i 上的权，则