离散数学复习要点与推理证明示例.pdfVIP

离散数学

1.主合取范式以及主析取范式；

2.记住推理规则（P47）；

3.谓词逻辑（注意存在量词和全称量词、相关概念也要注意）；在量词存在的

情况下，知道如何判断真假！（P64）；记住等值式（P68）；前束范式；推

理理论（P81的第25题）；

4.关系的五大性质及其对应的矩阵的性质，会求矩阵对角线以上或者以下元素

的个数；等价关系含有什么特点?（自反、对称、传递）与划分一一对应；偏序

关系（自反、反对称、传递）与哈斯图。例7.20，此外，要注意自反性跟传递

性，不然的话会缺少元素，即等价关系易忽略、还有如果b,d,d,f都是

关系R的元素,则b,f易忽略。

此外，这道题跟老师提到的P81的第25题很相似。大家可以参考一下。

在谓词逻辑中构造下面推理的证明：每个科学家都是勤奋的，每个勤奋又

身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以，存在

着事业获得成功的人或事业半途而废的人。

解：论域：所有人的集合。()：是勤奋的；()：是身体健康