# 考点回忆版

下面题顺序可能有误，但基本涉及：

1.主析取范式——用主析取范式证明两个式子是否等价

2.量词缩小——推出四个带量词命题的真假

3.哈斯图——证明偏序关系、画哈斯图，写极小极大最小最大元，上下界上下确界

4.量词证明

5.写关系闭包——r(R),t(R),s(R)

6.邻接矩阵的计算——有可达矩阵的推导

7.命题推理——给语境，写命题

8.集合计算

9.等价关系——证明等价关系，写出划分

10.哈密顿图