第一节 简单命题的内部分析 第二节 一元谓词演算 第三节 二元谓词演算

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第三、四章 简单命题及其推理（上、下）

第一章 形式逻辑的对象和意义 第二章 概念 第三章 简单命题及其推理 第四章 复合命题及其推理 第五章 归纳推理 第六章 类比推理 第七章 形式逻辑的基本规律

人们在实践的基础上形成了许许多多的反映事物本质属性的概念,并运用这些概念去 反映客观事物。但是逻辑并不去关注这些概念是如何反映客观事物的,它只把它作为形式 抽去出来,把表达了不同概念的同一语词作为研究对象。同样,人们常常不是单纯地运用 孤立的概念进行推理,而是通过概念组成的命题进行思维和交流的

一、判断题(在括号内划“√”或“×”) （ ）1、联结词集合{↓，﹁}是联结词全功能集。 （ ）2、x F(x) →y F(y)是永真式。 （ ）3、 “x+4>0”是简单命题。 （ ）4、集合 A, B，若 A – B＝Φ，则 B＝A。 （ ）5、若 R 为具有自反性的二元关系，则 R 的逆关系也具有自反性

第一节 概念及其特征 一、什么是概念？ 概念是反映对象特有属性或本质属性的思维形式。 1、对象：是指自然界、人类社会、精神领域的各种事物。 2、属性：是指事物的性质、事物与事物之间的关系

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)