离散数学笔记

集合论

元素
集合：大量元素组成，元素可以互不相关

集合的运算

或运算：在A或在B 可兼容或，不可兼容或
交运算：在A又在B
减运算：在A不在B
对称差：在A不在B 或 在B不在A

运算定律

交换律，结合律，分配律

数理逻辑

命题逻辑

命题：

1. 陈述句
2. 可判断真假
3. 真值唯一，0（假命题）或1 （真命题）

命题常元：
命题变元：
文字：命题变量/非命题变量
析取式：有限个文字的析取
合取式：有限个文字的合取
析取范式：有限个合取式的析取
合取范式：有限个析取式的合取
主析取范式： 析取范式的基础上，每个文字依次出现。令句子规范化。每个析取范式内，文字不够合取1。
主合取范式： 如上。每个合取范式内，文字不够析取0。

范式的求解

1. 把蕴含，当且仅当改为非，与，或
2. 否定联结词移到命题变元前端
3. 转化为合取式的析取/析取式的合取

极大项M：
极小项m：

</