普通逻辑入门

普通逻辑入门第一页，共一百一十二页，编辑于2023年，星期日第一章绪论对“逻辑”的理解逻辑一词的来历Logic逻辑一词的含义4种含义逻辑学的分类逻辑学辩证形式传统数理（现代）第二页，共一百一十二页，编辑于2023年，星期日思维——人在头脑中运用概念做出判断进行推理的过程

思维形式：概念、判断（命题）、推理思维的形式结构——逻辑学的研究对象思维的逻辑形式所有的事物都是发展的所有的犯罪行为都是违法行为所有的杨树都是落叶乔木所有的…都是…所有的S都是P第三页，共一百一十二页，编辑于2023年，星期日如果过度砍伐森林，那么就会破坏生态环境如果物体摩擦，那么物体生热如果…那么…如果p，那么q思维的逻辑形式都有两个部分构成逻辑常项逻辑变项所有的…都是…如果…那么…SPpq

A→

SAPp→q第四页，共一百一十二页，编辑于2023年，星期日思维的逻辑规律同一律矛盾律排中律思维的逻辑方法逻辑学——普通逻辑的研究对象思维的逻辑形式思维的逻辑规律思维的逻辑方法第五页，共一百一十二页，编辑于2023年，星期日第二章概念概念是反映对象特有属性的思维形式

对象的属性——对象自身的性质及事物之间的关系特有属性和本质属性概念与语词第六页，共一百一十二页，编辑于2023年，星期日概念的内涵和外延内涵——反映在概念中的对象的特有(本质)属性外延概念的质的规定性（是什么）——具有概念所反映的特有(本质)属性的对象概念的量的规定性（有哪些）概念所指的对象——概念的逻辑特征第七页，共一百一十二页，编辑于2023年，星期日概念的种类单独概念普遍概念——外延只有一个外延有两个以上——外延数量集合概念非集合概念类—类分子(整体—部分)集合体—个体正概念负概念论域人是由猿猴进化而来的人是由父母所生的第八页，共一百一十二页，编辑于2023年，星期日

小结

根据概念外延的数量，概念分为单独概念和普遍概念；根据概念内涵的不同：（1）概念分为集合概念和非集合概念（概念所反映的对象是否为集合体）（2）概念分为正概念和负概念（概念所反映的对象是否具有某种属性）一个概念不只是属于某种划分中的一个种类，而是可以分别属于几种不同划分中的三个种类。例如：“秘书”这个概念既是一个普遍概念，又是一个非集合概念，也是一个正概念。第九页，共一百一十二页，编辑于2023年，星期日概念间的关系——概念间的外延关系一、同一关系（全同关系）aab审判机关法院两概念外延完全重合的关系外延相同：a=b，内涵是有差别的:a≠b所有的a都是b，并且所有的b也都是a第十页，共一百一十二页，编辑于2023年，星期日在语境许可的情况下，具有同一关系的概念可以交替使用，这样既可以避免表述重复，又可以丰富表达的内容。例如：“中国”，“我的母亲”，“世界上人口最多的国家”这三个概念是同一关系，使用在不同的场合会取得不同的修辞效果。内涵与外延完全相同的叫同物异名。如“马铃薯”和“土豆”。第十一页，共一百一十二页，编辑于2023年，星期日二、真包含关系一个概念的部分外延和另一个概念的全部外延相重合ab学生大学生二、真包含于关系一个概念的全部外延和另一个概念的部分外延相重合ab学生大学生属种关系所有的b都是a，但有的a不是b所有的a都是b，但有的b不是a第十二页，共一百一十二页，编辑于2023年，星期日真包含关系与真包含于关系是相对互逆的，人们把它们合称为属种关系。在具有属种关系的概念中，外延大的概念称为属概念，外延小的概念称为种概念。第十三页，共一百一十二页，编辑于2023年，星期日四、交叉关系两个概念各有部分外延相重合的关系ab教师科学家有的a是b，有的b是a五、全异关系(不相容关系)ab风马所有的a都不是b，所有的b也不是是a第十四页，共一百一十二页，编辑于2023年，星期日

特殊的全异关系——矛盾关系、反对关系

只有真包含于同一属概念的两个种概念之间，才会存在矛盾关系和反对关系

1.矛盾关系a+b=cabc2.反对关系abca+b＜c区别第十五页，共一百一十二页，编辑于2023年，星期日矛盾关系的特点：（1）两个种概念之和等于属概念的外延；（2）没有第三个概念存在。反对关系也叫做对立关系，有三个以上则是并列关系。在语言的使用上，反对概念并列使用，可以起到很好的效果。

《可爱的中国》：“我相信到那时，到处都是活跃的创造，到处都是日新月异的进步，欢歌将代替了悲叹，笑脸将代替了哭脸，富裕将代替了贫穷，康健将代替了疾苦，智慧将代替了愚昧，友爱将代替了仇杀，生之快乐将代替了死之悲哀，明媚的花园将代替了凄凉的荒地。”第十六页，共一百一十二页，编辑于2023年，星期日概念的限制与概括概念的内涵和外延间的内涵越多，外延越小；内涵越少，外延越大反变关系概念内涵外延学生大学生大、中、小在校生高校生大第十七页，共一百一十二页，编辑于2023年，星期日应注意的问题：1.这种反变关系不是数学上可以用数值精确计算的比例关系，只是一种大致趋势。2.普通逻辑揭示的这种反变关系，目的是为明确概念提供一种逻辑方法，它是概念进行限制和概括的逻辑依据。3.这种反变关系只限于普通逻辑的眼界——只研究概念形式的抽象性，而撇开了概念内容的具体性。这与辩证逻辑的眼界不同。第十八页，共一百一十二页，编辑于2023年，星期日概念的限制增加内涵缩小外延属→种政法机关→法院→→→→→→→人民法院高级人民法院上海市高级人民法院概念的概括减少内涵扩大外延种→属上海市高级人民法院高级人民法院人民法院法院政法机关第十九页，共一百一十二页，编辑于2023年，星期日“三大纪律八项注意”中纪律的提法：由“不拿工人农民一点东西。”改为“不拿群众一针一线”。由“打土豪要归公。”改为“筹款要归公”，又进一步改为“一切缴获要归公”。刘晓庆在《我的路》中说：“做人难。做女人难。做名女人更难。做单身的名女人，难乎其难。”第二十页，共一百一十二页，编辑于2023年，星期日定义定义是一种明确概念内涵的逻辑方法刑法定义的构成被定义项：某一个其内涵需要明确的概念是规定犯罪和刑罚的法律定义项：用来明确被定义概念的那些概念定义联项：联结被定义项和定义项的联结词定义的公式DS就是DP第二十一页，共一百一十二页，编辑于2023年，星期日定义的种类和下定义的方法真实定义语词定义被定义概念=种差+邻近的属概念说明性规定性定义的规则1．定义项的外延和被定义项的外延应完全相同DS=DP定义过宽定义过窄DS＜

DPDS＞DP第二十二页，共一百一十二页，编辑于2023年，星期日2．定义项不能直接或者间接包含被定义项同语反复定义循环3．定义必须清楚明确定义不清以比喻代定义4．定义一般用肯定形式定义否定第二十三页，共一百一十二页，编辑于2023年，星期日划分划分是一种明确概念外延的逻辑方法划分的构成划分的母项：某一个被划分（外延需要明确）的概念划分的子项：划分以后所得到的概念划分的标准：划分所依据的对象的某种属性思维形式可以分为概念、判断、推理第二十四页，共一百一十二页，编辑于2023年，星期日划分的种类和方法一次划分连续划分刑罚主刑附加刑有期徒刑无期徒刑死刑罚金剥夺政治权利……二分法划分复分法划分人可以分为成年人和非成年人法律可以分为国内法、国际法；古代法、现代法；实体法、程序法；宪法、刑法、民法等等第二十五页，共一百一十二页，编辑于2023年，星期日划分的规则1．划分后的母项和子项的外延要完全相等划分不全多出子项2．每一次划分须按统一标准进行标准不同一3．划分后得到的子项应相互排斥子项相容第二十六页，共一百一十二页，编辑于2023年，星期日第三章判断判断判断是对思维对象有所断定的思维形式贪污罪是故意罪太平洋比印度洋的面积大如果天下雨，那么地上湿犯罪行为必然是违法行为第二十七页，共一百一十二页，编辑于2023年，星期日判断的真假二值逻辑真假逻辑值真假值真第二十八页，共一百一十二页，编辑于2023年，星期日判断的分类判断模态判断——包含有模态词非模态判断复合判断简单判断复合判断是判断自身包含有其他判断的判断如果某人犯罪，那么某人就要受到法律的制裁肢判断肢判断联结词：如果…那么…（常项）肢判断：p、q、r、s、t…（变项）第二十九页，共一百一十二页，编辑于2023年，星期日性质判断性质判断是断定对象具有或不具有某种性质的判断犯罪行为是危害社会的行为有些被告不是罪犯有的犯罪是故意犯罪过失犯罪没有犯罪动机第三十页，共一百一十二页，编辑于2023年，星期日3．联项：主、谓项之间的联结词性质判断的形式结构有四个部分组成1．主项：判断的陈述对象2．谓项：表示陈述对象的性质4．量项：表示主项数量范围的概念（S）（P）联项是不是——肯定——否定质全称特称单称所有的、一切、凡…有的、有些、有…这个、那个…变项常项量第三十一页，共一百一十二页，编辑于2023年，星期日性质判断的种类全称肯定判断犯罪行为是危害社会的行为凡S是PSAPA全称否定判断过失犯罪没有犯罪动机凡S不是PSEPE特称肯定判断有些犯罪是故意犯罪有S是PSIPI特称否定判断有些罪犯不是男性有S不是PSOPO第三十二页，共一百一十二页，编辑于2023年，星期日性质判断的真值表SP

SP

PSSP

SPSAPSEPSIPSOPFTTTTTTTTTFFFFFFFFFT第三十三页，共一百一十二页，编辑于2023年，星期日

A、O/E、I

不同真，不同假

——矛盾关系

A、E

同假，不同真

——（上）反对关系

I、O

同真，不同假

——下反对关系

A、I/E、O——差等关系●性质判断的对当关系●性质判断的对当关系是指同素材的性质判断之间所具有的真假制约关系。第三十四页，共一百一十二页，编辑于2023年，星期日

A

(上)反对

E

差

差

等

等

I

下反对

O

◎

逻辑方阵图

◎第三十五页，共一百一十二页，编辑于2023年，星期日性质判断项的周延性问题周延性是判断对其项的外延的断定如果一个判断对其某项的全部外延作断定，则该项是周延的；如一判断没有对其某项的全部外延作断定，则该项是不周延的。第三十六页，共一百一十二页，编辑于2023年，星期日项的周延性表主项（S）谓项（P）A周延不周延E周延周延I不周延不周延O不周延周延第三十七页，共一百一十二页，编辑于2023年，星期日关系判断关系判断是断定对象之间关系的判断一个关系判断由关系者项、关系项、量项三部分组成

我比你年长。小张与小王是恋人。上海在北京的东南方向。很多人认识你哥哥。黄山比九华山高。第三十八页，共一百一十二页，编辑于2023年，星期日关系判断的构成

关系者项

a、b、c…

关系项

R关系判断的公式

aRbR（a、b、c…）第三十九页，共一百一十二页，编辑于2023年，星期日复合判断之负性质判断●负判断：由否定一个判断所构成的判断所有的案件都是刑事案件P

并非所有的案件都是刑事案件并非P●负判断的逻辑形式并非P﹁P

P●负判断的逻辑特性负判断的真假与其肢判断的真假之间的关系第四十页，共一百一十二页，编辑于2023年，星期日负判断的真值表FT并非P为真当且仅当P为假PTF﹁P﹁PP假﹁P﹁PP﹁P假P﹁﹁

P双重否定律第四十一页，共一百一十二页，编辑于2023年，星期日负性质判断

SAPSEPSIPSOP﹁SAP﹁SEP﹁SIP﹁SOP﹁SAPSOP﹁SEPSIP﹁SIPSEP﹁SOPSAP●任何一个判断的负判断都等值于原判断的矛盾判断第四十二页，共一百一十二页，编辑于2023年，星期日联言判断（并存关系）联言判断是陈述若干事物情况同时存在的复合判断张三犯有抢劫罪和杀人罪虽然他的认罪态度较好，但是他的罪行是严重的联言判断的结构由肢判断和联结词构成联言判断的肢判断：p、q、r……联言判断的联结词：并且联言判断的逻辑形式：p并且qp∧q第四十三页，共一百一十二页，编辑于2023年，星期日联言判断的逻辑特性真值表：定义作用、判定作用

pq

TTTFFTFF第四十四页，共一百一十二页，编辑于2023年，星期日联言判断的逻辑特性pqTTTFFTFFp∧qTFFFp∧q真,当且仅当p真并且q真﹁(p∧q)p∨q第四十五页，共一百一十二页，编辑于2023年，星期日选言判断（选择关系）选言判断是陈述几种可能的事物情况中至少有一种情况存在的复合判断

某人学习成绩不好，或者是因为基础差、或者是因为不努力、或者是因为方法欠佳……

某人要么是正常死亡，要么是非正常死亡相容的选言判断逻辑形式：p或者q符号式：p∨q第四十六页，共一百一十二页，编辑于2023年，星期日相容选言判断的逻辑特性pqp∧qp∨qTTTTFFFTFFFFTTTF第四十七页，共一百一十二页，编辑于2023年，星期日不相容选言判断陈述几种可能的情况中至少有一种情况存在并且只能有一种情况存在的选言判断这个三角形，要么是直角的，要么是锐角的，要么是钝角的。联结词：要么……要么……逻辑形式：要么p,要么q符号式：p∨q，第四十八页，共一百一十二页，编辑于2023年，星期日不相容选言判断的逻辑特性pqp∧qp∨qp∨qTTTTTFFTFTFTFFFF，，﹁（p∨q）∨FTTF（p∧q）（p∧q）第四十九页，共一百一十二页，编辑于2023年，星期日假言判断（条件关系）有条件地陈述事物情况的复合判断肢判断：p（前件）q（后件）对象间的条件联系：

物体生热摩擦火烤日晒通电……

特点：有前件必有后件，无前件未必无后件有p必有q，无p，q不定——充分条件第五十页，共一百一十二页，编辑于2023年，星期日庄稼丰收选择良种精耕细作合理施肥水份适宜……特点：无前件必无后件，有前件未必有后件无p必无q，有p，q不定——必要条件三边相等三角相等特点：有前件必有后件，无前件必无后件有p必有q，无p必无q——充要条件第五十一页，共一百一十二页，编辑于2023年，星期日充分条件假言判断陈述某一事物情况是另一事物情况存在的充分条件的假言判断

如果某人作案，那么某人就有作案时间联结词：如果……那么……逻辑形式：如果p，那么q符号式：

p→q第五十二页，共一百一十二页，编辑于2023年，星期日充分条件假言判断的逻辑特性pqp→qTTTFFTFFTFTT﹁（p→q）（p→q）﹁（p∧q）（p→q）p∨qp∧q第五十三页，共一百一十二页，编辑于2023年，星期日必要条件假言判断陈述某一事物情况是另一事物情况存在的必要条件的假言判断

只有认识错误，才能改正错误联结词：

只有……才……逻辑形式：

只有p，才q符号式：

p←q第五十四页，共一百一十二页，编辑于2023年，星期日必要条件假言判断的逻辑特性pqp→qp←qTTTTFFFTTFFTTTFT﹁（p←q）（p←q）﹁（p∧q）（p←q）p∧qp∨q第五十五页，共一百一十二页，编辑于2023年，星期日充分和必要假言判断的转换pqp→qp←qTTTTTFFTFTTFFFTT（p←q）（p→q）（p→q）（q→p）（q←p）（p→q）（q←p）第五十六页，共一百一十二页，编辑于2023年，星期日充要条件假言判断陈述某一事物情况是另一事物情况存在的充要条件的假言判断偶数，当且仅当能被2整除联结词：…当且仅当…

当且仅当…才…逻辑形式：p当且仅当q

当且仅当p，才q符号式：pq第五十七页，共一百一十二页，编辑于2023年，星期日充要条件假言判断的逻辑特性pqp→qp←qpqTTTTTFFTFTTFFFTTTFFT（pq）（p→q）∧（p←q）﹁（pq）（p→q）∧（p←q）﹁（pq）﹁（pq）（p→q）∨（p←q）（p∧q）∨（p∧q）（pq）（p∧q）（p∧q）∨第五十八页，共一百一十二页，编辑于2023年，星期日复合判断关系的真值表判定

﹁（p→q）p∧qpqpqTTFFTFFTFTTFFFTTTFTT﹁（p→q）FTFFFTFFp→qp∧q第五十九页，共一百一十二页，编辑于2023年，星期日复合判断关系的真值表判定pqpqTTFFTFFTFTTFFFTT﹁（p

q）（p∧q）∨（p∧q）﹁（pq）（p∧q）∨（p∧q）TTFFFFTTTTFFFFFFFFTT第六十页，共一百一十二页，编辑于2023年，星期日第四章演绎推理推理：从一个或几个已知判断中得出一个新判断的思维形式推理的结构成分：

前提

结论前提、结论（……所以……）推出→第六十一页，共一百一十二页，编辑于2023年，星期日推理结论的真实由前提推出结论的过程合乎推理规则

——推理形式有效(与前提真假无关)推理结论真实的条件：

1、前提真实

2、推理合乎逻辑第六十二页，共一百一十二页，编辑于2023年，星期日推理的分类推理必然性推理或然性推理(演绎推理)(非演绎推理)简单判断的推理复合判断的推理归纳推理类比推理一般到个别个别到一般个别到个别或一般到一般第六十三页，共一百一十二页，编辑于2023年，星期日直接推理前提是一个性质判断，结论直接从前提判断中推导出来的一种演绎推理直接推理有两种：对当关系推理判断变形推理对当关系直接推理

根据性质判断之间的对当关系所进行的直接推理第六十四页，共一百一十二页，编辑于2023年，星期日

A

(上)反对

E

差

差

等

等

I

下反对

O

◎

逻辑方阵图

◎第六十五页，共一百一十二页，编辑于2023年，星期日对当关系推理的类型例举1、反对关系SAP→﹁SEP/SEP→﹁SAP2、下反对关系﹁SIP→SOP/﹁SOP→SIP3、差等关系

SAP→SIP/﹁SIP→﹁SAPSEP→SOP/﹁SOP→﹁SEP

4、矛盾关系

SAP→﹁SOP/SOP→﹁SAP﹁SAP→SOP/﹁SOP→SAPSEP→﹁SIP/SIP→﹁SEP﹁SEP→SIP/﹁SIP→SEP

第六十六页，共一百一十二页，编辑于2023年，星期日判断变形推理通过改变性质判断的逻辑形式所进行的直接推理SIPSAP→SEPSEP→SAPSIP

→SOPSOP→换质法第六十七页，共一百一十二页，编辑于2023年，星期日换位法SEP→PESSIP→PISSAP→PIS判断变形推理SEP→PES→SOPPAS→SAP→SIP→PIS→SAP→SAP→PISPOS第六十八页，共一百一十二页，编辑于2023年，星期日关系判断的推理1．对称性对称（必然）aRb→bRa反对称（必然不）aRb→﹁bRa非对称（不必然）aRb→bRa？2．传递性传递（必然）aRb∧bRc→aRc反传递（必然不）aRb∧bRc→﹁aRc非传递（不必然）aRb∧bRc→aRc？第六十九页，共一百一十二页，编辑于2023年，星期日演绎推理的三个特征从一般到个别

结论所断定的范围不会超过前提前提蕴涵结论

前提真结论一定为真结论是必然的

前提已定，结论是一定的第七十页，共一百一十二页，编辑于2023年，星期日三段论三个性质判断——大前提、小前提、结论三个项——大项、中项、小项

MPSM∴SP结论小项大项大前提小前提中项三段论的公理遍有遍无律SMPSMP第七十一页，共一百一十二页，编辑于2023年，星期日三段论的一般规则一个三段论必须有而且只能有三个项

物质是永恒不灭的，恐龙是物质所以，恐龙是永恒不灭的中项在前提中至少周延一次鱼都是会游水的鲸鱼是会游水的所以，鲸鱼是鱼

PAMSAM∴SAPMP第七十二页，共一百一十二页，编辑于2023年，星期日前提中不周延的项在结论中不能周延1.大项不当周延（大项扩大）警察是应当守法的

我不是警察所以，我不应当守法

MAPSEM∴SEPMP

2.小项不当周延（小项扩大）水银是液体水银是金属

所以，金属都是液体

MAPMAS∴SAPPMS第七十三页，共一百一十二页，编辑于2023年，星期日两个否定的前提推不出结论张三不是杀人犯李四不是张三所以，？三犯四

否定判断的主谓项是相互排斥的SPSSPP第七十四页，共一百一十二页，编辑于2023年，星期日前提之一为否定，结论为否定两个否定的前提得不出结论前提之一为特称，结论为特称两个特称的前提得不出结论

第七十五页，共一百一十二页，编辑于2023年，星期日中项周延项有三大项小项莫扩展一特得特否得否特否成双推论难第七十六页，共一百一十二页，编辑于2023年，星期日三段论的格与式格：由中项在前提中不同的位置所决定的三段论的不同的形式中项在前提中的位置：

MPPMMPPMSMSMMSMSSPSPSPSP第一格第二格第三格第四格第七十七页，共一百一十二页，编辑于2023年，星期日三段论第一格的规则小前提必肯定大前提必全称证明：若小前提否定——结论必否定——大项必周延——大前提必否定——两否定前提不能得出结论——所以，小前提必肯定若小前提肯定——谓项（中项）不周延——大前提中的中项必周延——大前提中的中项为主项——所以，大前提必全称典型格、完善格、审判格第七十八页，共一百一十二页，编辑于2023年，星期日第一格为何又叫审判格？

是因为第一格在司法实践中的特殊地位审案时，都是以法律条文为大前提（准绳）以行为事实为小前提（依据），运用该格推出具体对象应承担什么样的法律责任（是否有罪及应受何处罚等）例：所有的故意犯罪都不是过失犯罪受贿是故意犯罪所以，受贿不是过失犯罪第七十九页，共一百一十二页，编辑于2023年，星期日三段论第二格的规则必有一前提为否定大前提必全称证明：若两前提都肯定——中项必不周延——犯了“中项不周延的错误”；若两前提都否定——犯了“两否定前提的错误”；前提既有一为否定——结论必否定——大项必周延——大项在大前提中为主项——主项周延的判断必为全称判断

区别格第八十页，共一百一十二页，编辑于2023年，星期日区别格的作用因为该格的结论一定是否定判断（前提中必有一否定），所以常用来推断某事物不属于某类。例：鸟都是卵生动物蝙蝠不是卵生动物所以，蝙蝠不是鸟第八十一页，共一百一十二页，编辑于2023年，星期日三段论第三格的规则小前提必肯定结论必特称证明：若小前提为否定——结论必否定——大项必周延——大前提必否定——犯了“两否定前提的错误”；小前提肯定——小项不周延——小项是结论的主项——结论必特称

例证格、反驳格第八十二页，共一百一十二页，编辑于2023年，星期日例证格、反驳格的作用该格的结论一定是特称。该格是通过对某些具体事例的考察，得出特称的结论，从而推翻另一与之矛盾的全称判断。例：汞是液体雷锋不自私汞是金属雷锋是人所以，有的金属是液体/有的人不自私(推翻与之矛盾的全称判断：金属都是固体/

人都是自私的)第八十三页，共一百一十二页，编辑于2023年，星期日三段论第四格的规则若大前提肯定，则小前提必全称若小前提肯定，则结论必特称前提中有一否定，则大前提必全称证明：若大前提肯定——中项在大前提不周延——中项在小前提必周延——则小前提必全称若小前提肯定——小项不周延——则结论必特称前提中有一否定——结论必否定——大项必周延——则大前提必全称第八十四页，共一百一十二页，编辑于2023年，星期日式：由四种不同的性质判断在前提和结论中不同的组合所决定的三段论的不同的形式。例如：

MAPPEMMAPSAMSAMMIS∴SAP∴SEP∴SIP

64式中大多是无效式，例如：

EOAIEOAIEOOA第八十五页，共一百一十二页，编辑于2023年，星期日三段论的正确式第一格第二格第三格第四格ＡＡＡＡＥＥＡＡＩＡＡＩＡＩＩＥＡＥＡＩＩＡＥＥＥＡＥＥＩＯＥＡＯＥＡＯＥＩＯＡＯＯＥＩＯＥＩＯ（ＡＡＩ）（ＡＥＯ）ＩＡＩＩＡＩ（ＥＡＯ）（ＥＡＯ）ＯＡＯ（ＡＥＯ）表中带括号的为弱式，三段论有19个正确的式第八十六页，共一百一十二页，编辑于2023年，星期日省略三段论在表达中把不言自明的部分省去的三段论

1、省略大前提例：经济规律是客观规律，它是不以人的意志为转移的。

2、省略小前提例：任何公民都要遵守法律，领导干部也得遵守。

3、省略结论例：没有文化的军队是愚蠢的军队，而愚蠢的军队是不能战胜敌人的。第八十七页，共一百一十二页，编辑于2023年，星期日省略三段论的补足补足前提找出结论并明确小项（S）和大项（P），确定省略的前提（大或小），补足例：小王是唯物主义者，因为他是无神论者。补足：所有唯物主义者都是无神论者小王是无神论者所以，小王是唯物主义者（中项不周延）第八十八页，共一百一十二页，编辑于2023年，星期日省略三段论的补足补足结论在前提所含的三个项中找出中项根据规则由前提中其余两个项组成结论例：南方人喜欢吃甜食，小李不喜欢吃甜食。补足：南方人喜欢吃甜食小李不喜欢吃甜食所以，小李不是南方人第八十九页，共一百一十二页，编辑于2023年，星期日复合判断的推理以复合判断为前提并且根据复合判断的逻辑特性所进行的演绎推理

小王是青年，小王是律师；所以小王是青年律师这些证据要么是直接证据，要么是间接证据；这些证据是直接证据；所以，这些证据不是间接证据。只有年满十八岁，才有选举权；某人有选举权；所以，某人已满十八岁。第九十页，共一百一十二页，编辑于2023年，星期日联言推理pqp∧qTTTTFFFTFFFFp∧q→p（分解式）p∧q→q（分解式）p，q

→p∧q（合成式）第九十一页，共一百一十二页，编辑于2023年，星期日不相容选言推理pqp∨qTTFTFTFTTFFF，，，，，（p∨q）∧p→q（肯否式）（p∨q）∧p→q（否肯式）（p∨q）∧q→p（p∨q）∧q→p第九十二页，共一百一十二页，编辑于2023年，星期日相容选言推理（p∨q）∧p→q（肯否式）×pqp∨qTTTTFTFTTFFF（p∨q）∧p→q（否肯式）第九十三页，共一百一十二页，编辑于2023年，星期日充分条件假言推理pqp→qTTTTFFFTTFFT（p→q）∧p→q（顺肯式）（逆否式）（p→q）∧q→p（p→q）∧q→p×（p→q）∧p→q×第九十四页，共一百一十二页，编辑于2023年，星期日必要条件假言推理pqp←qTTTTFTFTFFFT（顺否式）（p←q）∧p→q（p←q）∧q→→→pp（逆肯式）（p←q）（p←q）∧∧qqp××第九十五页，共一百一十二页，编辑于2023年，星期日充要条件假言推理pqp→qp←qpqTTTTTTFFTFFTTFFFFTTT（顺肯式）（pq）∧p→q（pq）（pq）（pq）∧∧∧pp→→→qqq（顺否式）（逆肯式）（逆否式）p第九十六页，共一百一十二页，编辑于2023年，星期日（p→q）∧p→q（顺肯式）充分（p→q）∧∧∧∧∧∧∧q→→→→→→→p（逆否式）（p←q）（p←q）pqqqqq（顺否式）必要pppp（逆肯式）充要（pq）（pq）（pq）（pq）qp（顺肯式）（逆否式）（顺否式）（逆肯式）第九十七页，共一百一十二页，编辑于2023年，星期日假言易位推理（p→q）（q→p）→假言连锁推理（p→q）∧（q→r）→（p→r）（p→q）∧（q→r）→（r→p）第九十八页，共一百一十二页，编辑于2023年，星期日二难推理由两个假言判断和一个二支的选言判断为前提的假言选言推理简单构成式（p→q）∧（r→q）∧（p∨r）→q简单破坏式（p→q）∧（p→r）∧（﹁q∨﹁

r）→

﹁p复杂构成式（p→q）∧（r→s）∧（p∨r）→（q∨s）复杂破坏式（p→q）∧（r→s）∧（﹁q∨﹁

s）→（﹁p∨﹁

r）第九十九页，共一百一十二页，编辑于2023年，星期日二难推理构成式的总体逻辑框架就是充分条件假言推理的有效式——肯定前件式（p→q）∧（r→q）∧（p∨r）→q（p→q）∧（r→s）∧（p∨r）→（q∨s）破坏式的总体逻辑框架就是充分条件假言推理的另一有效式——否定后件式（p→q）∧（p→r）∧（﹁q∨﹁

r）→﹁p

（p→q）∧（r→s）∧（﹁q∨﹁

s）→（﹁p∨﹁

r）第一百页，共一百一十二页，编辑于2023年，星期日上帝能否创造一块连他自已也举不起来的石头？如果上帝能创造一块连他自已也举不起来的石头，那么，上帝就不是全能的（因为有一块石头他举不起来）；如果上帝不能创造一块连他自已也举不起来的石头，那么，上帝也不是全能的（因为有一块石头他不能创造）；或者上帝能创造一块连他自已也举不起来的石头，或者上帝不能创造一块连他自已也举不起来的石头，总之，上帝不会是全能的。第一百零一页，共一百一十二页，编辑于2023年，星期日第五章