[理学]命题逻辑基本概念.pdf

离 散 数 学 数学与计算机科学学院 吴 英 杰 yjwu@fzu.edu.cn 第一部分 数理逻辑 数理逻辑是研究推理（即研究人类思维的 形式结构和规律）的科学，起源于17 世 纪，它采用数学符号化的方法，因此也称 为符号逻辑。 从广义上讲，数理逻辑包括四论、两演 算—— 即集合论、模型论、递归论、证明 论和命题演算、谓词演算，但现在提到数 理逻辑，一般是指命题演算和谓词演算。 本书也只研究这两个演算。 2008-9-15 计算机科学与技术系 2 第一部分 数理逻辑 数理逻辑的创始人是Leibniz ，为了实现把推理 变为演算的想法，他把数学引入了形式逻辑。其 后，又经多人努力，逐渐使得数理逻辑成为一门 专门的学科。 上个世纪30年代以后，数理逻辑进入一个崭新的 发展阶段，逻辑学不仅与数学结合，还与计算机 科学等密切关联。 1931年Godel不完全性定理的提出，以及递归函 数可计算性的引入，促使了1936年Turing机的产 生，十年后，第一台电子计算机问世。 2008-9-15 计算机科学与技术系 3 第一部分 数理逻辑 数理逻辑与计算机科学、控制论、人工智能的相互渗 透推动了其自身的发展，模糊逻辑、概率逻辑、归纳 逻辑、时态逻辑等都是目前比较热门的研究领域。 本篇我们只从语义出发，对数理逻辑中的命题演算与 谓词演算等作一简单的、直接的、非形式化的介绍， 将不涉及任何公理系统。 2008-9-15 计算机科学与技术系 4 第一章 命题逻辑基本概念 本章说明 本章说明 本章的主要内容 – 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类 本章与后续各章的关系 – 本章是后续各章的准备或前提 2008-9-15 计算机科学与技术系 6 第一章 命题逻辑基本概念 1.1 命题与联结词 基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。真值只取两个 值： 真、假。 真命题：真值为真的命题。 假命题：真值为假的命题。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 2008-9-15 计算机科学与技术系 7 第一章 命题逻辑基本概念 例：判断下列句子是否为命题。 1、100是自然数。 2、太阳从西方升起。 3、How do you do ? 4、今年国庆节下小雨。 5、x+39 6、我正在说谎。 7、请不要说谎！ 8、如果周末不下雨，那么我们将去郊游。 9、这朵花真美丽啊！ 2008-9-15 计算机科学与技术系 8 第一章 命题逻辑基本概念 命题及其真值的抽象化 在本书中，用小写英文字母p,q,r,…p ,p ,p …等 1 2 3 表示命题，用“1”、“0”分别表示真值的真、假。 如是： p ：罗纳尔多是球星。 q：5是负数。 p3 ：明天天气晴。 皆为符号化的命题，其真值依次为1、0、1或0 。 2008-9-15 计算机