2020-2021《离散数学》期末期末课程考试试卷（含答案）.docVIP

院系： 专业班级： 姓名： 院系： 专业班级： 姓名： 学号： 装订线. 专业:信计 考试日期： 所需时间：120分钟 总分：100分 闭卷 选择题（每小题2分，总共20分） 1、设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为（ B ） A、 B、 C、 D、 2、下列语句中哪个是真命题？（ D ） A、我正在说谎。 B、严禁吸烟 C、如果1+2=3，那么雪是黑的。 D、如果1+2=5，那么雪是黑的。 3、命题公式是（ C ） A、矛盾式 B、蕴含式 C、重言式 D、等值式 4、谓词公式中变元x是（ D ） A、自由变量 B、约束变量 C、既不是自由变量也不是约束变量 D、既是自由变量也是约束变量 5、若个体域为整数域，下列公式中哪个值为真？（ A ） A、 B、 C、 D、 6、设个体域A={a,b},公式在A中消去量词应为（ B ） A、 B、 C、 D、 8、设A={{1，2，3}，{4，5}，{6，7，8}}，下列正确的是（ C ） A、1A B、{1，2，3}A C、{{4，5}}A D、A 9、幂集P（P（P（）））为（ C ） A、{{}，{，{}}} B、{，{}，{，{}}} C、{，{}，{，{}}，{{}}} D、{，{，{}}} 10、任意一个具有多个等幂元的半群，它（ A ） A、不能构成群 B、不一定能构成群 C、能构成群 D、不能构成交换群 二、填空题（每小题3分，总共24分） 1、设A为任意的公式 ，B为重言式，则的类型为 重言式 2、设的成真赋值为 10,11,01 3、设集合A={x|3,xZ},B={x|x=2k,kZ} C={1,2,3,4,5},则 A（C-B）= {0,2,4,6,7,8} 4、某校有足球队员38人，篮球队员15人，排球队员20人，三队队员总数为58人，其中只有3人同时参加3种球队，则仅仅参加两种球队的队员为 9 人 。 5、设A={1，2，3}上的关系R={1,1,1,2,1,3,3,3},则R具有 反对称性、传递性 6、设A={1，2，3，4}上的关系R={2,4,1,2,1,3,3,3},则r(R)= {2,4,1,2,1,3,3,3，1,1,2,2,4,4，} 7、A={1，2，3，4，5，6，8，10， 24，36}，R是A上的整除关系。子集B={1，2，3，4}，那么B的上界是 24,36 ，下界是 1 ，B的上确界是 无 ，B的下确界是 1 。 8、设A为非空有限集，代数系统（P（A），）中， P（A）对运算的单位元是 ，零元是 A 三、用符号形式写出下列命题：（每小题3分，总共12分） 1、李辛与刘威都学过英语。 解：p: 李辛学过英语 q:刘威学过英语 2、只有不怕困难，才能战胜困难。 解：p: 不怕困难 q: 能战胜困难 3、没有不犯错误的人。 解：M(x): x是人 F(x): x会犯错误 4、尽管有人聪明，但未必一切人都聪明。 解：M(x): x是人 F(x): x聪明 四、在自然推理系统 P中，构造下面用语言给出的推理。（先符号化再证明）9分 若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，则他也喜欢物理。小张确实喜欢数学，可小李不喜欢物理。所以，小赵喜欢数学。 解：p: 小张喜欢数学 q: 小李喜欢数学 r: 小赵喜欢数学 s: 小李喜欢物理 前提： 结论：r (1) 引入前提 (2) p (1) 推理化简规则 (3) (1) 推理化简规则 (4) 引入前提 (5) (2),(4) 假言推理 （6）引入前提 （7） (3),(6) 推理三段论 （8）r (5)(7)