1.1-1.2命题与联结词资料.ppt

例1.7 解：首先可知p，q，r的真值为1，1，0 于是（1）为 ((?1 ∧ 1) ∨(1 ∧ ?1)) →0 ((0 ∧ 1) ∨(1 ∧ 0)) →0 (0 ∨ 0) →0 0 →0 1 (1)的真值为1 第一部分 数理逻辑 逻辑学是研究思维规律和思维的形式结构的一门学科 。 数理逻辑是研究推理的科学，它运用数学的方法研究思维形式和规律，特别是研究数学中的思维形式和规律。 本部分只介绍数理逻辑的两个主要部分：命题逻辑和谓词逻辑。 数理逻辑的其他内容，如证明论、模型论、递归论、公理集合论不在本课程范围。 §1.1 现代逻辑学 现代逻辑学求助数学——符号化 现代逻辑学追随数学——公理化 现代逻辑学改造数学——形式化 逻辑发展历史——三个阶段 初始阶段：1660年代—19世纪末将数学应用于逻辑 Aristotle：形式逻辑（主词和谓词逻辑）。 Leibniz：建立直观而又精确的思维演算。 George Boole: 逻辑代数。 De Morgan: 关系逻辑。 过渡阶段：19世纪末— 1940前后, 逻辑应用于数学 非欧几何与公理化方法。