2026年离散数学习题及分析.docxVIP

2026年离散数学习题及分析

一、单项选择题（共10题，每题1分，共10分）

设A和B是任意两个集合，若A∩B=A∪B，则必有（）。

A.A?B且B?A

B.A?B但B?A

C.B?A但A?B

D.A与B互为真子集

答案：A

解析：本题考查集合相等与交集、并集的关系。若A∩B=A∪B，则说明A与B交集中的元素和并集中的元素完全相同。由于交集总是包含于并集之中，两者相等意味着交集等于并集，这只可能在A=B时发生。A?B且B?A正是A=B的定义。选项B和C分别表示A是B的真子集或B是A的真子集，此时交集严格小于并集，等式不成立。选项D虽然表述了互真子集的关系，但在集合论中”互为真子集”是不可能存在的，因为两个不同集合不可能同时互为真子集。

下列命题公式中，属于永真式的是（）。

A.(P→Q)→(Q→P)

B.(P→Q)?(?Q→?P)

C.P∧(P→Q)→?Q

D.(P∨Q)→P

答案：B

解析：本题考查命题逻辑中永真式的判定。永真式是指在所有真值指派下均为真的命题公式。选项B是逆否命题等价式，即P→Q与?Q→?P在任何情况下真值相同，因此其双条件式恒为真，属于永真式。选项A中，当前件P→Q为真而后件Q→P为假时（如P为真，Q为假），整个