01命题逻辑基本概念课件.pptVIP

第1章 命题逻辑基本概念 本章说明 第一部分 数理逻辑 数理逻辑（Mathematical Logic）是研究演绎推理的一门学科； 它的主要研究内容是推理，特别着重于推理过程是否正确； 它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。 它的主要研究方法是采用数学的方法来研究数学推理、数学性质和数学基础； 而所谓数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻辑（Symbolic Logic）。 什么是数理逻辑 ？ 用数学的方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制 第一部分 数理逻辑 第1章 命题逻辑的基本概念 命题逻辑也称命题演算，或语句逻辑。它研究以命题为基本单位构成的前提和结论之间的可推导关系，研究什么是命题？如何表示命题？如何由一组前提推导一些结论？ 命题逻辑的特征： 在研究逻辑的形式时，我们把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。 内容提要 本章学习要求 1.1 命题与联结词 数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。 1.1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（