当前位置：文档之家 › 形式逻辑ppt

形式逻辑ppt

  • 格式：ppt
  • 大小：587.50 KB
  • 文档页数：31

下载文档原格式

  / 31

合集下载

形式逻辑第三章简单命题及其推理 ppt课件

形式逻辑第三章简单命题及其推理 ppt课件
例：规律是不以人的意志为转移的
任何困难不是不能克服的 ▪按量分：单称判断、全称判断和特称判断（根据“主 项”）
例：单称判断（主项是单独概念）：哥白尼是日心说的创立 者；
全称判断（主项是普遍概念且前有“所有、个个、全部 等”）：所有行星都不发光；
▪ 特称判断（判定某类事物中有对象具有或不具有 某种性质的命题）。
况的真实命题； ▪ 推理的前提和结论间的关系是符合思维规律的
要求的，即它们之间必须具有一定的逻辑联系。
Байду номын сангаас
▪ 6.推理的种类： ▪ 演绎推理（从一般到特殊）、归纳推理（从特
殊到一般）、类比推理（从特殊到特殊）（思维 进程的方向不同）
▪ 必然性推理（真前提必然推出真结论）和或然 性推理（前提真，但结论可真可假）
四部分组成。
变项
常项
▪ 主项：反映判断对象的概念；
▪ 谓项：反映判断对象的性质的概念
▪联项：表述对象和性质之间的联系，肯定联项用“是”表 示，否定联项用“不是”表示。
▪量项：表示所断定的一类对象的数量范围的那个概念，分 全称量项（所有）和特称量项（有的）
▪3.性质判断的分类 ▪按质分：肯定判断＆否定判断（依据“联项”）
第三章
简单命题及其推理（上）
第一节 命题和推理的概述
▪ 一、命题和判断 ▪ 1.联系：命题是判断的语言表达，判断是对事物
情况有所断定的一种思维形式。 ▪ 2.区别：判断的逻辑特征 ▪ （1）有所断定 ▪ （2）客观上不是真的就是假的。 ▪ 3.凡是判断都是命题，但不是一切命题都是判断，
只有当命题加上断定成分后才能成为判断。 ▪ 4.普通逻辑把“真”和“假”作为判断的两个值，
▪ 按质量结合分（把单称判断当作全称判断处理）

出版专业基础知识之形式逻辑常识(初级)67页PPT

出版专业基础知识之形式逻辑常识(初级)67页PPT
三大门类 C.同一律、矛盾律、排中律是逻辑思维的基本
规律 D.概念、判断、推理、论证是四种基本的思维
形式
考试内容
概念的基本知识
纠正运用概念时的常 犯错误
判断的基本知识
纠正运用判断时的常 犯错误
推理的基本知识
纠正运用推理时的常 犯错误
论证的基本知识
纠正运用论证时的常 犯错误
几种主要判断类型
简单判断
判断
复合判断
性质判断
关系判断
联言判断 选言判断 假言判断 负判断
性质判断
性质判断是断定某对 象具有或不具有某种 属性的判断。如：
①所有的犯罪行为都是有社 会危害性的。
②未满14周岁的人不是承担 刑事责任的主体。
性质判断由主项、谓 项、量项和联项四部 分组成。
划分错误
混淆根据 多出子项和划分不全 子项相容
57. 下列对概念的划分中，符合概念划分 规则的是（ ）。（09年）
A. 文房四宝指笔、墨、纸、砚 B. 直系亲属指父母和子女 p293 C. 开学时，我们购买了纸、笔、圆规、直尺
和课本等文具 p293 D. 词典分为语文词典、专科词典和综合性词
单称肯定判断 单称否定判断 特称肯定判断 特称否定判断 全称肯定判断 全称否定判断
第一节 概念
第二节 判断
第三节 推理
第四节 论证
第五节 逻辑思维的

基本规律
在社会实践中，人们首 先产生概念，然后运用 概念进行判断和推理。
概念和判断是推理的基 础。
论证是综合运用概念、 判断和推理进行思维的 过程。
63．下列关于逻辑知识的说法，错误的有 ( )。（2019年）

大学老师课件《形式逻辑》形式逻辑总复习

大学老师课件《形式逻辑》形式逻辑总复习
推理规则：形式逻辑有一套完整的推理规则，这些规则规定了如何从已知的前提推出结论。
命题逻辑的基本概念
命题逻辑的定义 命题逻辑的符号 命题逻辑的公式 命题逻辑的推理规则
命题逻辑的推理规则
• 定义：命题逻辑是一种基于命题的逻辑，它研究命题之间的推理关系。
• 推理规则： - 蕴含式推理：如果P蕴含Q，则P为真时Q也为真。 - 析取式推理：如果P析取Q， 则P或Q至少有一个为真。 - 否定式推理：如果P为假，则Q为真。 - 条件式推理：如果P为真且 Q为真，则R为真。 - 双条件式推理：如果P当且仅当Q，则P和Q同时为真或同时为假。
定义：命题 逻辑是一种 基于命题的 逻辑，它研 究命题之间 的推理关系。
证明方法： 通过使用 公理、定 理和推理 规则来证 明命题的 正确性。
公理：是 不需要证 明的基本 命题，它 们是命题 逻辑的基 础。
定理：是由 公理和推理 规则推导出 来的命题， 它们是命题 逻辑的结论。
推理规则： 是用于推 导新命题 的规则， 它们是命 题逻辑的 工具。
归纳逻辑的应用场景
科学发现和理论形 成
法律审判和决策制 定
商业分析和市场预 测
教育教学和知识传 递
数理逻辑的基本概念
数理逻辑的定义
数理逻辑的历史发 展
数理逻辑的基本符 号与运算
数理逻辑的推理规 则与证明方法
ቤተ መጻሕፍቲ ባይዱ
集合论的基本概念
集合论的起源与发 展
集合的定义与性质
集合的运算与关系
集合论在数学中的 应用
汇报人：PPT
添加标题
归纳逻辑的应用：归纳逻辑在各个领域都有广泛的应用，例如在科学研究中通过对大量实验数据的 分析和归纳，得出科学规律；在法律领域通过对大量案例的分析和归纳，得出法律原则和规则等。

形式逻辑学全套 ppt课件

形式逻辑学全套 ppt课件
例如： “江西理工大学是公办全日制普通高校” “人往高处走，水往低处流”
其中：“公办”、“全日制”、“普通”、“高校”、 “高处”、“低处”等均是思维的内容
第一章 绪论
第一节 思维的内容和形式 二、思维的形式
思维的形式是概念、判断、推理
其中：概念主要表达属性 判断主要表达关系 （以上的属性和关系均为已知现实存在的） 推理表达由已知的属性和关系得出过去或未来的属
第二章 概念
第一节 概念概述 二、概念和语词
1、概念和语词的区别 （1）概念具有全人类性，而语词具 有地域性、民族性和时代性
第二章 概念
第一节 概念概述
二、概念和语词
1、概念和语词的区别
（2）有的语词表达概念，有的语词 不表达概念
一般而言，实词表达概念，虚词不表达概念，也存 在多个语词表达一个概念的情况 例如： “鲁迅是在文化战线上，代表全民族的大多数，向着 敌人冲锋陷阵的最正确、最勇敢、最坚决、最忠诚、 最热忱的空前的民族英雄”
念的外延
第二章 概念
第二节 概念的内涵和外延 三、内涵和外延的反变关系
4、反变关系 在具有属种关系的概念之间，存在：
内涵增加，外延缩小；反之亦然
的规律
第二章 概念
第二节 概念的内涵和外延 三、内涵和外延的反变关系
不同语词的不同 概念的反变关系
古代长篇小说
第二章 概念
第二节 概念的内涵和外延 三、内涵和外延的反变关系
爷爷：我爸爸怎么是猴子？ 孙子：老师说人的祖先是猴子
第二章 概念
第一节 概念概述 三、概念和语词方面的逻辑错误
同一语词可表达不同概念为偷换概念提供了可能性 1、无意的偷换概念
第二章 概念
第一节 概念概述 三、概念和语词方面的逻辑错误

形式逻辑学课件

形式逻辑学课件
归纳论证是从个别实例中概括出一般结论的推理 方法。
演绎论证
演绎论证是从一般到个别的推理方法，它基于普 遍接受的规则或原理来得出特定结论。
因果论证
因果论证是通过确定事件之间的因果关系来进行 推理的方法。
非形式逻辑的应用领域
法律领域
非形式逻辑在法律领域中用于分析和评估证据、论点和判决。
商业领域
非形式逻辑在商业决策、市场分析和广告策划中用于评估信息和 制定策略。
亚里士多德是古典形式逻 辑的奠基人，他的逻辑理 论至今仍有深远影响。
现代逻辑学
19世纪末至20世纪初，数 理逻辑的兴起为形式逻辑 学带来了新的发展机遇。
符号逻辑
随着符号逻辑的发展，形 式逻辑学在数学、计算机 科学等领域的应用越来越 广泛。
02
命题逻辑
命题及其性质
总结词
理解命题的概念和性质是学习命题逻辑的基础。
词项是形式逻辑学中的基本概念，指具有确定内涵和外延的思维形态。根据内涵和外延是否明确，词 项可以分为单独词项、普遍词项和空词项。
直言命题及其推理
总结词
命题形式与推理规则
详细描述
直言命题是表达事物性质或事物之间 关系的命题，包括量项、主项、谓项 和联项。直言命题的推理包括对当关 系推理、换质推理、换位推理等。
命题逻辑的公理系统
总结词
公理系统是形式逻辑学中重要的组成部分，为推理提供了基 础和依据。
详细描述
公理系统包括一组基本规则和公理，用于推导其他命题。在 命题逻辑中，常用的公理系统包括自然推理系统和集合论系 统等，这些系统为推理提供了严密的形式化基础。
03
词项逻辑
词项及其性质
总结词
定义与分类
详细描述

形式逻辑——第二章

形式逻辑——第二章

所谓事物的特有属性是指一类事物独有而他 类事物都不具有的那些属性。 类事物都不具有的那些属性。 是一类事物和其他事物区别开来的那些属性。 是一类事物和其他事物区别开来的那些属性。 2、概念是对客观事物的间接的、概括的反映， 、概念是对客观事物的间接的、概括的反映， 不是对客观事物直接的形象的反映。 不是对客观事物直接的形象的反映。 概念的最基本特征是它的 概念的最基本特征是它的抽象性和概括性。
第二章 概念
17
欧拉图是瑞士数学家欧拉（ 欧拉图是瑞士数学家欧拉（1707-1783）提出的运 ） 用圆圈图形来表示概念外延间的各种关系的图解， 用圆圈图形来表示概念外延间的各种关系的图解， 是帮助人们理解概念之间关系的直观工具。 是帮助人们理解概念之间关系的直观工具。 欧拉是18世纪数学界最杰出的人物之一 世纪数学界最杰出的人物之一， 欧拉是 世纪数学界最杰出的人物之一，他不但 为数学界作出贡献， 为数学界作出贡献，更把数学推至几乎整个物理 的领域。 的领域。 此外，他是数学史上最多产的数学家， 此外，他是数学史上最多产的数学家，写了大量 的力学、分析学、几何学、变分法的课本， 的力学、分析学、几何学、变分法的课本，《无 穷小分析引论》 ），《 穷小分析引论》（1748），《微分学原理》 ）， 微分学原理》 ），以及 （1755），以及《积分学原理》（1768-1770）都 ），以及《积分学原理》 ） 成为数学中的经典著作。 成为数学中的经典著作。
《形式逻辑》课件
第二章 概念
21
四、交叉关系
S P
交叉关系
S、P是两个不同的概念。 、 是两个不同的概念 是两个不同的概念。 的外延有一部分并且只有一部分与P的外延重 当S的外延有一部分并且只有一部分与 的外延重 的外延有一部分并且只有一部分与 合，S和P之间就具有交叉关系。 和 之间就具有 共产党员” 大学生” 如：“共产党员”和“大学生”等。 以上四种关系是相容关系。

07第七讲 三段论 形式逻辑

07第七讲 三段论 形式逻辑

******
2）狮子是猫科动物， 猫科动物是哺乳动物， 所以狮子是哺乳动物， 哺乳动物是脊椎动物， 所以狮子是脊椎动物。 A sorites is a chain of categorical syllogisms in which the immediate conclusions have been left out. 前进式（大项不变） 后退式（小项不变） ******
第一格：典型格、完善格。第二格:称为区别格。 第三格：反驳全称命题。 第四格:没有实际作用。 割发代首 真假母亲 你头上有角 你是狗 ******
四、复合三段论和省略三段论(Sorites and Enthymemes) 1、复合三段论
例： 1）四边形是多边形， 平行四边形是四边形， 所以平行四边形是多边形， 菱形是平行四边形， 所以菱形是多边形， 正方形是菱形， 所以正方形是多边形。
1）基本的法律都是由全国人民代表大会讨论通过的， 刑法是基本的法律， 所以，刑法是由全国人民代表大会讨论通过的。 2）故意杀人罪都是非法故意剥夺他人生命的行为， 某甲的行为不是非法故意剥夺他人生命的行为， 所以，某甲的行为不是故意杀人罪。 3）过失犯罪是没有犯罪动机的， 过失犯罪是犯罪， 所以，有些犯罪是没有犯罪动机的。 4）国务院制定的（法律文件）是行政法规， 行政法规是法律（广义）， 所以，有些法律是国务院制定的。
MAP MES SOP
MEP MAS SEP
PEM MIS SOP
PAM MAS SEP
三、三段论的有效式与各格规则。
1、 各格有效式： 第一格：AAA, AAI, AII, EAE, EAO, EIO； 第二格：AEE, AEO, AOO, EAE, EAO, EIO； 第三格：AAI, AII, EAO, EIO, IAI, OAO； 第四格：AAI, AEE, IAI, EAO, EIO, AEO。 2、 各格规则： 3、 各格的地位：

形式逻辑 第十一章 论证 教学PPT课件

形式逻辑 第十一章 论证 教学PPT课件
根据假言推理的否定式，从否定谬误的推断到否定反论题 的真实的一种方法。 ▪ 谬误的推断有三种
• 推断本身与实际不符,或与已知的真理相悖 • 推断本身自相矛盾 • 推断与其所依据的假定相矛盾
▪ 穷举法：列举出除我们所要论证的论题外还可能成立的 其他各种不同论题，然后根据事实或推理将这些不同论 题一一予以否定，从而证明我们所要论证的论题为真的 一种方法。
➢违反这条规则，会犯“推不出”的逻辑错误，常见形式： ▪ 1、证明中采用的推理形式不正确 ▪ 2、论据和论题不相干 ▪ 3、以人为据 ▪ 4、以相对为绝对
【例】有人说：“这人个子这么高，一定是个篮球运动 员。”这一论证中包含的推理形式： 篮球运动员都是高个子 此人是高个子
所以，他是篮球运动员
➢违反三段论的推理规则，“中项不周延”的逻辑错误。
▪ 确定思想真伪的两条途径：
➢实践论证：通过人的变革物质世界的积极活动（实践），来 检验思想与它所反映的事物是否一致。
➢逻辑论证：引用一些真实性已经确定的命题，通过推理来判 明或确定另一个命题真假的思维过程。
✓证明：判明或确定另一命题的真 ✓反驳：判明或确定另一命题的假
▪ 相对于实践论证来说，逻辑论证始终是第二位的，直接或间接 地以实践论证为基础。
➢论据不真实，还表现为“预期理由”错误：在论证时所用 的论据本身是一些真实性尚未得到论证的判断。
【例】为了论证“火星上有人”，提出论据：“用望远镜 观察火星，可以发现上面有不少有规则的条状阴影，而这 就是火星人开凿的运河”，因此得出结论：“火星上有 人。”
✓论据“火星上的有规则的条状阴影是火星人开凿的运河”， 这个判断本身是否真实还未确定。
▪ 诡辩：故意违反逻辑规律的要求或逻辑规则而出现的逻辑错 误。

大学老师课件《形式逻辑》形式逻辑总复习

大学老师课件《形式逻辑》形式逻辑总复习
实例二
某人在论证“所有汽车都是黑色的”时，以“我见过的所有 汽车都是黑色的”为例，这是典型的因果逻辑谬误中的以偏 概全。
06
应用实例分析
科学推理中的逻辑应用
科学推理中的逻辑应用
在科学研究中，形式逻辑被广泛应用于推理和论证。例如，在生物学中，通过观察和实验得出的结论需要经过严密的 逻辑推理才能被接受。在物理学中，公式和定理的推导也需要遵循逻辑规则。
科学实验的设计与实施
科学实验的设计和实施过程需要遵循逻辑原则，以确保实验的可靠性和可重复性。实验的变量需要合理控制，实验结 果需要经过统计分析，并排除其他可能的干扰因素。
科学理论的构建与评估
科学理论的构建需要基于大量的事实和证据，通过逻辑推理形成完整的理论体系。理论的评估也需要基 于事实和实验结果，通过逻辑推理进行验证和修正。
感谢观看
03
形式逻辑在数学、计算机科学、语言学等领域有着 广泛的应用。
形式逻辑的重要性
形式逻辑是理解和分析推理过程 的基础，有助于我们更好地理解
和运用推理。
在科学研究和日常生活中，形式 逻辑的应用可以帮助我们避免逻 辑错误，提高推理的准确性和可
靠性。
形式逻辑对于培养逻辑思维和批 判性思维具有重要意义，有助于
命题逻辑
命题的分类
简单命题
不包含其他命题作为其组成部分的命题，如“ 所有人都会死亡”。
复合命题
由简单命题通过逻辑联结词组合而成的命题， 如“如果天下雨，那么地上湿”。
真值命题
陈述事物实际情况的命题，如“今天是周三”。
复合命题及其推理
条件推理
根据前件和后件之间的条件 关系进行推理，如“如果P， 则Q”。
间接推理
通过两个或多个前提推出另一个结论 的推理，例如：所有人都会死，苏格 拉底是人，所以苏格拉底会死。

形式逻辑主谓项分别相同的AEIO四种命题的真假 ppt课件

形式逻辑主谓项分别相同的AEIO四种命题的真假 ppt课件

8
AL与OGE之O 间的真假关系为： （一）A真时，E必假 A真时，说明某车间所有产品中没有
不合格的，这样，E必然假。
（二）E真时，A必假 E真时，说明某车间所有产品中没 有合格的，这样，A必然假。
9
L（O三GO）A假时，E可真可假
A假时，有两种可能情况：
不
①某车间所有产品都是
合格 不合格的，这样， A假，E真。
38
例如：
LOGO
单称肯定命题：
鲁迅是《阿Q正传》的作者。
单称否定命题： 鲁迅不是《阿Q正传》的作者。
这两个命题的真假关系只能是矛 盾关系，而不是反对关系。
39
LOGO
第二：我们讲的直言命题的真假关 系，是建立在主项所指称的对象是实际 存在的基础之上的。
如果命题的主项是建立在虚概念 （即主项指称的对象在现实中不存在）， 那么命题之间的真假关系就不能成立。
合格 不合格
19
（四）O假时，A必真
LOGO
合格
O假，A必真
O假时，说明某车间所有产品中没 有不合格的，这样，A必然真。
20
LOGO
四、E与I之间， 是不能同真、不能同假的矛盾关系
例如： E：某车间所有产品都不是合格的。 I：某车间有的产品是合格的。
21
E与I之间的真假关系： （一）E真时，I必假
LOGO
四、E与I之间，是不能同真、 不能同假的矛盾关系。
五、A与I之间，是可以同真、 可以同假的从属对关系。
六、E与O之间，是可以同真、 可以同假的从属关系。
5
本课学习内容
LOGO
七、AEIO四种直言命题的对当 关系。
八、关于主谓项分别相同的真 假关系的两点说明。
  1. 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

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