1命题逻辑a.pdf

西安电子科技大学西安电子科技大学0505级本硕级本硕11班班 学学 离离 散散 数数 立强强 主主讲讲 毛毛立 西安电子科技大学计算机学院 毛立强 1 lqmao@mail.xidian.edu.cn 课程信息 ? 教材： ? 离散数学，方世昌，西电出版社 ? 离散数学习题解答，孙学红，秦伟良，西电出版社 ? 参考书： ? 离散数学，左孝凌等，上海科学技术文献出版社 西安电子科技大学计算机学院 毛立强 2 lqmao@mail.xidian.edu.cn 课程信息 ? 46学时，23次课 ? 作业与辅导： ? 考试：闭卷，与平时成绩加权 西安电子科技大学计算机学院 毛立强 3 lqmao@mail.xidian.edu.cn 课程信息 ? 离散数学是计算机相关专业的重要基础课程，是数 据结构、操作系统、编译原理、数据库系统、算法 分析、人工智能等后续课程的基础。 ? 离散数学是现代数学的一个分支，以离散对象的结 构和相互关系为研究对象。 ? 主要包括数理逻辑、集合论、代数结构和图论四部 分 西安电子科技大学计算机学院 毛立强 4 lqmao@mail.xidian.edu.cn 课程信息 ? 通过学习本课程，掌握基本的离散信息的组织和管 理方法，了解计算机科学的部分理论基础。 ? 强调逻辑性、抽象性，注重概念、方法与应用。 西安电子科技大学计算机学院 毛立强 5 lqmao@mail.xidian.edu.cn 第一章 数理逻辑 ? 逻辑学是一门研究推理规律的科学；数理逻辑就是 用数学方法研究推理规律，这里的“数学方法”是指 引入一套符号体系的方法，所以数理逻辑又称为“符 号逻辑”。 ? 传统的数理逻辑包括“四论一演算”：递归论、公理 化集合论、模型论和证明论，逻辑演算，???前新提 出了很多新的逻辑，如多逻辑、模态逻辑、时序逻 辑、算法逻辑、程序逻辑等等。 ? 本课程主要学习命题逻辑和谓词逻辑。 西安电子科技大学计算机学院 毛立强 6 lqmao@mail.xidian.edu.cn 第一章 数理逻辑 1.1 命题 1.2 重言式 1.3 范式 1.4 联结词的扩充与规约 1.5 推理规则和证明方法 1.6 谓词和量词 1.7 谓词演算的永真公式 1.8 谓词演算的推理规则 西安电子科技大学计算机学院 毛立强 7 lqmao@mail.xidian.edu.cn 命题及其表示法 ? 命题 断言是一陈述语句。一个命题是一个或真或假而 不能两者都是的断言。如果命题是真, 我们说它的真 值为真（T），如果命题是假, 我们说它的真值是假 （F）。 西安电子科技大学计算机学院 毛立强 8 lqmao@mail.xidian.edu.cn 例 1 下述都是命题: ; (a) 今天下雪 ; (b) 3+3=6; (c) 2 是偶数而 3 是奇数; (d) 李自成起义那天, 杭州下雨; (e) 较大的偶数都可表示为两个质数之和。 以上命题, (a)的真值取决于今天的