GCT逻辑形式化推理考点举要罗记思维黑标

逻辑思维能力测试

形式化推理考点举要主讲

罗保华教师简介：罗保华，43岁。自由讲师。资深学业规划师。GCT逻辑语文辅导专家。早年毕业于南开大学，研究方向：批判性思维。从事GCT逻辑和语文，MBA逻辑、写作、面试等科目考前辅导十余年。多部相关教材主笔。清华版《GCT逻辑考前辅导教程》和《GCT语文考前辅导教程》副主编。GCT清华在线独家特聘讲师。独创“同型异素”逻辑教学法。教学经验丰富，课程内容生动有趣，深受学生喜爱。任何理论都没有拒绝怀疑的特权一、逻辑科目考查目标和解题思路二、试卷分析三、逻辑题型分析（一）试题结构（二）试题分类四、同型异素题五、高效解题的基本原则六、核心题型的命题方法和解题思路七、六大题型分析前提假设削弱质疑支持加强推出结论解释说明论证评估论证的推理结构分析

主讲罗保华（罗记思维）逻辑考点精要概念命题推理和论证逻辑基本规律总结任何理论都没有拒绝怀疑的特权推理、论证和假说非形式化推理形式化推理演绎归纳类比论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理直言命题种类1.全称肯定命题（SAP，A）所有的S都P：所有的液体都是饮料。2.全称否定命题（SEP，E）所有的S都不P：所有的液体都不是饮料。3.特称肯定命题（SIP）有些S是P：有些液体是饮料。4.特称否定命题（SOP）有些S不是P：有些液体不是饮料。5.单称肯定命题（SaP）S是P：汽油是饮料。6.单称否定命题（SeP）S不是P：汽油不是饮料。（所有）（所有）直言命题对当关系上反对：不可以同真。下反对：不可以同假。从属：单行线。矛盾：一真一假。论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理模态推理（一）模态命题对当关系推理（二）有模态词的复合推理必然：一定，100%，都。逻辑符号：□。可能：偶然。有时。逻辑符号：

必然=不可能不不必然=可能不必然不=不可能不必然不=可能不可能=必然不模态命题对当关系上反对：不可以同真。下反对：不可以同假。从属：单行线。矛盾：一真一假。论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理三、三段论（一）词项的周延性（二）三段论的结构分析（三）三段论的格（四）三段论的一般规则

1．一个正确的三段论有且只能有三个不同的词项。

2．一个正确的三段论中，中项至少要周延一次。

3．在前提中不周延的词项在结论中也不能周延。

4．两个否定前提推不出结论。

5．如果前提中有一个是否定的，那么结论就是否定的；如果结论是否定的，那么前提中必有一个是否定的。

6．两个特称前提推不出结论。

7．如果前提中有一个是特称的，那么结论就是特称的。论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理四、复合命题推理（一）联言推理（二）选言推理

1．相容的选言推理2．不相容的选言推理（三）假言推理

1．充分条件的假言推理

2．必要条件的假言推理

3．充要条件的假言推理（四）各类复合命题的推理关系

1．假言命题的原命题、逆命题、否命题、逆否命题。

2．复合命题常用命题的等值推理变形

3．复合命题之间的相互转换（五）二难推理推理论证的结构连词：且，和，但，以及，顿号，分号，逗号。他是山东人，且是大学生。他是军医。复合命题推理联言命题选言命题假言命题pqp且q真真真真假假假真假假假假推理论证的结构联言命题的等值命题联言命题的负命题复合命题推理联言命题选言命题假言命题推理论证的结构连词：或，可以，有时，至少有一种。山东人或大学生。军人或医生。如果得不到西瓜，就会得到芒果。梨和苹果不可兼得。复合命题推理联言命题选言命题相容性选言不相容性选言假言命题pqp或q真真真真假真假真真假假假推理论证的结构相容选言命题的基本运算相容选言命题的等值命题相容选言命题的负命题复合命题推理联言命题选言命题相容性选言不相容性选言假言命题推理论证的结构连词：或，要么，二者矛盾，二择一，当且仅当。要么看足球，要么看电视剧。人不犯我，我必犯人；人若犯我，我必犯人。复合命题联言命题选言命题相容性选言不相容性选言假言命题pqpq真真假真假真假真真假假假推理论证的结构不相容选言命题的等值命题pq=-p←→q不相容选言命题的负命题-(pq)=p←→q复合命题联言命题选言命题相容性选言不相容性选言假言命题推理论证的结构连词：如果…，那么…。要想…，必须…。

倘若…，就…。或。如果天下雨，那么地会湿。天不下雨，或地湿。复合命题联言命题选言命题假言命题充分条件必要条件充要条件pqp→q真真真真假假假真真假假真推理论证的结构基本运算基本重言式（等值命题）负命题复合命题联言命题选言命题假言命题充分条件必要条件充要条件推理论证的结构连词：只有…，才…。

除非…，否则不…。

如果…，那么…。要想…，必须…。

只有年满18岁，才有选举权。除非年满18岁，否则没有选举权。复合命题联言命题选言命题假言命题充分条件必要条件充要条件pqq←p真真真真假假假真真假假真推理论证的结构基本运算常用重言式负命题复合命题联言命题选言命题假言命题充分条件必要条件充要条件推理论证的结构连词：当且仅当；要么…，要么…。

如果…，那么…；如果…，那么…。

当且仅当一个数是偶数时，可以被2整除。人不犯我我不犯人，人若犯我我必犯人。复合命题联言命题选言命题假言命题充分条件必要条件充要条件pqqp真真真真假假假真假假假真推理论证的结构基本运算和常用重言式p←→q=(p→q)∧(p←q)p←→q=(p∧q)∨(-p∧-q)负命题：-(p←→q)=-p←→q=pq复合命题联言命题选言命题假言命题充分条件必要条件充要条件复合命题推理范式p→q=-p←-qp→q=-p∨q-(p→q)=p∧-q-(p∧q)=-p∨-q-(p∨q)=-p∧-qpq=-pq复合命题复合命题推理范式举要伦敦巴黎伦敦巴黎复合命题推理范式举要奔驰宝马奔驰宝马路虎保时捷路虎保时捷非福特非奥迪福特奥迪复合命题推理范式举要安倍小泉安倍小泉复合命题推理范式举要手机手表手壶手机手表手壶复合命题推理范式举要火车汽车飞机火车汽车飞机论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理五、关系推理关系推理的原则：对称性和传递性。对称性：对称关系：等于；婚姻；同学；同事。反对称关系：大于；小于；亲子。不对称关系：写信；认识；尊重；轻视；瞧不起；信任；怀疑；爱；恨。传递性：传递关系：等于；大于；小于。反传递：矛盾；年长。非传递性：同学；同事；认识；尊重；轻视；瞧不起；信任；怀疑；爱；恨。总结形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理直言命题种类1.全称肯定命题（SAP，A）所有的S都P：所有的液体都是饮料。2.全称否定命题（SEP，E）所有的S都不P：所有的液体都不是饮料。3.特称肯定命题（SIP）有些S是P：有些液体是饮料。4.特称否定命题（SOP）有些S不是P：有些液体不是饮料。5.单称肯定命题（SaP）S是P：汽油是饮料。6.单称否定命题（SeP）S不是P：汽油不是饮料。（所有）（所有）模态推理（一）模态命题对当关系推理（二）有模态词的复合推理必然：一定，100%，都。逻辑符号：□。可能：偶然。有时。逻辑符号：

必然=不可能不不必然=可能不必然不=不可能不必然不=可能复合命题推理范式论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.归纳推理的结构2.归纳推理的类型3.密尔五法4.因果关系归纳推理概说归纳逻辑（一）什么是归纳逻辑（二）归纳逻辑和演绎逻辑的关系（三）常用归纳推理形式

1．完全归纳推理2．不完全归纳推理3．概率推理

4．统计推理：（1）统计概括推理（2）统计推论探求因果联系的逻辑方法因果差异：无因无果：支持、前提。无因有果：削弱。有因无果：削弱。密尔五法：1．契合法（求同法）；2．差异法；3．求同、求异并用法；4．共变法；5．剩余法。1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.归纳推理的结构2.归纳推理的类型3.密尔五法4.因果关系1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理（或然性推论）推理、论证和假说1.归纳推理的结构2.归纳推理的类型3.密尔五法4.因果关系1.直言命题推理2.模态推理3.三段论4.复合命题推理5.关系推理论证的推理结构形式化推理演绎推理归纳推理类比推理非形式化推理推理、论证和假说1.归纳推理的结构2.归纳推理的类型3.密尔五法4.因果关系溯因推理假说推理与论证推理、论证和假说一、论证（一）证明1．证明和推理的关系2．