Seanfly9105的博客

离散数学(二）之特殊关系（内容来自冯伟森《离散数学》教材+课件）等价关系等价关系与等价类等价类的性质划分偏序关系定义哈斯图偏序集的特殊元素全序集与良序集全序集良序集合偏序与全序的转化等价关系等价关系与等价类**1.等价关系：**设R是非空集合A上的一个二元关系，如果R是自反的、对称的和可传递的，称R是A上的一个等价关系。**2.等价类：**设R是非空集合A上的一个等价关系。对每一个a∈ A，记 [a]R={ x | x∈ A，且xRa }，称A的子集合[a]R为关系R的一个等价类， a称为代表元素。

离散数学(二）之谓词逻辑（内容来自冯伟森《离散数学》教材+课件）谓词与量词谓词量词谓词公式及其赋值谓词公式公式的解释谓词公式的类型谓词公式的等价与范式谓词公式的等价谓词演算的基本等价式谓词公式的范式谓词与量词虽然由V、Λ等连接词与原子命题结合可以完成一些命题的逻辑推理，但仅靠命题逻辑仍无法完成所有命题的推理，例如著名的苏格拉底命题“人都是要死的，苏格拉底是人，所以苏格拉底是要死的”，若按命题逻辑翻译为（PΛQ)->R的命题公式，其实并不恰当，因为这三个子命题还有内在联系，用彼此独立的简单的命题标识