北京经济技术职业学院《离散数学与数理逻辑》2025-2026学年期末试卷（B卷）.docxVIP

#北京经济技术职业学院《离散数学与数理逻辑》2025-2026学年期末试卷（B卷）

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

1.设集合$A=\{1,2\}$，$B=\{2,3\}$，则$A\timesB$的基数$|A\timesB|=$\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_。

2.在逻辑代数中，命题$P$与命题$Q$的“与非”运算记作\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_。

3.设$L$是格，若对于任意的$x,y\inL$，都有$x\lory=1$（最大元），则称$x$与$y$互为\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_。

4.在命题逻辑中，公式$\neg(P\toQ)\landP$的主合取范式包含的极大项是\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_。

5.设$G$是一个群，$a\inG$，则$a$的阶数$|a|$必须满足$|a|$\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_$|G|$。

6.在有向图中，顶点$v$的入度$d^-(v)$