北京大学《离散数学（上册）》2025-2026学年期末试卷（A卷）.docxVIP

#北京大学《离散数学（上册）》2025-2026学年期末试卷（A卷）

一、单选题（本大题共30个小题，每小题1分，共30分．在每小题给出的四个选项中，只有一项是符合题目要求的．）

1.设集合$A=\{x\midx^2-3x+2=0\}$，$B=\{x\midx\text{是小于5的正整数}\}$，则$A\capB$等于（）

A.$\{1,2\}$

B.$\{2,3\}$

C.$\{1,2,3\}$

D.$\{1,2,4\}$

2.命题公式$(p\lorq)\tor$的否定形式是（）

A.$p\lorq\to\negr$

B.$\neg(p\lorq)\tor$

C.$(p\lorq)\land\negr$

D.$p\to(q\tor)$

3.在谓词逻辑中，$\forallx\existsyP(x,y)$与$\existsy\forallxP(x,y)$的关系是（）

A.两者等价

B.两者不等价，前者蕴涵后者

C.两者不等价，后者蕴涵前者

D.两者互为逆否

4.设$R$是集合$A=\{1,2,3\}$上的二元关系，$R=\{(1,2),(2,3),(3,1)\}$，则$R$是（）

A.自反的但不是反自反的

B.对称的但不是反对称的