离散数学复习

集合论：
集合 是有指定范围内的满足给定条件的所有对象聚集在一起构成，每一个对象称为这个集合的元素。
从朴素集合论 到 公理化集合论 (罗素悖论：S由一切不是自身元素的集合所组成，那S包含S）
用大写英文字母 表示集合。
用小写英文字母表示元素。
属于关系，不属于关系。
集合表示方法，枚举法（可以带省略号，必须有规律）， 叙述法(P = {x|P(x)}，文氏图（方形或圆形表示集合，圆点表示元素）。
基数（base number） 集合A中元素的个数，记为|A|
有限集（finite set）与无限集（infinite set）
空集（empty set） ∅
全集（universal set） U 或 E（针对一个具体范围）
性质： 无序， 不同 ，（无序性 互异性 确定性（属于或者不属于集合，二者必居其一））
集合的关系： 相等，包含 A⊆B，子集
基数为n的集合，子集个数是2^n;
幂集： A所有不同子集构成的集合 P(A) = {x| x⊆P }
集合的运算：并集，交集，补集，差集，对称差集（⊕）（属于A不属于b 或 属于b不属于A）
运算定律：
幂等律 A∩A = A A∪A = A
交换律 结合律 同一律 零律 分配律 吸收率 矛盾律 排中律 双重否定律 德摩根律
自然数集
等势:设A，B为两个集合，若在A，B之间存在一种一一对应的关系：A–>B 则称A与B是等势的，记作A∽B
凡是与自然数集合N等势的集合，称为可数集合（countable set） 该集合的基数记为阿列夫零。
开区间(0,1)称为不可数集合，凡与开区间（0,1）等势的集合，称为不可数集合，该类集合的基数记为阿列夫一。实数集都是不可数集合。
数理逻辑：
命题：具有确切真值的陈述句称为命题。
复合命题
否定连接词 合取连接词 析取连接词 蕴含连接词 等价连接词
可兼或与不可兼或
联结词是两个命题真值之间的联结,而不是命题内容之间的连接,因此复合命题的真值只取决于构成他们的各简单命题的真值,而与它们的内容无关,与二者之间是否有关系无关。
五个连接词的优先顺序为，否定，合取，析取，蕴含，等价；
括号优先级最高！ 同级连接词，从左往右。
永真公式 重言式 在所有解释下真值都为真；
永假公式 矛盾式 不可满足公式
可满足公式：不是永假
命题公式等价 所有解释，真值结果都相同，说明等价。

命题变元或命题变元的否定称为文字。
有限个文字的析取称为简单析取式（或子句）
有限个文字的合取称为简单合取式（或短语）
有限个简单合取式的吸取式称为析取范式
有限个简单析取式的合取式称为合取范式
范式存在定理：对于任意一个命题公式，都存在与其等价的析取范式和合取范式。
范式不唯一。
在含有n个命题变元P1, P2, P3… , Pn的短语或子句中, 若每个命题变元与其否定不同时存在,但二者之一恰好出现一次且仅一次,并且出现的次序与P1,P2, P3,… ,Pn 一致,则称此短语或子句为关于P1,P2, P3,… ,Pn的一个极小项或极大项。
没有两个不同的极小项是等价的。
极小项编码：命题变元与1对应，命题变元的否定与0对应。
没有两个不同的极大项是等价的。
每个极大项只有一组成假赋值，编码规律：命题变元与0对应，命题变元否定与1对应。
在给定的·析取范式中，若每一个短语都是极小项，且按编码从小到大的顺序排列，则称该范式为主析取范式。
在给定的合取范式中，若每一个子句都是极大项，且按照编码从小到大的顺序排列，则称该范式为主合取范式。
每一个公式都有与之等价的主析取范式和主合取范式。
范式求解方法： 公式转换法， 真值表法。
所谓推理，是指从一组前提合乎逻辑的推出结论的思维过程。
谓词逻辑的四类符号
常量符号 变量符号 函数符号 谓词符号
自由变元和约束变元 闭式