第1章节 命题逻辑.ppt

第二篇 数理逻辑 逻辑学是一门研究人的思维科学,可分为: ※辨证逻辑：以辨证法认识论的世界观为基础的逻辑学,它研究反映客观世界辩证发展过程的人类思维形态的逻辑学。 ※形式逻辑：研究思维形式结构和规律的学科，是一门工具性学科。 用数学的方法研究形式逻辑中推理规则的理论称为数理逻辑。即以量的形式来研究思维规律。它引入一套符号体系来表示逻辑关系，故此也称符号逻辑。 辩证逻辑 传统演绎逻辑 　　　　　　　　　　　　　　　　　 逻辑学　　　　　传统形式逻辑 传统归纳逻辑 　　　　　　　　　　　 　　　　　　　　　　　　　　 简单逻辑方法 　　　 形式逻辑 　　　　　　　　　　　　　　 现代演绎逻辑（数理逻辑） 　　 　　　　　　　　现代形式逻辑 现代归纳逻辑　　　 　　　　 　　　　　　　　　　　 　　　(归纳、类比、概率统计逻辑等） 　　　　　　　　　 非标准逻辑（模态逻辑等） 　　　　　　　　　　　　　　　 　　　　　　　　 ㈠传统形式逻辑 传统形式逻辑也称普通逻辑,指的是以亚里士多德三段论和培根归纳法为代表的逻辑分支。它研究的对象是日常用的概念、判断和推理等。如直接推理、三段论推理、选言推理、假言推理、枚举归纳、求因果五法等。 特点是使用自然语言来表示判断形式和推理形式。 ㈡现代形式逻辑 现代形式逻辑是指以数理逻辑、语言逻辑和归纳逻辑为代表的逻辑分支。 ①数理逻辑 首先是莱布尼茨提出建立一种类似数学演算的方式来表示思维过程的构想。他这个构想一百年后1847年由英国数学家布尔所建立的逻辑代数实现，后来经过弗雷格、罗素和怀特海的努力下，建立了包括命题逻辑和谓词逻辑两个核心演算的数理逻辑。 ②语言逻辑 语言逻辑包括逻辑语义学和逻辑语用学等，是对人类语言交流中特殊的语言环境和语义要素的深入研究。 ③归纳逻辑 归纳逻辑包括归纳、类比和概率逻辑等，其中概率逻辑实际上是数学概率论在逻辑推理中的应用。为了解决非必然性推理的结论的可靠性问题而引入概率方法来确定推理的可靠性。 在数理逻辑中，它撇开研究对象的实质含义，把直观的内容抽象为形式化，而且仅仅研究其形式关系，这些形式关系是数理逻辑研究的关键。 数理逻辑在计算机科学中的作用: （1）在程序设计中的应用。 （2）在逻辑电路设计中的应用。 （3）在定理证明中的应用。 a.1976年阿贝尔、黑肯的四色定理证明。世界政区图.jpg b.张景中院士的几何题机器证明。张景中.ppt （4）在程序正确性证明中的应用。 第一章 命题逻辑 1.1 命题与联结词 1.2 命题公式 1.3 等价公式 1.4 其他联结词及联结词的完备性 1.5 范式 1.6 蕴含公式 1.7 推理理论 第一节 命题与联结词 1.1.1 命题及其表示 人们的思维活动是靠自然语言来表达的。 然而, 由于自然语言易产生二义性, 用它来表示严格的推理就不合适了。 为了解决这个问题, 在数理逻辑中必须引进了一种形式化的语言。 自然语言的基本单位是句子。 陈述句 自然语句 祈使句 疑问句 感叹句 因为只有陈述句才能够表达对事物有“肯定”或“否定”的思维方式，我们把这种“肯定”和“否定”称为真值（Truth）。例如陈述句“今天下雨”，这是一个判断。如果今天真的下雨，则这个判断的值为真(true)；如果今天没有下雨，则这个判断的值为假（false）。 我们把具有这种特点的句子叫命题，它是形式语言中的基本单位。 定义1-1在数理逻辑中，把能惟一判断真假的陈述句称为命题(proposition)，以命题作为研究对象的逻辑称为命题逻辑(proposition logic)。 命题可能为真，也可能为假。命题的真(ture)、假(false)统称为命题的真值(truth values)。真值为真的命题称为真命题(ture proposition)，记作“1”（也可记作“T”）；真值为假的命题称为假命题(false propos