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

上海交通大学：《逻辑学导论》课程教学资源（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、推理证明(推理规则)

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容