计算机数学基础第6章 数理逻辑初步.pptxVIP

第6章 数理逻辑初步 数理逻辑又称为符号逻辑、理论逻辑，是用数学方法研究逻辑或形式逻辑的学科。所谓使用数学方法是指使用符号和公式，使用已有的数学成果和方法，特别是使用形式的公理方法。数理逻辑的主要分支包括：逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。如今，数理逻辑是数学基础的一个不可缺少的组成部分，也是现代计算机技术的基础，在程序验证、程序变换、程序综合、软件形式说明、程序设计语言的形式语义学、人工智能等方面都应用了数理逻辑的概念、方法和理论。 命题逻辑是数理逻辑的最基础部分，是研究以命题为基本单位构成的前提和结论之间的可推导关系。本章主要讲解命题逻辑的相关内容。第6章 数理逻辑初步6.1 命题与联结词 6.2 命题公式分类与关系 6.3 联结词的扩充与全功能联结词集6.4 公式标准型——范式 6.5 命题逻辑的推理理论 【例6-1】判断下列语句是否为命题（1） 北京是中国的首都；（2） 所有的树木都是植物；（3） 雪是黑色的；（4） 请勿吸烟！；（5） 明天开会吗？解 (1)—(3)是命题，其中(1)，(2)是真命题，(3)是假命题；(4)是祈使句；(5)是疑问句，它们都无真假可言，因此它们都不是命题。 一个语句本身是否能分辨真假与我们是否知道他的真假是两回事。对于一个句子，有时我们可能无法判断它的真假，但它本身确实有真假，那么这个语