一个月前考完的离散数学期中考试，这几天又手搓了一遍，成果如下，仅供参考！
【试卷难度评价】试卷不算太难，但是坑比较多；有些题目不同方法可能导致做题速度会有些差异。而且要想每题过程都写规范，时间还是比较紧张的。
【试卷原题及答案】 第一题
程序跑出来结果：
这题可以用等值演算也可以用真值表，因为等值演算比较繁琐，而这里只有四个变元，所以我建议考试时最好使用真值表，可以节约好多时间。但是真值表中变元顺序要严格按照二进制数的顺序来写，不然没分。（考完试后我发现我和其他好多同学都因为没看完题，惯性思维以为只能用等值演算，然后等值演算写到底才发现能用真值表，浪费了好多时间。所以各位uu下次考试时第一题记得要读完题再写！！！）
第二题
基本的假言推理题（记得每一步都要写理由）
第三题
题目与第三题一样，不过要求用消解法证明
第四题
基础的推理证明题
第五题
往年没有考过的前束范式，因此在考场上遇到时好多同学都忘了咋做了。先改名，再去->和符号，最后量词左移。
第六题
基本的包含排斥原理题，要注意的是10是包含在集合内的，所以相减时要减9/x而不是10/x
第七题
编程实现结果如下：
考察用warshall算法求传递闭包，近两年考法都是如此
第八题
比较坑的一道题，考察偏序关系，但是同时考察了程序设计里的“子串”的概念，许多同学把子串误认为是子序列，导致整题分都没了（我就是QAQ）。子串和子序列区别如下：
这里的偏序关系应该要浅浅证明一下，哈斯图的画法一定要熟练。因为哈斯图不是一条直线，所以不是全序关系。
PS：2022年离散数学期中试卷