最新形式逻辑知识点总结资料
1、逻辑形式的组成：
由逻辑常项和逻辑变项两部分组成的。
2、概念的种类
判断是单独概念还是普遍概念取决于其外延中分子对象数量的多少，仅仅包含一个分子
对象就是单独概念，包含两个或两个以上分子对象就是普遍概念。
单独概念：只有一个分子对象的概念；
普遍概念：具有两个或两个以上分子对象的概念。
判断是集合概念还是非集合概念取决于语句中所规定的对象的属性是整体具有还是其中的分子对象也具有。
集合概念：把对象作为集合体来反映的概念
非集合概念：不把对象作为集合体来反映的概念
正概念：也叫肯定概念。反映对象具有某种属性的概念。
负概念：也叫否定概念，反映对象不具有某种属性的概念。
3、概念间的关系
全同关系（同一关系）： a b
真包含于关系（种属关系）：
真包含关系（属种关系）
交叉关系：
全异关系：设a,b两个概念,a概念与b概念的全部外延没有任何部分相重合即所有的a都不是b并且所有的b也都不是 a
矛盾关系：a,b两个概念外延全异，并且二者外延之和等于其邻近属概念的外延
反对关系：a,b两个概念,外延全异，并且二者外延之和小于其邻近属概念的外延
4、定义的规则：
（1）定义项外延与被定义项外延之间必须是全同关系。
违犯规则所犯错误：
定义过宽：定义项的外延大于被定义项的外延。
定义过窄：定义项的外延小于被定义项的外延。
（2）被定义项不得直接或间接出现在定义项中。
违犯规则所犯错误：同语反复：在定义项中直接出现了被定义项。
定义循环：在定义项中间接出现了被定义项。
（3）定义项必须用清楚确切的概念。
违犯规则所犯错误：定义含混；在定义项中使用了含混不清的概念。
以比喻代定义：定义项用了形象比喻。
4）定义联项不能是否定的。
违犯规则所犯错误：定义用否定联项
5、划分的规则
（1）划分必须是相应相称的（划分子项的外延之和等于划分母项的外延）
划分不全：子项的外延之和小于母项的外延。
多出子项：子项的外延之和大于母项的外延。
（2）划分的子项互相排斥（子项之间是全异关系）
（3）每次划分的根据必须同一（每次划分按照同一个标准进行）
所犯错误：划分标准不一
注意划分和分解的区别：
划分——把属概念分成种概念
分解——把整体分成部分、把集合体分成个体
例如：A. 把国家分为发达国家、发展中国家
B. 把国家分为省、市、自治区
6、限制遵守的规则：
（1）必须是由属概念推演到种概念
（2）对于单独概念不能限制。
7、概括遵守的规则：
（1）每一次概括必须是由种概念推演到属概念。
（2）哲学范畴不能概括
8、性质判断由四部分组成：主项，谓项，联项，量项
主项：表示性质判断中所断定的对象的概念（S）
谓项：表示性质判断中所断定的对象具有或不具有的性质的概念P）
联项：表示性质判断中主项和谓项之间联系的概念
量项：表示性质判断中主项数量的概念
9、性质判断的种类：决定性质判断不同种类的词项是(量项)和( 联项).
全称肯定判断:标准形式:所有S都是P 记为:SAP 简称A判断
全称否定判断:标准形式:所有S不是P 记为:SEP 简称E判断
特称肯定判断:标准形式:有S是P 记为:SIP 简称I判断
特称否定判断:标准形式:有S不是P 记为:SOP 简称O判断
单称肯定判断:标准形式:某个S是P 记为:SaP 简称a判断
单称否定判断:标准形式:某个S不是P 记为:SeP 简称e判断
注意:特称量项”有的”和日常语言中的”有的”含义不完全相同
10、同一素材的性质判断之间的真假关系即对当关系
第一、矛盾关系A与O，和E与I：具有矛盾关系的两个判断，二者不能同真，也不能同假，一个真则另一个必假，一个假则另一个必真。
第二：反对关系A与E：具有反对关系的两个判断，二者不能同真，但可以同假。即其中
一个判断为真则另一个判断一定为假，如果其中一个为假则另一个真假不定
第三：下反对关系I与O ：具有下反对关系的两个判断，二者可以同真，但不能同假。即
其中一个判断为真则另一个判断真假不定，如果其中一个判断为假则另一个判断一定真
第四：差等关系A与I 和E与O：在同质的条件下，全称判断真，则特称判断必真，全称
判断假，则特称判断真假不定，反之特称判断假。则全称判断必假特称判断真，则全称判断真假不定。
11、性质判断主谓项的周延性
周延性指的是在性质判断中对主项、谓项外延数量的断定情况。一个概念的外延自身并没有周延与否的问题。只有当一个概念充当了性质判断的主项或谓项才产生周延与否的问题。
12、性质判断对当关系的直接推理
（1）根据性质判断矛盾关系的直接推理（8种有效推理形式）
（2）反对关系的直接推理（2个有效推理形式）
（3）下反对关系直接推理（2个有效推理形式）
（4）差等关系直接推理：（4个有效推理形式）
全称判断真特称判断必真
全称判断假特称判断真假不定
特称判断真全称判断真假不定
特称判断假全称判断必假
13、性质判断变形的直接推理
（1）换质法推理遵守的两条规则
（a）结论改变前提的联项
（b）结论中的谓项变为前提中谓项的矛盾概念
（2）换位法推理遵守的两条规则：
a、前提中的主项在结论中换为谓项，前提中谓项在结论中换为主项
b、前提中不周延的项在结论中不得周延，前提中周延的项在结论中可以周延也可以不周延
c、前提和结论的质相同
（3）换质位与换位质连续交替法推理
14、任何一个三段论都包含大前提、小前提和结论三个不同的判断
同时任何一个三段论都包含大项、小项、中项三个不同的词项
15、三段论的一般规则：
四条基本规则：
1、中项在前提中必须至少周延一次。
违犯此项规则犯：“中项不周延”错误
2、前提中不周延的大项或小项，在结论中也不得周延
大项在前提中不周延，在结论中是周延的。犯“大项不当周延”的逻辑错误
小项在前提中不周延，在结论中是周延的。犯“小项不当周延”的逻辑错误
3、两个否定的前提不能必然推出结论
犯“两否定推结论”逻辑错误
4、前提中有一个是否定的，则结论只能是否定的，结论是否定的，则前提中必有一个是否
定的。
否则犯”由否定推肯定的逻辑错误”
任何一个三段论推理,当且仅当全部遵守这四条一般规则就是有效的,合乎逻辑的.
由上述一般规则导出如下两条规则
(1)两个特称的前提不能必然推出结论
（2）前提中有一个是特称的，则结论只能是特称的
16、三段论的格
17、对称关系，反对称关系，非对称关系
对称关系：在对象a与对象b之间，如果a对b有R关系，反之b对a也必定有R关系,即当aRb真bRa必真，那么关系R就是对称关系.
全同关系，交叉关系，全异关系
反对称关系：在对象a与对象b之间，如果a对b有R关系，反之b对a必定没有R关系,即当aRb真bRa必假，那么关系R就是反对称关系.
真包含于和包含于
非对称关系：在对象a与对象b之间，如果a对b有R关系，反之b对a可能有也可能没有R关系,即当aRb真，bRa可能真也可能假，那么关系R就是非对称关系。
18、传递关系，反传递关系，非传递关系
传递关系：在a，b，c三个对象之间，如果a对b有R关系，并且b对c也有R关系，则a 对c必定有R关系，即aRb真并且bRc真，则aRc必真的时候，则关系R就是传递关系。全同关系真包含于关系真包含关系
反传递关系：在a，b，c三个对象之间，如果a对b有R关系，并且b对c也有R关系，那么a对c一定没有R关系，即aRb真并且bRc真，则aRc必假的时候，则关系R就是反传递关系。
非传递关系：在a，b，c三个对象之间，如果a对b有R关系，并且b对c也有R关系，则a对c可能有也可能没有R关系，即aRb真并且bRc真，则aRc可能真也可能假的时候，关系R就是非传递关系。
19、联言判断的真假值
一个联言判断的真假是由联言枝的真假来确定的.当且仅当联言判断的各个联言枝都真时,该联言判断才是真的,只要有一个联言枝是假的,那么该联言判断就是假的
20、相容选言判断：是断定几个选言肢中至少有一个为真，并且可以同真的选言判断。
逻辑形式：P或者Q
数理逻辑符号：P∨Q （相容析取）
真值：相容选言判断的真假,取决于组成它的各个选言肢的真假,当且仅当一个相容选言判断
的各个选言肢中至少有一个是真的,该相容选言判断才是真的,如果所有选言肢都是假的,则该相容选言判断就是假的。
21、不相容选言判断及其真值：是断定几个选言肢中至少有一个并且只能有一个为真，而不可同真，也不可同假的选言判断。
逻辑形式：P要么Q 数理逻辑符号：P∨Q （不相容析取）
真值：当且仅当只有一个选言肢是真的时候，该不相容选言判断才是真的。
22、相容选言推理：
规则：否定一部分选言肢，就必须要肯定另一部分选言肢
肯定一部分选言肢则不能否定另一部分选言肢。
有效形式：否定肯定式：或者P，或者Q
非P（或非Q）
所以，Q（或P）
23、不相容选言推理规则：肯定一部分选言肢就必然要否定其余的选言肢
否定除一个以外的其余选言肢，就必然要肯定哪个未被否定的选言肢。
有效形式：
１、肯定否定式：前提中肯定一个选言肢，结论就必然要否定其余选言肢
要么Ｐ，要么Ｑ或要么Ｐ，要么Ｑ
ＰＱ
所以，非Ｑ所以，非Ｐ
2、否定肯定式：前提中否定一部分选言肢，结论中必然肯定另一部分选言肢。
逻辑形式：要么Ｐ，要么Ｑ
非Ｐ（或非Ｑ）
所以，Ｑ（或Ｐ）
24、充分条件假言判断及其真值
充分条件的含义：有P就有Q，没有P是否有Q不一定，这样P就是Q的充分条件
前后件的关系是：有前件必然有后件，没有后件必然没有前件
25、必要条件假言判断及其真值
必要条件：如果没有P就必然没有Q，如果有P则是否有Q不确定，则P就是Q的必要条件
必要条件假言判断前后件关系的内容：没有前件必然没有后件，有后件必然有前件
26、充分必要条件假言判断及其真值
充分必要条件：如果有P就必然有Q，如果没有P就必然没有Q，这样P就是Q的充分必要条件。
充分必要条件假言判断：逻辑形式：当且仅当P，则Q
什么叫有充分必要条件联系：前件真，后件必真；前件假后件就必假
27 、假言易位推理
遵守的规则: 1、对调假言前后件的位置
2、改变假言前提的逻辑联结项
逻辑形式：如果P，那么Q 只有P，才Q
所以，只有Q，才P 所以，如果Q，那么P
28、假言换质推理
规则：1、改变假言前提前、后件的真值
2、改变假言前提的逻辑联结项（前提是充分条件假言联结项，结论变为必要条件假
言联结项，前提是必要条件假言联结项结论是充分条件假言联结项）
逻辑形式：如果P，那么Q 或只有P，才Q
所以，只有非P，才非Q 所以，如果非
29、假言易位换质推理
即改变假言判断前后件的位置，又改变假言判断前后件的真值的假言直接推理
规则：1、对调假言前提前后件的位置
2、改变假言前提前后件的真值
如果P，那么Q 或只有P，才Q
所以，如果非Q，那么非P 所以，只有非Q，才非P
30、充分条件假言三段论推理
两条规则：肯定前件就要肯定后件，否定后件就要否定前件
否定前件不能否定后件，肯定后件不能肯定前件
两种有效推理形式：
肯定前件式：如果P，那么Q
否定后件式：在前提中，非假言前提否定充分条件假言前提的后件，而结论否定它的前件。
逻辑形式：如果P，那么Q
非Q
所以，非P
31、必要条件假言三段论推理
遵守的两条规则：
肯定后件就要肯定前件，否定前件就要否定后件
肯定前件不能肯定后件，否定后件不能否定前件
有效的推理形式：
肯定后件式：在前提中，非假言前提肯定必要条件的假言前提的后件。而结论肯定它的前件。
逻辑形式：只有P，才Q （P ← Q）∧Q → P
Q
所以，P
否定前件式：在前提中，非假言前提否定必要条件的假言前提的前件。而结论否定它的后件。
逻辑形式：只有P，才Q （P ← Q）∧非P →非Q
非P
所以，非Q
32、充分必要条件假言三段论推理
遵守的两条规则
肯定前件就要肯定后件，肯定后件就要肯定前件
否定前件就要否定后件，否定后件就要否定前件
有效形式
肯定前件式：在前提中，非假言前提肯定充分必要条件假言前提的前件，而结论肯定它的后件。
逻辑形式：当且仅当P，则Q
肯定后件式：在前提中，非假言前提肯定充分必要条件假言前提的后件。而结论肯定它的前件。
逻辑形式：当且仅当P，则Q
否定前件式：在前提中，非假言前提否定充分必要条件假言前提的前件而结论否定它的后件。
逻辑形式：当且仅当P，则Q
否定后件式：在前提中，非假言前提否定充分必要条件假言前提的后件，而结论否定它的前件。
逻辑形式：当且仅当P，则Q
33、负全称肯定判断及其等值推理
34、负全称否定判断及其等值推理
35、负特称肯定判断及其等值推理
36、负特称否定判断及其等值推理
37、负联言判断及其等值推理
38,、负选言判断及其等值推理
（1）负相容选言判断及其等值推理
（2）负不相容选言判断及其等值推理
39. 负假言判断及其等值推理
（1）负充分条件假言判断及其等值推理
（2）负必要条件假言判断及其等值推理
（3）负充分必要条件假言判断及其等值推理
40、同一律、不矛盾律、排中律的基本内容是什么？违反这些规律所犯的逻辑错误是什么？
排中律和不矛盾律所适用的范围有什么不同？
同一律：在同一思维过程中，每一思想都与其自身保持同一
不矛盾律：在同一思维过程中不能对两个具有相互矛盾和相互反对的思想同时肯定
排中律：在同一思维过程中不能对两个具有相互矛盾和相互下反对关系的思想同时否定
需要注意的几个问题
1、有些S是（或不是）P的含义与日常语言中的含义是不同的，其逻辑含义是：“至少有（或没有）一个”也可能是（不是）一些，也可能是（不是）全部
2、单称判断被当作全称判断是在由性质判断构成的三段论推理中，在性质判断对当关系及
其性质判断直接推理中不能把单称判断当作全称判断。
单称肯定与单称否定是矛盾关系
单称肯定与全称否定，全称肯定与单称否定是反对关系
单称肯定与特称否定，特称肯定与单称否定是下反对关系
单称肯定与全称肯定，单称否定与全称否定，单称肯定与特称肯定，单称否定与特称否定是差等关系
3、特殊句式的转换：
没有-----不是---- → 所有的----是------(SAP)
------不都是-------→ 有的-----不是-----(SOP)
------不都不是-----→ 有的-----是--------(SIP)
没有------是---------→ 所有的-----不是-----(SEP)
4、集合概念与非集合概念
首先分析某一概念是集合概念还是非集合概念，必须是在一个具体的语句中，其次看在这个语句中所指出的属性是对象整体具有，还是每一个分子对象也具有，前者就是作为集合概念来使用的。
5、属种关系：判断两个概念之间是不是属种关系，可以在两者之间加一个“是”看它们之间能不能说明，能说明的有可能是属种关系，不能说明的一定不是属种关系