刚刚考完期中考试，离散数学分数还没有出来。

（2023年补：考的差强人意，94，主要是最后一题丢了些分）

老师已经评讲过试卷了。把原题与答案放在这里，有需要的同学可以自取、研究。

（2024.4.20补：22级离散数学期中考试试卷，参考邵神：HNU离散数学2023期中考试原题及答案_离散数学期中考试题目-CSDN博客）

（2024.6.14补充：中间有几道题漏抄了部分，感谢评论区指出，已经用红笔更正）

试卷非常基础，可以说是全部考察了简单的知识点，而且只涉及概念，少见难的证明。

答案比较绕，但是会化简并且对合取析取式进行运算的话就很简单。

这里抄错了，感谢同学指出，已用红笔改正。

是简单的假言推理证明题。

题目与第二题完全一样，但是要求用消解法进行证明

谓词推理，注意全称、存在的指定与扩充。注意先存在指定，再全称指定。

推理证明题，较简单

特别注意先去量词，否则没有分数。

考查包含排斥原理，这里特别注意4和6的最小公倍数是12，不是24。

考查传递闭包，用warshall算法可以快速且准确地求解

考查代数系统的基础概念，属于简单题类型。