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

真诚为您提供优质参考资料，若有不当之处，请指正。
真诚为您提供优质参考资料，若有不当之处，请指正。
1 / 6
真诚为您提供优质参考资料，若有不当之处，请指正。
天津理工大学中环信息学院《离散数学》第一、二章检测题
请将填空题答案填入下面相应位置
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分）
1．设表示“我将去书店”， 表示“我有时间”，则命题“我将去书店，仅当我有时间”符号化为 。
2．设表示“天下雨”， 表示“我骑自行车上班”，则命题“除非下雨，否则我骑自行车上班”符号化为 。
3．写出下表中各列所定义的命题联结词

→ ∧
0
1
0
1 1
1 0 0 1
1 1 0 0
0 1 0 0
1 1 1 1
4．设命题公式的真值表为
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
则命题公式的主析取范式为 ，
主合取范式为 。
真诚为您提供优质参考资料，若有不当之处，请指正。
真诚为您提供优质参考资料，若有不当之处，请指正。
2 / 6
真诚为您提供优质参考资料，若有不当之处，请指正。
5．设个体域，消去公式中的量词，则∧
。
6．命题公式的逆反式是 。
7．设命题公式（）的主析取范式为 。
8．谓词公式 , 。
9．设表示“x是金子”， 表示“x是闪光的”，则命题“金子是闪光的，但闪光的不一定是金子”符号化为