第1章 命题逻辑.ppt

第一部分 数理逻辑（Mathematical Logic) 逻辑：是研究推理的科学。公元前四世纪由希腊的哲学家亚里斯多德首创。作为一门独立科学，十七世纪，德国的莱布尼兹(Leibniz)给逻辑学引进了符号, 又称为数理逻辑(或符号逻辑)。 逻辑可分为：1. 形式逻辑（通过数学方法） 数理逻辑 2. 辩证逻辑 指引进一套符号体系的方法。 辩证逻辑是研究反映客观世界辩证发展过程的人类思维的形态的。 第一部分 数理逻辑（Mathematical Logic) 形式逻辑是研究思维的形式结构和规律的科学，它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。 数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科。它的创始人Leibniz，为了实现把推理变为演算的想法，把数学引入了形式逻辑。其后，又经多人努力，逐渐使得数理逻辑成为一门专门的学科。 上个世纪30年代以后，数理逻辑进入一个崭新的发展阶段，逻辑学不仅与数学结合，还与计算机科学等密切关联。 第一部分 数理逻辑（Mathematical Logic) 1931年Godel不完全性定理的提出，以及递归函数可计算性的引入，促使了1936年Turing机的产生，十年后，第一台电子计算机问世。 从广义上讲，数理逻辑包括四论、两演算——即集合论、模型论、递归论、证明论和命题演算、谓词演算，但现在提到数理逻辑，一般是指命题演算和谓词演算。本书课程只研究这两个演算。 第一部分 数理逻辑（Mathematical Logic) 数理逻辑与计算机学、控制论、人工智能的相互渗透推动了其自身的发展，模糊逻辑、概率逻辑、归纳逻辑、时态逻辑等都是目前比较热门的研究领域。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法(Proposition and Its Expression) 1.2 逻辑联结词(Logical Connectives) 1.3 命题公式与翻译(Propositional Formula Its Translation) 1.4 真值表与等价公式(Truth Tables and Prepositional Equivalences) 第一章 命题逻辑（Propositional Logic） 1.5 重言式与蕴含式(Tautology and Implication ) 1.6 其它联结词(Other Connectives) 1.7 对偶与范式(Dual Normal Form) 1.8 推理理论(Inference Theory ) 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 1.1.1 命题 1.1.2 命题的表示方法 1.1.3 命题的分类 第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法 1.1.1 命题（Proposition) 数理逻辑研究的中心问题是推理（inference),而推理的前提和结论都是表达判断的陈述句，因而表达判断的陈述句构成了推理的基本单位。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 100是自然数。 (2). 太阳从西方升起。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 (3). 3+3=8 . F (4). How do you do ? 疑问句，不是命题 (5). 明年的十月一日是晴天。是命题，其真值到明年十月一日方可知道。 (6). x+39 不是命题 (7). 我正