离散一-二章练习试题.docVIP

一、填空题（每空2分，共30分） 1．设表示“我将去书店”， 表示“我有时间”，则命题“我将去书店，仅当我有时间”符号化为 。 ２．写出下表中各列所定义的命题联结词 → ∧ 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 3．设命题公式的真值表为 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 则命题公式的主析取范式为 ， 主合取范式为 。 4．设个体域，消去公式中的量词，则∧ 。 5．设表示“x是金子”， 表示“x是闪光的”，则命题“金子是闪光的，但闪光的不一定是金子”符号化为 。 或 6．命题公式的逆反式是 。 7．命题公式（）的主析取范式为 。 8．谓词公式 , 。 二、单项选择题（每小题3分，共18分） 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）． 三、简答题（每小题6分，共12分） 求謂词公式的前束析取范式． 2．求命题公式的主析取范式和主合取范式。 四．证明题（共40分） １．（10分）符号化下列命题并推证其结论． 任何人如果他喜欢音乐,他就不喜欢体育；每个人或者喜欢体育，或者喜欢美术；有的人不喜欢美术．因而有的人不喜欢音乐．（设：喜欢音乐，：喜欢体育，：喜欢美术．） 该命题符号化为： 前提： 结论： （2分） 证：（1） P （2） ES（1） （1分） （3） P （4） US（3） （1分） （5） T（2）（4）I （6） P （7） US（6） （8） T（7）E （2分） （9） T（5）（8）I （10） EG（9） （2分） ２．（１０分） (1)．用CP规则证明； 1. P 6. T(4,5) I （分） 2. P 7.