东北师范大学《离散数学》课件-第三章.pdfVIP

离散数学 第三章 第三章 古典数理逻辑 第一讲 命题定义与联结词 数理逻辑 数理逻辑是用数学的方法研究思维规律的 一门学科，又称为符号逻辑。 数理逻辑为机器证明、自动程序设计、计 算机辅助设计等计算机理论和应用研究提 供必要的理论基础。 古典数理逻辑：命题逻辑和谓词逻辑 — 计算机科学很重要的数学基础。 数理逻辑的创始人 -- 莱布尼茨 (Leibniz, Gottfried Wilhelm) 1646.7.1-1716.11.14 德国数学家、物理学家、哲学家等， 一个举世罕见的科学天才。 研究领域涉及逻辑学、数学、力学、 地质学、法学、历史学、语言学、 生物学以及外交、神学等诸多方面。  出生于德国东部莱比锡的一个书香之家。  1 岁时，进入莱比锡大学学习法律。  17 岁时在耶拿大学学习了短时期的数学，并获 得了哲学硕士学位 。 26 岁设计出世界第一台乘法器，被认为是现代 机器数学的先驱者。  Leibniz(1646 ～1716 年 ) 之梦：有一天所有的 知识，包括精神和无形的真理，能够通过通用的 代数演算放入一个单一的演绎系统。  1693 年，发现机械能的能量守恒定律。  与牛顿并称为微积分的创立者。  系统阐述了二进制记数法，并把它和中国的八卦 联系起来。 §3.1 命题逻辑 3.1.1 命题与公式 3.1.2 命题公式的等价关系和蕴涵关 系 3.1.3 范式 1 命题 所谓命题是指一句有真假意义的话。 例如：上海是中国最大的城市 今天是星期二 所有素数都是奇数 1+1=2 命题用大写英文字母 P,Q,…,P ,P ,…, 1 2 表示。 练练练练练练练练练练练练练练  A. 我不会解答这道题。  B. 严禁吸烟。  C. 我正在说谎。  D. 如果太阳从西方升起，你就可以长生不老。  E. 别的星球上有生物。  F. 几点了？  G. 1960 年长春春城电影院放映了国产故事片“白 毛女”  H. 1+101=110  I. 全体起立！ 如果一个命题是真的 , 称它的真值 是 1, 如果一个命题是假的 , 称它的真 值是 0 也用“ 1” 代表一个抽象的真命题 ， 用“ 0” 代表一个抽象的假 2 逻辑联结词 定义 3.1.1 设 P 是一个命题，命题 “ P 是不对的”称 为 P 的否定，记以 P ，读作非 P 。 真值规定：  P 是真的 iff P 是假的。 例 . P ：吉大是中国最大的大学。  P ：吉大不是中国最大的大学。 Q: 张三是好人。  Q ：张三不是好人。 定义 3.1.2 设 P ， Q 是两个命题，命题 “ P 或者 Q” 称为 P ， Q 的析取，记以 P Q ，读作 P 或 Q 。 真值规定： P Q 是真的 iff P ， Q 中至少有一个是真的 。 例 . P ：今天下雨， Q ：今天刮风。 P 定义 3.1.3 设 P ， Q 是两个命题，命题 “ P 并 且 Q” 称 为 P ， Q 的合取，记以 P Q ，读作 P 且 Q 。 真值规定： P Q 是真的 iff P 和 Q 都是真的。 例 . P ： 22= ， Q ：雪是黑的。 注意： 自然语言中的