总复习简要.ppt

总复习 总 复 习 主要内容 第一章 命题逻辑 第二章 谓词逻辑 第三章 集合与关系 第四章 函数 第五章 代数系统 第七章 图论 第一章 命题逻辑 1-1 命题及其表示方法 1-2 联结词 1-3 命题公式与翻译 1-4 真值表与等价公式 1-5 重言式与蕴含式 1-6 其它联结词 1-7 对偶与范式 1-8 推理理论 主要知识点 命题的概念、表示、类型（重言式、矛盾式、可满足式）、联结词的定义 命题变元、命题公式的概念及公式的正确翻译 真值表（2n行）、等价式、蕴含式的概念 常用的等价式、蕴含式 公式的个数（ ）、极小全功能集 对偶式的概念 范式、小（大）项、主合（析）取范式 命题演算的推理方法：真值表法、直接证法（P规则、T规则）、间接证法（反证法、CP规则） 例1: 下面哪些语句是命题 十是一个整数. 真命题 北京是一个村庄. 假命题 我学英语或法语. 复合命题 如果天气好,我就去散步. 复合命题 向右看齐! 不是命题 您吃饭了吗? 不是命题 本命题是假的. 不是命题 例2：试以符号形式写出下列命题 1. 选小王或小李中的一人当班长。 P: 小王当班长。 Q: 小李当班长。 ( P ? ? Q) ? (? P ? Q) 2. 小王是计算机系的学生，他生于1982年，他是一个好学生。 P: 小王是计算机系的学生。 Q: 他生于1982年。 R: 他是一名好学生。 P ? Q ? R 3. 只要我上街，我就去书店看看，除非我很累。 P: 我上街。 Q: 我去书店看看。 R: 我很累。 ? R →(P→ Q) 例3 给出下列公式的真值表 例4 试求下面公式的主析取（主合取）范式，并写出成真指派和成假指派。 例5 例6 试证 例7 试证 例8 某厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年并且工厂经理辞职。问：如果厂方拒绝增加工资，而罢工又刚刚开始，罢工是否能停止？ 例8(续) 解： (1) ?S P (2) ?S ? ? R T 1) (3) ?(R ? S) T 2) (4) P P (5) P ? ?(R ? S) T 3)4) (6) ( P ? ?(R ? S)) → ?Q P (7) ?Q T 5)6) 所以罢工不会停止。 第二章 谓词逻辑 2-1 谓词的概念与表示 2-2 命题函数与量词 2-3 谓词公式与翻译 2-4 变元的约束 2-5 谓词演算的等价式与蕴含式 2-6 前束范式 2-7 谓词演算的推理理论 主要知识点 谓词、量词、个体域。 原子谓词公式、谓词演算的合式公式的概念、谓词公式的翻译。 谓词演算的永真式、可满足式、永假式的概念，常用的谓词演算的等价式和蕴含式。 指导变元、约束变元、辖域和自由变元的概念，约束变元的换名和自由变元的代入。 前束范式的概念及其求解方法。 谓词演算的推理理论——直接证法、间接证法，用于消去、添加量词的规则（US、UG、ES、EG）。 例1 符号化下列命题 a)不是所有的男人都比女人高。 M(x):x是男人，W(x):x是女人，H(x,y):x比y高。 b) 对于每一个实数x,存在一个更大的实数y。 R(x):x是实数，G(x,y):x大于y， (?x)(R(x) ? (?y)( F(y) ? G(y,x)) c)有些大学生不钦佩运动员。 S(x):x是大学生，L(x):x是运动员，A(x,y):x钦佩y。 (?x)(S(x) ? (?y)(L(y) ? ?A(x,y))) 例2 把下式化为前束范式 例3 证明 例4 符号化下列命题并推证其结论 任何人如果他喜欢步行，他就不喜欢乘汽车，每一个人或者喜欢乘汽车或者喜欢骑自行车。有的人不爱骑自行车，因而有的人不爱步行。 第三章 集合与关系 3-1 集合的概念和表示法 3-2 集合的运算 3-4 序偶与笛卡尔积 3-5 关系及其表示 3-6 关系的性质 3-7 复合关系和逆关系 3-8 关系的闭包运算 3-9 集合的划分和覆盖 3-10 等价关系与等价类 3-12 序关系 主要知识点 集合和元素的概念、表示、关系（属于和不属于）。 全集、空集、幂集。 集合的势、有限集、无限集的概念。 集合间的关系：相等、包含（子集）、真包含（真子集）的概念。 集合的运算：并、交、差（相对补）、绝对补、对称差的概念及性质。文式图及应用。 主要知识点（续） 序偶（元组）、n元组、笛卡尔积的概念及性质。 二元关系的概念、表示方法（集合表示、关系矩阵和关系图）