离散数学笔记

1.1命题的概念
命题是能分辨真假的陈述句。
注意：客观存在的真假，上帝视角的真假
他的头发有一万根。其他星球上有生物。都是命题

非命题
1.悖论
2.非陈述句
3.含变量的方程

逻辑连接词
否定、合取、析取、条件、双条件
1.2命题公式
命题公式是由原子命题、连接词、括号按规则连接得到的字符串。
命题公式没有进行真值指派，没有真值，故不是命题。
例如P∧Q和原子命题P都是命题公式，而不是命题。

命题的翻译或命题的符号化
将自然语言中表述的命题翻译成命题公式。

命题公式的解释、真值指派，公式含有n个不同的命题变元，则有2^n种不同的真值指派(每一个变元取F/T)
真值表

谓词逻辑
有些问题难以用命题来描述，故引入谓词。
P(x)，大写字母表示谓词，小写字母表示个体。

命题函数
n元命题函数，简称n元谓词，个体变元的论述范围称为个体域或论域。
命题函数不是命题，只有个体变元被个体常量替换后才能成为命题。
零元谓词即是命题，一元谓词刻画个体的性质，二元谓词刻画了个体之间的关系。

量词
全称量词
存在量词

约束变元与自由变元
∀、∃后跟的个体变元为约束变元，其余为自由变元。

集合
集合的运算交并差补
容斥原理
笛卡尔积，有序对的集合

关系，可理解为集合中元素的比较行为
关系的表示和性质
对称，可以无边，有边一定双边
反对称，可以无边，有边一定单边
故存在即是对称又是反对称的关系，即无边，除主对角线以外其他元素为0。
关系的运算
关系的闭包，自反闭包

相容关系与覆盖
什么是最大相容类(一种集合)
每个最大完全多边形是一个最大相容类
完全覆盖是所有最大相容类的集合
不同的覆盖可以构造出相同的等价关系，不是一一对应的

等价关系与划分
等价类是针对每个元素的，每个元素都有一个等价类(一个集合)
所有元素等价类的集合是划分
划分与等价关系一一对应

偏序关系