离散数学一、二章检测题及答案.doc

请将填空题答案填入下面相应位置
1. ;2. ;3. ;4. ;5. ;
6. ;7. ;8. ;9. ;10. ;
11. ;12. ;13. ;14. ;15. 。
请将选择题答案填入下表相应位置
1
2
3
4
5
6
7
8
9
10
得分
一、填空题(每空2分,共30分)
“我将去书店”, 表示“我有时间”,则命题“我将去书店,仅当我有时间”符号化为。
“天下雨”, 表示“我骑自行车上班”,则命题“除非下雨,否则我骑自行车上班”符号化为。


→∧
0
1
0
1 1
1 0 0 1
1 1 0 0
0 1 0 0
1 1 1 1

0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1
0
0
1
0
1
1
0
0
则命题公式的主析取范式为,
主合取范式为。
,消去公式中的量词,则∧
。
。
()的主析取范式为。
, 。
“x是金子”, 表示“x是闪光的”,则命题“金子是闪光的,但闪光的不一定是金子”符号化为。

或
。()
二、单项选择题(每小题2分,共20分)
。表示是老师,表示钦佩。则命题“所有演员都钦佩某些老师”符号化为( 2 )。
(1).; (2).;
(3).; (4)..
( 1 ).
(1).; (2).;
(3). ; (4)..
( 2 ).
(1).;
(2).
(3).
(4).
()辖域是( ).(4)
(1).; (2).;
(3).; (4)..
( 2 ).
(1).如果2+3=5,则太阳从西方升起; (2).如果2+3=6,则太阳从西方升起;
(3).严禁吸烟; (4).我正在说谎.
,是的有效结论,其理论依据是( 1 ).
(1).全称指定规则(US); (2).全称推广规则(UG);
(3).存在指定规则(ES); (4).存在推广规则(EG).
( 1 ).
(1).如果2是偶数,那么一个命题公式的析取范式唯一;
(2).如果2是偶数,那么一个命题公式的析取范式不唯一;
(3).如果2是奇数,那么一个命题公式的析取范式唯一;
(4).如果2是奇数,那么一个命题公式的析取范式不唯一.
( 3 )。
(1).; (2).; (3).; (4)..
( )。(2)
(1).; (2).;
(3).; (4)..
( )。(2)
(1).; (2).;
(3).; (4)..
三、简答题(每小题6分,共12分)
求謂词公式的前束析取范式.

。
(共38分)