1.A数理逻辑复习.pdf

离散数学 Discrete Mathematics 第一章 数理逻辑—复习 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 什么是数理逻辑 逻辑：是对人类推理过程的研究。 数理逻辑：是用数学的方法对人类推理过程 作研究。 数学研究方法：使用符号 数理逻辑应用 计算机科学的核心算法 程序设计语言 程序设计方法学 计算复杂性理论 2011-1-10 离散数学 2 数理逻辑及其位置 2011-1-10 离散数学 3 学习内容 学习内容 定义 定理 掌握技能 命题的表示与计算 命题公式的变形与化简 等价命题证明 重言式证明 命题的推理 2011-1-10 离散数学 4 1.1命题 要求：命题的表示、运算及真值表证明方法 2011-1-10 离散数学 5 1.1命题-逻辑连接词 5种基本连接词:否定、合取、析取、蕴含、 等值 定义方式：如果P和Q是命题，则P__Q也是 一命题，记作___,称为P和Q的___,读做__. 合取 并且 P∧Q 合取 P与Q或P并且Q 析取 或 P∨Q 析取 P或Q 蕴含 蕴含 P→Q 蕴含式 P蕴含Q或如果P,那么Q ↔ 等值 等值于 P Q 等值式 P等值于Q 真值表及运算规则，尤其是优先级(课后4.1) 2011-1-10 离散数学 6 1.1.2命题-蕴含词 P→Q, 则P称为前提、假设或前件，Q称为 结论或后件。 多种表示方式 若P,则Q；Q每当P；P仅当Q P是Q的充分条件；Q是P的必要条件 关联命题 逆命题 Q →P 反命题 P→ Q 逆反命题 Q→ P 2011-1-10 离散数学 7 1.1命题—真值表 Q-(P-Q)-P(习题5.1) 注意事项： 命题变元按照字母顺序写 命题变元的真值的变化顺序(2进制增加顺序) 写出计算的中间过程 一定要写出所有的指派(n个变元的话,2n行) 2011-1-10 离散数学 8 1.1习题 命题的表示 1,2,3题 命题的运算 4，5 命题公式相关的证明(真值表技术) 6，7，8，9，10 讲解4.1 5.1 常见错误 2.1,2.2，7 思考题 写出3.1的真值表，并说明何时为真 2011-1-10 离散数学 9 1.2重言式