形式逻辑ppt

p 真 真 假
q
如果p， 那么q
真 假 真
Βιβλιοθήκη Baidu
真 假 真
假
假
真
b. 必要条件假言判断：只有p, 才q.
p 真 真
q 真 假
只有p ，才q 真 真
假
假
真
假
假
真
c. 充分必要条件假言判断：有p就有q，没有p就一定 没有q.
p 真 真
q 真 假
p当且仅当 q 真 假
假
假
真
假
假
真
（2）选言判断：选言判断就是断定在几个事物情况 之中至少有一个事物情况存在的判断。选言判断所 包含的判断，叫做选言支。选言支至少有两个。各 选言支之间的关系有相容和不相容两种情形。 a.相容的选言判断的真假可总结如表所示：
形式逻辑
：
主要内容 一. 二. 三. 四. 五. 六. 七. 形式逻辑的研究对象 概念 判断 推理 归纳 形式逻辑的基本规律 形式逻辑VS数理逻辑VS辩证逻辑
第一章：形式逻辑的研究对象
形式逻辑是一门以思 维形式及规律为主要研 究对象，同时也涉及一 些简单的逻辑方法的科 学。
p
q
真 真
真 假
p并且 q（合 取） 真
假
假 假
真 假
假 假
（4）负判断：一个判断p的负判断，就是否定判 断p的那个判断。常用形式有：并非p，并不p；非 p；不是p；p是假的。一个判断p与它的负判断“ 并非p”之间的真假关系如表所示：
p 真 假
并非p 假 真
3.2.4 模态判断
模态判断就是断定事物情况的必然性与可能 性的判断。断定了事物情况必然性的模态判 断，叫做必然判断；断定了事物情况可能性 的模态判断，叫做可能判断。 必然p 反对 必然非p 差 等 可能p 矛 盾 矛 盾 差 等 可能非p
p 真 真 假 假
q 真 假 真 假
p或q（ 析取） 真 真 真 假
b. 不相容的选言判断的真假可总结如下表：
p
q
真 真 假 假
真 假 真 假
要么p，要 么q（析取 ） 假 真 真 假
（3）联言判断：联言 判断就是断定几种事 物情况都存在的判断 。联言判断所包含的 判断叫做联言支。联 言判断的形式可表示 为：p，也q；又p，又 q；p，并且q；不但p ，而且q等。一个真的 联言判断，要求各联 言支都为真，只要有 一个联言支是假的， 联言判断就是假的。 如表所示：
(1) 全同关系：如果所有a 都是b，同时所有b 都是a, 那么a 全同于b. (2) 上属关系：如果所有b 都是a，但是有的a不是b, 那么a 与b就有上属关系，或者说a上属于b. (3) 下属关系：如果所有a都是b，但是有的b不是a，那么a 与b就有下属关系，或者说a下属于b. (4) 交叉关系：如果有的a是b，有的a 又不是b，而且有的 b又不是a，那么a与b就有交叉关系，或者说a交叉与b. (5) 全异关系：如果所有的a都不是b，那么a与b就有全异 关系，或者说a全异于b。
概念必须具有的内容，因而任何一个概念都是有内涵的。 （2）概念的外延是由具有概念所反映的特有属性的事物 所组成的类。虚假事物没有外延，因为在客观世界没有一 个相应于虚假事物的概念。 （3）概念的内涵与外延相互制约，且在数量上呈反比关 系。
2.4 概念间的关系 概念的外延是一个类，所谓两个概念之间的关系，也就 是表现在两个相应的类之间的关系。任何两个概念或两个 类a，b之间，可能有五种关系：
3.2.2 关系判断及其相互关系
关系判断就是断定事物与事物之间的关系的判断。在一个 关系判断中，有三个不同的成分：一个是关系（即谓项） ，一个是关系项（即主项），一个是量项。 （1）关系判断的形式： 关系判断=（量项）+关系前项+关系+（量项）+关系后项 如： 有的 甲班同学 批评 所有 乙班同学 有的 a R 所有 b (2) 关系的对称性、传递性、自返性。 a. 对称性：关系的对称性问题就是研究当一个事物a与 另一个事物b具有R关系时，是否b与a之间也具有R关系。 b. 传递性：关系的传递性问题，就是研究，当一个事物 a与另一个事物b有R关系，并且b又与另一个事物c有R关 系时，是否a与c也有R关系。
第二章：概念
2.1 概念的定义和特征 概念是反映事物特有属性（固有属 性或本质属性）的思维形态。概念 具有抽象性和普遍性。 2.2 概念的种类 概念有单独概念与普遍概念、集合 概念与非集合概念、正概念与负概 念、相对概念与绝对概念之分。 2.3 概念的内涵与外延
（1）概念的内涵就是概念所反映的事物的特有属性，是
3.2.3 复合判断
复合判断是这样的判断， 它包含了其他的判断，并 且它的真假取决于它所包 含的判断的真假。在构成 上，它是由简单判断与逻 辑联项“如果，那么”， “或”，“而且”或“并 非”等构成。复合判断主 要有四种：假言判断，选 言判断，联言判断与负判 断。 （1）假言判断：就是断 定某一事物情况存在是另 一事物情况存在的条件的 判断。 a. 充分条件假言判断： 如果p，那么q.
概念间的5种关系，如图所示：
(1) 全同 (2)上属 (3)下属
b
ab a
(4) 交叉 (5) 全异
b
a
a
b
a
b
第三章 判断
3.1.定义 判断就是断定事物情况的思维形态， 也是对事物情况有所肯定或否定的思 维形态。判断的形式：所有s都是p， 有的s是p。
3.2.判断的分类
判断的分类如图所示：
单称肯定判断
单称否定判断 特称肯定判断 性质判断
简单判断 非模态 判断 模态 复合判断 必然判 断 可能判断
特称否定判断
关系判断 全称肯定判断 假言判断 全称否定判断 选言判断 连言判断 负判断
3.2.1 性质判断及其相互关系
性质判断，就是断定某事物具有（或不具有）某 性质的判断。在性质判断中，表示某事物的那个 概念，叫做主项（S）；表示事物性质的那个概 念，叫做谓项（P）；表示事物与性质之间的联 系的那个概念，叫做联项。联项有肯定与否定之 分；表示所断定的那一类事物的数量的那个概念 ，叫做量项。所以有A、E、I、O四种性质判断： SAP全称肯定：所有S都是P; SEP全称否定：所有S都不是P; SIP 特称肯定：有的S是P; SOP特称否定：有的S不是P.