离散检测题答案.docVIP

-  PAGE 7 - 天津理工大学中环信息学院《离散数学》第一、二章检测题 请将填空题答案填入下面相应位置 1. ；2. ；3. ；4. ；5. ； 6. ；7. ；8. ；9. ；10. ； 11. ；12. ；13. ；14. ；15. 。 请将选择题答案填入下表相应位置 12345678910得分 一、填空题（每空2分，共30分） 1．设表示“我将去书店”， 表示“我有时间”，则命题“我将去书店，仅当我有时间”符号化为 。 2．设表示“天下雨”， 表示“我骑自行车上班”，则命题“除非下雨，否则我骑自行车上班”符号化为 。 3．写出下表中各列所定义的命题联结词 → ∧ 0 1 0 1 11 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 4．设命题公式的真值表为 0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 100101100 则命题公式的主析取范式为 ， 主合取范式为 。 5．设个体域，消去公式中的量词，则∧ 。 6．命题公式的逆反式是 。 7．设命题公式（）的主析取范式为 。 8．谓词公式 , 。 9．设表示“x是金子”， 表示“x是闪光的”，则命题“金子是闪光的，但闪光的不一定是金子”符号化为 。 或 10．N个命题变元可以构成互不等价的命题公式 个。 () 二、单项选择题（每小题2分，共20分） 1．设表示是演员。表示是老师，表示钦佩。则命题“所有演员都钦佩某些老师”符号化为（ 2 ）。 (1)．； (2)．； (3)．； (4)．． ２．下列蕴含式不成立的是（ 1 ）. (1)．； (2)．； (3)． ； (4)．. ３．下列等价式不成立的是（ 2 ）. (1)．; (2)． (3)． (4)． ４．谓词公式中量词（）辖域是（ ）．(4) (1)．；　　　 (2)．； (3)．；　　　　　　　　　　　　 (4)．． ５．下列哪个命题是真命题（　　2　　）． (1)．如果２+3=5，则太阳从西方升起； (2)．如果２+3=6，则太阳从西方升起； (3)．严禁吸烟； (4)．我正在说谎． ６．谓词演算中，是的有效结论，其理论依据是（　1　　　）． (1)．全称指定规则（US）； 　 (2)．全称推广规则（UG）； (3)．存在指定规则（ES）；　 (4)．存在推广规则（EG）． 7．下列哪个命题是假命题（　1　　　）． (1)．如果２是偶数，那么一个命题公式的析取范式唯一； (2)．如果２是偶数，那么一个命题公式的析取范式不唯一； (3)．如果２是奇数，那么一个命题公式的析取范式唯一； (4)．如果２是奇数，那么一个命题公式的析取范式不唯一． 8．下列公式中不是前束范式的是（ 3 ）。 (1)．； (2)．； (3)．； (4)．． 9．下列等价公式正确的是（ ）。（2） （1）．； （2）．； （3）．； （4）．． 10．以下推理错误的是（ ）。（2） (1)．；