离散数学名词词典

离散数学概念、理论多而杂，经常出现学完一章后，前面的内容就忘得差不多的情况。对此建立一个离散数学名词词典，方便查询与复习使用。 主要参考书籍：离散数学/李盘林等编著. –3版. –北京：高等教育出版社，2016.2

1 数理逻辑

1.1 命题逻辑

1.1.1 命题与联结词

命题、命题常元、命题变元、联结词（\(\lnot\) \(\land\) \(\lor\) \(\to\) \(\leftrightarrow\)）

1.1.2 命题公式、翻译和真值表

1.1.3 公式分类和等价式

有14条基本等价式_命题定律:

1. 双否律
2. 交换律
3. 结合律
4. 分配律
5. 德摩根律
6. 等幂律
7. 同一律
8. 零律
9. 吸收律
10. 互补律
11. 条件式转化律
12. 双条件式转化律
13. 输出律
14. 归谬律

(持续更新)