4_逻辑与证明.ppt

数理逻辑部分 逻辑学(1ogic)是研究人类推理规则（过程）的科学。 逻辑学分为两大流派： 传统逻辑（亚式逻辑） 数理逻辑（符号逻辑） 传统逻辑由亚里士多德创立（故称亚式逻辑） ，它是从日常生活的经验出发，训练我们在生活中如何使用概念，以及如何判断和推理。其推理的主要规则是定言三段论。 数理逻辑(mathematical logic)则是近代由欧美人创立的，使用的都是抽象的数学符号和数学公式，也就是用数学的方法来研究逻辑，所以数理逻辑又叫符号逻辑（symbolic Logic）。 逻辑研究的内容： ——着重于推理过程是否正确； ——着重于语句之间的关系，而不是一个具体语句的内容。 例: 语句1: 所有的数学家都穿凉鞋。 语句2: 任何一个穿凉鞋的人都是代数学家。 语句3: 所有数学家都是代数学家。 从技术上来说， 逻辑并不帮助确定这些语句是否为真; 然而，如果前两个语句为真， 逻辑可以保证语句3也为真。 传统逻辑适用于日常生活中的推理； 数理逻辑则偏重演算，适用于计算机实现推理。 数理逻辑是计算机软件理论技术和硬件逻辑设计、人工智能等学科的重要理论基础。 程序＝算法＋数据 算法＝逻辑＋控制 本课程包含了数理逻辑的两个基础演算(命题演算和谓词演算)，叫作逻辑代数。 4.1 命题逻辑 4.1.1命题的定义与运算 一、命题的概念 推理的构成: 前提