形式逻辑最全期末复习资料
逻辑学期末复习资料
逻辑学期末复习资料《形式逻辑》讲稿主讲：万林第⼀章绪论⼀、”逻辑”正名“逻辑”最早可追溯到希腊词（λσγοε逻各斯），后英译为logos、其复数形式是logic。
原为多义词∶⼀般的规律和原则；说明、解释、论证；理性、推理、抽象理论；尺度、关系、⽐率；价值等等。
古罗马的西塞罗正式使⽤“逻辑”⼀词表⽰包括逻辑学和修辞学的科学。
中国古代学者们将相同的科学称为“名辩之学”。
古印度学者，特别是佛学将其称为“因明学” 。
古希腊时期：亚⾥⼠多德，《⼯具论》，古典或传统的形式逻辑；麦加拉-斯多葛学派奠定了命题逻辑的基础。
欧洲中世纪经院逻辑学家们创⽴了推论的学说。
⽂艺复兴时期的波尔-罗亚尔修道院发表了《逻辑或思维的艺术》⼀书，将古典的演绎逻辑体系化；17世纪开始，由于实验⾃然科学的兴起，归纳⽅法的研究被引⼊逻辑学：培根、惠威尔、穆勒，《新⼯具》、《逻辑体系》，建⽴了古典或传统的归纳逻辑；17世纪末，德莱布尼茨提出了逻辑数学化的思想，《论组合术》建⽴⼀种⽤符号表意的普遍语⾔及思维演算的设想，成为数理逻辑的先驱。
19⾄20世纪初，布尔代数的创⽴将设想变为现实，再经德摩根、弗雷格的努⼒，罗素与怀德海合著的《数学原理》出版标志着现代形式逻辑--数理逻辑成为⼀门独⽴的科学。
19世纪上半叶，德国哲学家康德《纯粹理性批判》，先验逻辑；⿊格尔《逻辑学》，辩证逻辑；马克思《资本论》，关于资本范畴的辩证逻辑体系；列宁，《哲学笔记》，确⽴了辩证逻辑的基本理论和原则；⽑泽东《论持久战》，提供了辩证逻辑的⼜⼀范例。
20世纪30年代，哥德尔不完全性定理、塔尔斯基形式语⾔真理论、图灵机及其应⽤理论三个划时代的成果，为现代逻辑学的蓬勃发展奠定了基础。
由此逻辑学发展进⼊黄⾦时代。
现代逻辑学已从单⼀学科逐步发展成为理论严密、分⽀众多、应⽤⼴泛的学科群，择其要者有数理逻辑、哲学逻辑、⾃然语⾔逻辑、概率逻辑、⼈⼯智能逻辑、量⼦逻辑、价值逻辑以及逻辑学与计算机科学、认知科学的交叉研究。
形式逻辑期末复习-第二章-蔡倩雯
形式逻辑期末复习第二章：判断一．什么是判断？判断是对客观事物情况有所断定的一种思维方式。
二．判断的逻辑特征：1.首要逻辑特征：对思维对象有所肯定或有所否定。
2.另一基本逻辑特征：任何一个判断都是或真或假的。
三．判断的语句表达：一般陈述句都直接表达判断。
疑问句，祈使句，感叹句一般不表达判断。
（判断和语句关系：同一判断可以用不同的语句来表达。
同一语句可以表达不同的判断。
）四．判断的逻辑类别：全称肯定判断全称否定判断直言判断特称肯定判断（性质判断）特称否定判断单称肯定判断单称否定判断简单判断非模态判断关系判断：对称性关系判断，传递性关系判断复合判断：联言判断，选言判断，假言判断，负判断判断真值模态判断模态判断规范模态判断五．性质判断的理解与运用1.性质判断的概念：是断定客观事物具有或不具有某种性质的判断。
2.性质判断的结构：由主项，谓项，联项，量项四部分组成。
主项：指在判断中被反映或被断定对象的概念。
（用S表示）谓项：指在判断中对被反映对象或被断定对象所具有或不具有的某种性质的概念。
（用P 表示）联项：指在判断中联结主项和谓项的概念“是”和“不是”（判断的质：判断的肯定或否定）全称量项量项：指在判断中表示主项范围或数量的概念特称量项单称量项3.性质判断的类型（1）全称肯定判断（包括单称肯定判断，是一种特殊的全称肯定判断）逻辑形式：SAP或A（2）全称否定判断（包括单称否定判断，是一种特殊的全称否定判断）逻辑形式：SEP或E（3）特称肯定判断逻辑形式：SIP或I（4）特称否定判断逻辑形式：SOP或O5.同素材四种性质判断间的真假制约关系（1）反对关系：指的是全称肯定判断（A）与全称否定判断（E）之间的关系。
（当一个判断为真时，另一个必定为假的，当一个为假时，另一个真假不定。
简而言之，两者可以同假，不能同真。
）举个例子：a.这次考试所有的同学都是及格的。
b.这次老师所有同学都是不及格的。
如果说a是真的，则b是假的；如果说b是真的，则a是假的。
形式逻辑学期末考试复习资料
形式逻辑学期末考试复习资料• 第一章逻辑学概述逻辑学是关于思维形式及其规律的科学。
• 一.逻辑学的三种思维形式• 概念.判断.推理• 二.推理的构成• 1.前提.结论• 2.常项.变项(思维形式结构组成部分)常项是指在结构形式中有固定意义并保持不变的部分，如“所有”，“都是”。
变项是指在结构形式中可以用不同的具体概念或具体的判断来代换的部分，如“P”、“q”。
• 常项决定逻辑的推理形式• 所有的人是高级动物• (所有……是,全称肯定判断)• 如果是大学生,那么应该认真学习• (常项:如果….那么;充分条件假言判断)• 第二章概念概念是反映事物特有属性的思维形式。
内涵和外延是概念的两个基本特征。
概念的外延是指具有概念的特有属性的具体对象的总和。
一.掌握概念的种类• 单独概念,普遍概念;集合概念,非集合概念;单独概念一般都是集合概念。
• 正概念,负概念.• 具体环境中概念种类例子::• 二班同学有五十人.• 二班同学”是普遍概念,非集合概念,正概念• 广州市公安局是人民民主专政机关.• “广州市公安局”是单独概念,集合概念,正概念• 二.掌握概念间的关系(欧拉图)• 全同关系根本大法宪法• 真包含关系: 大学,广州大学• 真包含于关系:中国人,亚洲人• 交叉关系:妇女,领导干部• 矛盾关系: 违法行为,合法行为(外延之和等于”行为”)• 反对关系:工人,干部(外延之和小于”人”)熟悉属和种概念:外延较大的概念称为属概念，外延较小的称为种概念。
(学生和人) • 三.掌握明确概念的方法• 1.概念内涵外延的反变关系是限制与概括的理论依据.(限制增内涵，概括加外延) 2.限制与概括只能在属种关系或种属关系概念间进行(概括只能由种概念到属概念。
) • 根本大法限制为宪法 (错) , (中国宪法)• 世界人口最多的国家?中国(全同关系)• 工人?机械工人?磨具工人?王小二• 3.定义是明确内涵的方法,划分是明确外延的方法.定义由被定义项和定义项、定义联项三个部分组成。
形式逻辑总复习资料PPT课件
SAP→PAS
换质位法
科学是没有禁区的,所以有禁区的不是科学.
• 有效,因为符合换位法的推理规则.
第10页/共48页
LOREM IPSUM DOLOR
• 6.三段论推理 • 掌握两条规则 • 中项必须周延一次. • 在前提中不周延的项到结论中不得周延. • (1)所有的犯罪分子是违法的,王小儿是违法的,所以王小儿是犯罪分子. • 这个三段论推理无效,因为中项没有周延一次。这个三段论是AAA式。
• 反对关系:工人,干部(外延之和小于”人”)
• 概念，判断（反对关系）
•
成年人，未成年人（矛盾关系）
第3页/共48页
LOREM IPSUM DOLOR
三.掌握明确概念的方法
1、概念内涵外延的反变关系是限制与概括的理论依据.
2、限制与概括只能在属种关系或种属关系概念间进行
•
根本大法限制为宪法 (错) , (中国宪法)
•
二.类比推理
• 类比推理是从个别到个别,或一般到一般的推理,其结论是或然的.
•
三.探求因果关系五法
•
求同法.求异法,求同求异并用法,共变花,剩余法.
•
第22页/共48页
LOREM IPSUM DOLOR
•
第七章 假说
•
假说的特征
•
假说具有具有科学性 .真理性.推测性.
•
假说的验证运用充分条件假言推理的肯定后件式。
财产的故意。
• 所以，赵皓皓犯盗窃罪。
•
该推理是必要条件假言推理，无效。因为必要条件假言推理肯定
前件不能肯定后件。
第19页/共48页
LOREM IPSUM DOLOR
•
第五章 模态推理
逻辑考试重点总结精明泽共享-资料
概念的种类＿单独概念和普遍概念 （外延标准）
单独概念：只反映一个事物的概念，外延只有一个
专名：直接指称对象，人名、地理名称、单个事件 摹状词：通过描述属性来确定对象
普遍概念：反映一类事物的概念，外延有多个
普遍名词、形容词或动词一般表示普遍概念
矛盾律即是非真即假，它的具体的内容是：一个 思想不能既反映某客观对象而又不反映这个客观 对象；一个思想不能既是真的又是假的。
排中律即是就事论事，莫王顾左右而言它，它的 具体内容是：一个思想或者反映某客观对象或者 不反映这个客观对象；一个思想或者是真的，或 者是假的。
第二章 概 念
第一节 概念的特征
A和B是全同关系
“A真包含B”和“A真包含于B”
A 和B的交叉关系和全异关系
A和B是矛盾关系和反对关系
第六节 定义
定义是明确概念内涵的逻辑方法， 即揭示概念所反映对象的特有属性或 本质属性的方法。
定义的结构： Ds
就是
Dp。
被定义项 定义联项 定义项
定义联项一般用“就是”、“称为”、“叫 做”、“当且仅当”表示。但是“Ds当且仅当Dp”， 通常用作关系定义，不能还原为“就是”。譬如， a小于等于b，当且仅当a不大于b。
同一个概念可以用不同的语词来表达，同 时，同一个语词也可以表达不同的概念， 这个事实就表明了概念与语词是有区分的。
第三节 概念的外延与内涵
概念有两个重要的方面这是概念的内涵与 外延。
概念的内涵，就是概念所反映的事物的特 有属性。
概念的外延就是具有概念所反映的特有用 性的事物。
认知三角形
所有金属是有光泽的。 所有资本家都是唯利是图的。
形式逻辑参考复习笔记
形式逻辑学复习资料1、逻辑：表示事物发展的客观规律；观察处理问题时特殊的理论、观点或方法人类思维的规律、规则；研究思维形式和思维规律的学问（逻辑学）。
2、普通逻辑：传统的形式逻辑，是研究思维的逻辑形式及其基本规律和人们认识现实时所使用的简单逻辑方法的科学。
定对象及其属性叫做思维的具体内容。
思维内容各部分之间的联系方式或形式结构，叫做思维的逻辑形式。
概念4、概念：反映特定事物对象特有属性或本质属性的思维形式。
5、概念的内涵：反映在概念中的对象的特有属性或本质属性。
6、概念的外延：是指具有概念所反映的特有属性或本质属性的对象。
根据概念外延的大小分类7、单独概念：是反映独一无二的对象的概念。
外延为一8、普遍概念：是反映一个以上对象的概念。
外延过一根据概念所反映的对象是否为集合体分类9、集合概念：外延为集合体。
集合体由许多个体组成的统一整体，集合体所具有的属性，只为该集合体所具有，而不必为这个集合体中的某一个体所具有。
10、非集合概念：外延为非集合体。
根据概念所反映的对象是否具有某属性分类11、正概念：内涵具有某种属性。
12、负概念：内涵不具有某种属性根据概念外延是否为零分类13、实概念：外延为非零的外延愈小，则它的内涵愈多。
一个概念的内涵愈少，则它的外延愈少；一个概念的内涵愈多，则它的外延愈小。
16、概念的限制：是通过增加概念的内涵以缩小概念的外延来明确概念的一种逻辑方法。
（是缩小概念外延的方法，即由外延较大的概念过渡到外延较小的概念，限制是由属概念过渡到种概念）单独概念是外延最小的概念，无法限制。
17、概念的概括：是通过减少概念的内涵以扩大概念的外延来明确概念的一种逻辑方法。
（是扩大概念外延的方法，即由外延较小的概念过渡到外延较大的概念，概括是由种概念过渡到属概念）概括也是有限度的，概括的极限是范畴。
18、定义：是用简短的语句揭示概念内涵的逻辑方法。
由被定义项、定义项、定义联项三部分组成。
定义的方法属加种差定义：被定义项=种差+临近属概念e.g.人就是能制造和使用生产工具的动物。
形式逻辑复习资料
形式逻辑复习资料第一篇：形式逻辑复习资料1、指出在下述案例中使用了什么探求因果联系的逻辑方法，并写出该方法的特点和逻辑公式。
有两块土质、品种、耕种技术都相同的油菜田，其中一块利用蜜蜂帮助授粉，另外一块没有利用蜜蜂帮助授粉。
结果有蜜蜂帮助授粉的田比没有蜜蜂帮助授粉的田油菜籽的单位面积产量增加37.5%。
因此，蜜蜂授粉是油菜增产的原因。
答：求异法。
特点：同中求异。
求异法的逻辑公式如下：场合相关因素被研究现象（1）正面场合 ABCDa（2）反面场合 BCD无a 所以，A与a之间有因果联系。
2、简述概念和语词的联系和区别。
（一）概念与语词的联系概念是语词的思维内容，语词是概念的表现形式。
（二）概念与语词的区别（1）概念都要用语词表达，但有些语词不表达概念。
（2）同一个概念可以用不同的语词表达。
（3）同一个语词可以表达不同的概念。
第一单元练习题一、单项选择题1、“中国人民解放军是祖国的万里长城”作为定义，则（A）A、犯了“以比喻代定义”的逻辑错误；B、犯了“定义过窄”的逻辑错误； C、犯了“定义过宽”的逻辑错误；D、遵守了各项定义规则，没有逻辑错误。
2、下列对概念的概括中，正确的是（B）A、把“律师”概括为“先进律师”； B、把“刑法”概括为“法律”；C、把“中级人民法院”概括为“高级人民法院”；D、把“命题”概括为“推理”。
3、下列概念间的关系中，属于不相容关系的是（D）A、交叉关系；B、全同关系；C、真包含关系；D、全异关系。
4、“所有的执法者都是公正的”和“有些执法者不是公正的”这两个命题间具有（C）A、反对关系；B、下反对关系；C、矛盾关系；D、差等关系。
5、“民不畏死，奈何以死惧之”中“民”这个概念属于：（A）A、集合概念B、非集合概念C、单独概念D、负概念6、“红”与“白”两个概念外延之间的关系是（D）A、属种关系；B、交叉关系；C、矛盾关系；D、反对关系。
7、下列对概念的限制中，正确的是（B）A、把“民法”限制为“法律”； B、把“犯罪”限制为“故意犯罪”； C、把“法院”限制为“法官”； D、把“中国”限制为“北京”。
逻辑导论期末复习(知识整理+课后题答案)
第二章1、概念的种类10、人贵有自知之明：普遍概念，非集合概念11、人是由猿进化而来的：单独概念，集合概念12、书是知识的海洋：普遍概念，集合概念13、动物是人类的朋友：动物：普遍概念，集合概念人类：单独概念，集合概念2、定义与划分3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）第二章参考答案第一题1、内涵2、外延3、内涵4、外延（军队，警察，法庭，监狱等）、内涵（阶级压迫的工具）5、内涵6、内涵7、内涵8、内涵（希望他人向自己发出要约意思表示）、外延（寄送的价目表、拍卖公告、招标公告、招股说明书、商业广告等）9、内涵10、外延第二题1、单独概念，集合概念2、普遍概念，非集合概念3、单独概念，集合概念4、普遍概念，非集合概念5、单独概念，集合概念6、普遍概念，非集合概念7、单独概念，集合概念8、普遍概念，集合概念9、普遍概念，集合概念10、人贵有自知之明：普遍概念，非集合概念11、人是由猿进化而来的：单独概念，集合概念12、书是知识的海洋：普遍概念，集合概念13、动物是人类的朋友：动物：普遍概念，集合概念人类：单独概念，集合概念第三题1、全同2、反对3、种属4、属种5、交叉6、反对7、矛盾8、交叉9、属种（刑罚和主刑）、属种（刑罚和附加刑）10、全同第五题1．a与b：属种关系；a与c：交叉关系b与a：种属关系；b与c：交叉关系c与a：交叉关系；c与b：交叉关系2．a与b：交叉关系；a与c：属种关系b与a：交叉关系；b与c：属种关系c与a：种属关系；c与b：种属关系3．a与b：属种关系；a与c：属种关系b与a：种属关系；b与c：交叉关系c与a：种属关系；c与b：交叉关系4．a与b：交叉关系；a与c：交叉关系；a与d：交叉关系；b与c：交叉关系；b与d：交叉关系；c与d：交叉关系第六题1．“非人文科学” “自然科学”或“社会科学”2．“非导体” “半导体”或“绝缘体”3．“外国律师” “美国律师”4．“不合法行为” “违法行为”第七题a和b是属种关系，b和c是属种关系，c、d、e是全同关系第八题：正确的是第1、10、16小题，其余错误3，法院是国家的司法机关（定义过宽，司法机关包括法院和检察院）6，故意杀人罪就是故意剥夺他人生命的行为（定义过宽，故意非法剥夺）11，“一年分为四季”是一个正确的划分（错误，分解显现整体与部分的关系）第九题1、限制：程序法；扩大：行为规范2、限制：女审判员；扩大：司法人员3、限制：大兴安岭森林；扩大：植物4、不能限制（单独概念）；扩大：作家第三章，逻辑推理：命题演算一，复合命题1，负命题2，联言命题有p必有q，无p未必无q3，相容选言命题: p或者q ,p∨ q4，排斥选言命题:要么p，要么q,p、q二者必居其一,⌝(p↔q)5，假言命题：如果p，那么q，p→ q有p必有q，无p未必无q6，必要条件假言命题：只有p,才q,q→ p无p必无q,有p未必有q7，等值命题：p当且仅当q ，p↔q二，有效式1、排斥选言推理（a）否定肯定式：(p∨q) ∧⌝ (p∧q) ∧⌝p→q(p∨q) ∧⌝ (p∧q) ∧⌝q→p（b）肯定否定式：(p∨q) ∧⌝ (p∧q) ∧p→⌝q(p∨q) ∧⌝ (p∧q) ∧q→⌝p2，二难推理（假言选言推理）①构成式：(p→r) ∧ (q→r) ∧ (p∨q)→r(p→r) ∧ (q→s) ∧ (p∨q)→r∨s②破坏式：(p→r) ∧ (p→s) ∧ (⌝r∨⌝s)→⌝p(p→r) ∧ (q→s) ∧ (⌝r∨⌝s) →⌝p∨⌝q3，反三段论推理：(p∧q → r) → (⌝r∧ p →⌝q )4,PN系统的基本规则（1）前提引入规则（P规则）（2）重言蕴涵规则（T规则）（3）条件证明规则（C.P规则）证明：P120/八/3①p→q∧r P②¬q∨¬r∨s P③¬ (p∧s) P④p P⑤q∧r ①T⑥s ②⑤T⑦¬s∨¬p ③T⑧¬p ⑥⑦T⑨¬p∧p ④⑧T⑩¬p ④⑨R.A.A（4）间接证明规则R.A.A证明：(p→r) ∧ (q→s) ∧ (⌝r∨⌝s) →⌝p∨⌝q①p→r P②q→s P③¬r∨¬s P④¬ (¬p∨¬q) P⑤p∧q ④T⑥r ⑤T⑦s ⑤T⑧r∧s ⑥⑦T⑨¬ (r∧s) ③T⑩(r∧s)∧¬ (r∧s) ③⑨T⑾¬p∨¬q ④⑩R.A.A第三章参考答案第一题（补充：不是…而是…：联言命题）1. 联言命题：P∧q2. 联言命题：P∧q3. 到过现场的并不都是作案人：负命题┐p4. 负命题┐p5. 选言命题p∨q6. 选言命题p∨q7. 未经人民法院依法判决，对任何人都不得确定有罪：必要条件假言¬p→¬q 8. 必要条件假言命题q→p9. 等值命题p↔q10.某甲和某乙或者都是案犯，或者都不是案犯：选言命题（P∧q）∨（┐p∧┐q）11. 排斥选言：┐（p↔ q）12. 联言：P∧q13. 联言：P∧q∧r14. 联言：p∧（q∧r∧s∧t）15. 科学技术不是上层建筑，而是生产力：联言：P∧q16. 有则改之，无则加勉：联言（p→q）∧（┐p→r）17. 联言:P∧q18. 联言P∧q19. 选言p∨q∨r20. 排斥选言┐（p↔q）21. 假言p∨q→r22. 必要条件假言命题q→p23. 选言p∨q24. 假言p→q25. 这件事情的结局，不会有利于被告，只会有利于原告：联言P ∧q第二题1. （p ∨q ）→¬r2． p ∧[┐（q ∨r ）∧（¬s ∨¬t ）]→¬u3. （p ∨q ）∧r →¬s ∧（t ∨u ）4. p ∧（q ∨r ）∧s →t ∧s5. p ∨q →r6. p ∧q ∧r ∧s ∧t7.犯罪以后自首的，可以从轻或者减轻处罚。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1、普通逻辑：是研究思维的逻辑形式及其基本规律和简单逻辑方法的科学。
2、思维：是人脑的机能，是人脑对于客观世界间接地，概括地反映。
思维对客观世界的反映方式叫思维形式，概念、判断和推理是思维的基本形式。
思维与语言有不可分类的联系。
思维对客观世界的反映（概念、判断和推理）是借助于语言（语词、句子和句群）来实现和表达的。
3、思维的逻辑形式：思维有具体内容，也有逻辑形式，反映在概念、判断和推理中的特定对象及其属性叫思维的具体内容；思维内容各部分之间的联系方式（或形式结构），叫思维的逻辑形式。
思维的逻辑形式既与思维的具体内容相联系，其自身又具有相对的独立性。
普通逻辑不研究思维的具体内容，只研究各种不同类型的思维的逻辑形式。
任何一种逻辑形式都是由两部分构成的，一是逻辑常项，一是变项。
逻辑形式之间的区别，取决于它们的逻辑常项的不同。
4、简单的逻辑方法：普通逻辑所研究的逻辑方法主要是指：定义、划分、限制与概括、探求因果联系的五种归纳方法等。
相对于辩证逻辑所研究的逻辑方法，上述方法是比较简单的。
5、概念：是反映对象特有属性或本质属性的思维形式。
概念与感觉、知觉、表象不同：感觉、知觉、表象是反映个别对象的具体形象及其属性，其中既有特有属性或本质属性，也有非特有属性或非本质属性；概念舍支了对象的非特有或非本质的忏悔，而是抽象地反映对象的特有属性或本质属性。
6、概念的内涵和外延任何概念都有两个逻辑牲，即内涵和外延。
内涵就是反映在概念中的对象的特有属性或本质属性，通常称为概念的含义。
外延就是指具有概念所反映的特有属性或本质属性的对象，通常称为概念的适用范围。
7、单独概念：是反映唯一无二的对象的概念。
语词中的专有名词和摹状词都表达单独概念。
8、普遍概念：是反映两个或两个以上对象的概念。
语词中的普通名词、形容词和动词等，一般都表达普遍概念。
9、集合概念和非集合概念：反映集合体的概念叫集合概念，反映非集合体的概念叫非集合概念。
集合体是由若干同类的个体组成的统一的总体，一人集合体所具有的忏悔，只为该集合体所具有，而不必为这个集合体中的每一个体所具有。
非集合体则不同。
10、正概念和负概念：反映对象具有某种忏悔的概念就是正概念，反映对象不具有某种忏悔的概念就是负概念。
从语言方面说，在表达负概念的语词中，常常含有“无”、“不”、“非”等否定词。
负概念总是相对于某个特定范围而言的，一个负概念所相对的范围，逻辑上叫做论域。
11、同一关系：a、b两个概念，如果它们的外延全部重合，即所有的a都是b，同时所有的b都是a，那么a与b之间的关系就是同一关系。
12、真包含于关系：a、b两个概念，如果所有的a都是b，但是有的不是，那么与之间的关系说是真包含于关系，即真包含于。
13、真包含关系：a、b两个概念，如果所有的b都是a，但是有的a不是b，那么a与b之间的关系就是真包含关系，即a真包含b。
在真包含于关系和真包含关系中，都有一个外延较大的概念和一个外延较小的概念。
外延较大的那个概念叫做属概念，外延较小的那个概念叫做种概念。
这两种关系叫属种关系。
14、交叉关系：a、b两个概念，如果它们的外延仅有一部分是生命的，即有的a是b，有的a不是b，而且，有的b是a，有的b不是a，那么a与b之间的关系就是交叉关系。
15、同一关系、真包含于关系、真包含关系和交叉关系中至少有一部分外延是重合的。
我们把这四种关系统称为相容关系。
16、全异关系：a、b两个概念，如果它们的外延没有任何一个部分是重合的，即所有的a 都不是b，那么a与b之间的关系就是全异关系。
又称不相容关系。
全异关系还可以分为矛盾关系和反对关系。
17、矛盾关系：具有全异关系的a、b两个概念，它们都包含于另一个概念c，如果a与b 的外延之和等于c的全部外延，那么a与b之间的关系就是矛盾关系。
18、反对关系：具有全异关系的a、b两个概念，它们都包含于另一个概念c，如果a与b 的外延之和小于c的全部外延，那么a与b之间的关系就是反对关系。
19、定义：是揭示概念内涵的逻辑方法。
由被定义项、定义项和定义联项三部分组成。
20、真实定义：是揭示被定义概念所反映的对象的特有属性成本质属性的定义。
属加种差定义是最常用的定义方法。
根据种差的不同可将属加种差定义分为性质定义、关系定义、发生定义、功用定义等。
21、语词定义：是明确一个语词所表达的意义的定义。
分说明的语词定义和规定的语词定义。
22、划分：是通过把一个概念所反映的对象分为若干个小类，来揭示这个概念外延的逻辑方法。
它是氢一个属概念分为若干个种概念。
划分是由两部分组成的：一是划分的母项；一是划分的子项。
把母项分为若干子项的根据，叫做划分标准。
划分与分解不同。
分解是把一个具体事物分成若干部分。
23、划分的方法分一次划分和连续划分、二分法。
24、分类：分类是划分的特殊形式。
它是根据对象的本质忏悔或显著特征进行的划分，具有较大的稳定性。
25、概念的限制：是通过啬概念的内涵以缩小概念的外延来明确概念的一种逻辑方法。
限制是由属概念过渡到种概念。
限制的极限是单独概念。
26、概念的概括：是通过减少概念的内涵以扩大概念的外延来明确概念的一种逻辑方法。
概括是由种概念过渡到属概念。
概括的极限是范畴。
27、判断：是对思维对象有所断定的思维形式。
任何判断都有两个牲：第一，判断都有所断定，包括肯定或否定；第二，判断都有真假。
28、性质判断：是断定思维对象具有或不具有某种性质的判断。
传统逻辑把它称为直言判断。
性质判断是由四部分组成的，它们分别叫做主项、谓项、联项和量项。
29、性质判断的种类：在性质判断中，逻辑常项是联项和量项。
根据联项和量项的不同，性质判断可以分为六种：1）单称肯定判断：这个s是P；2）单称否定判断：这个s不是P；3）特称肯定判断：有s是P；4）特称否定判断：有s不是P；5）全称肯定判断：所有s是P；6）全称否定判断：所有s不是P。
传统逻辑把单称判断当全称判断看待。
因此，性质判断的形式是四种：一是全称肯定判断，用A表示，简写为SAP；二是全称否定判断，用E表示，简写为SEP；三是特称肯定判断，用I表示，简写为SIP；四是特称否定判断，用O表示，简写为SOP。
30、关系判断：是断定对象与对象之间的关系的判断。
它是由三部分组成的‘即：关系者项、关系项、量项。
基本形式为：所有aR所有b；所有aR有的b；有的aR所有b；有的aR有的b。
在关系判断中，有的关系者项是两个，有的关系者项是三个，有的关系者项多于三个。
前者叫做二项关系，后者分别叫做三项关系和多项关系。
在关系判断中，如果关系者项表示的是一个或一类对象，量项可以省略。
这样，一个二项的关系判断可以写为：R（a，b）或aRb；一个三项的关系判断可以写为R（a，b，c）31、联言判断：是断定几种事物情况同时存在的判断。
它是由两个或两个以上支判断（联言支）和联结项“并且”组成的，一个二支联言判断的逻辑形式为： p并且q在现代逻辑中，这种判断形式可以用符号表示为：p∧q32、选言判断：是断定几种可能事物情况至少有一种存在的判断。
它是由两个或两个以上选言支和联结项“或者”或“要么”组成的。
33、＊＊＊＊＊＊选言判断分相容选言判断和不相容选言判断。
1）相容就是断定几个选言支至少有一个为真的选言判断。
其形式是p或者q。
在现代逻辑中，这种判断形式用符号表示为p∨q2）不相容就是断定几个选言支有并且只有一个为真的选言判断。
形式是：要么p，要么q，符号表示为：p∨q。
34、假言判断：就是断定某一事物情况的存在（或不存在）是另一事物情况存在（或不存在）的条件的判断。
假言判断又叫条件判断。
假言判断是由两个支判断和联结项组成的。
作为条件的支判断叫前件，作为推断的支判断叫后件。
35、假言判断的种类：一是充分条件假言判断，就是断定前件是后件的充分条件的假言判断。
所谓充分条件是指有前件时必有后件，而无前件时后件不定。
充分条件假言判断的一般形式是：如果p，那么q；二是必要条件假言判断，就是断定装腔作势是后件的必要条件的假言判断。
所谓必要条件是指无前件时必无后件，而有前件时后件不定，这样前件就是后件的必要条件。
必要条件假言判断的一般形式是：中是p，才q；三是充分必要条件假言判断，就是断定前件既是后件的充分条件，又是后件的必要条件的假言判断。
所谓充分必要条件就是指有前件必有后件，无前件也必无后件。
充分必要条件假言判断的一般形式是：当且仅当p，才q37、负判断：就是否定某个判断的判断，又叫判断的否定。
负判断与否定判断是不同的。
负判断是由一个支判断（被否定的判断）和联结项“并非”所组成的。
它的一般形式是：并非p。
38、真值表：是能显示一个复合判断在它的支判断的各种真值组合下的真假情况的图表。
运用真值表方法，可以在有穷步骤内计算出较复杂的复合判断的真值。
39、模态判断：是断定事物情况的必然性或可能性的判断。
“必然”、“可能”，逻辑上叫做模态词。
模态判断也就是包含有模态词的判断。
40、推理：就是由一个或几个已知判断得出一个新判断的思维形式。
它是由前提和结论组成的。
推理所依据的已知判断叫前提，推出的新判断叫结论。
在推理中，从前提到结论的推出关系是用“所以”来表示的。
41、三段论：就是由两个包含着一个共同项的性质判断得出一个新的性质判断的推理，又叫做直言三段论。
一个三段论是由三个性质判断构成的，其中，两个是前提，另一个是结论。
任何一个三段论，都包括并且只包括三个不同的项：大项、小项和中项。
结论的主项叫小项，结论的谓项叫大项，前提中的共同项叫中项。
前提中，包含大项的前提叫大前提，包含小项的前提叫小前提。
三段论的典型形式是一切M都是P，一切S都是P，所以，一切S都是P。
三段论是靠中项来联结大项和小项的。
在三段论中，中项只能有一个。
如果有两个中项，就会出现“四概念错误”。
42、关系推理：就是以关系判断为前提或结论的推理。
它是根据前提中关系的逻辑性质进行推演的。
人对称性关系推理、反对称性关系推理、传递性关系推理和反传递性关系推理四种。
43、联言推理：是前提或结论为联言判断的推理。
44、选言推理：是前提中至少有一个是选言判断的推理。
也可叫选言三段论。
分相容的选言推理和不相容的选言推理。
相容的就是前提中有一个是相容的选言判断的选言推理。
不相容的就是前提中有一个是不相容的选言判断的选言推理。
相容选言推理的两条规则：一是否定一部分选言支，就要肯定另一部分选言支。
二是肯定一部分选言支，不能否定另一部分选言支。
不相容选言推理的两条规则是否定一个选言支以外的选言支，就要肯定余下的那个选言支。
二是肯定一个选言支，就要否定其他选言支。
45、假言推理是前提中有一个是假言判断，另一个是性质判断，结论是性质判断的推理。
也可以叫做假言三段论。
分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。