微机原理与接口技术作者毛红旗第1-2章课案.pptVIP

第1篇 数 理 逻 辑 第1章 命 题 逻 辑 1.1命题与联结词 1.1.1命题 1.1.2联结词 1.2命题公式及其赋值 1.2.1命题公式 * * 莱布尼兹（Leibniz）在17世纪提出逻辑数学化的思想，但直到1930年，Godel完全性定理的证明完善了数理逻辑基础。现代数理逻辑包括公理集合论、证明论、模型论和递归论四个分支。本篇讲述数理逻辑中最基本的命题逻辑和谓词逻辑，其与计算机科学是密切相关的。首先讨论判断（即命题），对推理规律进行学习，即从命题演算开始，然后再深入命题的内部从而引入谓词，讨论谓词逻辑 逻辑学(logic)是研究人类推理过程的科学，数理逻辑（mathematical logic）则是用数学的方法来研究逻辑问题的一个数学分支，它把逻辑学所涉及的“概念、判断、推理”符号化和形式化。所以数理逻辑又称符号逻辑。 什么是命题？直观地讲，能判断真假的陈述句称作命题。对于给定句子判断是否为命题，首先要看其是否为陈述句，其次判断它是否有唯一的真值。如果命题陈述的事情发生了或者与人们公认的客观事实相符就判断为真，则称其为一真命题，并说此命题的真值为真，否则称为假命题，并说此命题的真值为假。所以这里一个命题要么为真，要么为假，二者必居其一。由于命题只有两种真值，所以称这种逻辑为二值逻辑。真值只有“真”、“假”两种，记作Ture和False,分别用符号T