名师整理 精华知识点
所以，非Ｑ 所以，非Ｐ
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、属种关系：判断两个概念之间是不是属种关系，可以在两者之间加一个“是”看它们之间能不能说明，能说明的有可能是属种关系，不能说明的一定不是属种关系