[研究生入学考试]离散数学期末复习.ppt

离散数学期末复习 第一章 命题逻辑 1.1 命题与联结词 1.2 命题公式与赋值 1.3 等值演算 1.4 析取范式与合取范式 1.5 命题逻辑的推理理论 1.1 命题与联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词： ?, ?, ?, ?, ?， 优先顺序为：?, ?, ?, ?, ?; 1.2 命题公式与赋值 命题变项与合式公式 公式的赋值 含n个变项的公式有多少个赋值？ 真值表 命题的分类 重言式 矛盾式 可满足式 1.3 等值演算 等值式 基本等值式 等值演算 置换规则 基本等值式 1、双重否定律 : ??A?A 2、等幂律： A?A?A, A?A?A 3、交换律: A?B?B?A, A?B?B?A 4、结合律: (A?B)?C?A?(B?C) (A?B)?C?A?(B?C) 5、分配律: A?(B?C)?(A?B)?(A?C) A?(B?C)? (A?B)?(A?C) 6、德·摩根律: ?(A?B)??A??B ?(A?B)??A??B 7、吸收律: A?(A?B)?A A?(A?B)?A 8、零律: A?1?1, A?0?0 9、同一律: A?0?A, A?1?A 10、排中律: A??A?1 11、矛盾律: A??A?0 12、蕴涵等值式: A?B??A?B 13、等价等值式: A?B?(A?B)?(B?A) 14、假言易位: A?B??B??A 15、等价否定等值式: A?B??A??B 16、归谬论: (A?B)?(A??B) ??A 等值演算与置换规则 等值演算: 由已知的等值式推演出新的等值式的过程。 置换规则：设? (A)是含公式A的命题公式， 若B?A，则? (B)?? (A) . 等值演算的基础： (1)基本的等值式 (2)置换规则 1.4 析取范式与合取范式 简单析取式与简单合取式 析取范式与合取范式 主析取范式与主合取范式 析取范式: 由有限个简单合取式组成的析取式. A1?A2???Ar , 其中A1, A2, ?, Ar 是简单合取式 合取范式: 由有限个简单析取式组成的合取式. A1?A2???Ar , 其中A1, A2, ?, Ar 是简单析取式 例1.1 求(? p?q) ? (p ?r) 的析取范式. 解: (? p?q) ? (p ?r) ? (? ? p?q) ? (? p ?r) （消去?） ? ( p?q) ? (? p ?r) （双重否定律） ?( p?? p)?(q?? p)?( p ? r)?(q ? r) （?对?分配） ?(q?? p)?( p ? r)?(q ? r) （零律,同一律） 极小项:在含有n个命题变项的简单合取式中， 若每个命题变项均以文字的形式在其中出现 且只出现一次，而且第i（1? i ? n）个文字出 现在左起第 i 位上，这样的简单合取式称为 极小项. 如： p ? ?q， p ? ?q ? r 由 p, q, r 三个命题变项形成的极小项: 主析取范式: 由极小项构成的析取范式. A的主析取范式: 与A等值的主析取范式. 例1.2 求下列公式的主析取范式. ( p ? q) ? r 用等值演算法求公式的主合取范式的方法： 主合取范式: 由极大项构成的合取范式. A的主合取范式: 与A等值的主合取范式. 1.5 命题逻辑的推理理论 推理的形式结构 判断推理是否正确的方法 推理定律与推理规则 构造证明法 推理定律——重言蕴涵式 重要的推理定律 1. A T (AúB) 附加 2. (AùB) T A