数理逻辑（MathematicalLogic）是研究演绎推理的一门学科.pptVIP

第二篇 数理逻辑 数理逻辑（Mathematical Logic）是研究演绎推理的一门学科； 它的主要研究内容是推理，特别着重于推理过程是否正确； 它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。 它的主要研究方法是采用数学的方法来研究数学推理、数学性质和数学基础； 而所谓数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻辑（Symbolic Logic）。 什么是数理逻辑 ？ 用数学的方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制 第二篇 数理逻辑 第3章 命题逻辑 命题逻辑也称命题演算，或语句逻辑。它研究以命题为基本单位构成的前提和结论之间的可推导关系，研究什么是命题？如何表示命题？如何由一组前提推导一些结论？ 命题逻辑的特征： 在研究逻辑的形式时，我们把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。 3.0 内容提要 3.1 本章学习要求 3.2 命题与命题联结词 3.2.1 命题 定义3.2.1 具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。 真值只有“真”和“假”两种，分别用“Ｔ” 或“１” 和“Ｆ” 或“０” 表示。 例3.2.1 太阳是圆的； 成都是一个旅游城市； 北京是中国的首都； 1