第一章 性质命题（最基础，最难*****）

一、性质命题定义（必考）

判断事物具有或不具有某种性质的命题。

二、性质命题的四种基本形式

全称肯定：①所有的A都是B
全称否定：②所有的A不是B
特称肯定：③有的A是B
特称否定：④有的A不是B

三、两命题之间的四种基本关系

①包含关系：A⊂B，得：A→B，┑B┑A（A包含于B中，A真则B真，B假则A假）
②互斥（上反对）关系：A∩B=∅（空集）：无交集，不同真，可同假。（不同时为真，可两个都为假。）
③矛盾关系：AB=∅(互斥)且AB=(全集)：互斥相加为全集：A与B必一真一假。
(A┑B;B┑A;┑AB;┑BA。)
④下反对关系：AB且AB=∅，A与B可同真，不同假。（并集）

四、四种性质命题之间的基本关系

四种性质命题之间的基本关系（常考包含和矛盾）
①所有的A都是B；②所有的A不是B；③有的A是B；④有的A不是B
1）包含：①③，②④（包含者推被包含者，小推大）
2）互斥：①②、①④、②③（不同真，可同假）
3）矛盾：①④，②③（必一真一假，非①即④）
4）下反对：③④（可同真，不同假）
5）等价：有的A是B=有的B是A；所有A都不是B=所有B都不是A。

五、性质命题-解题方法

考点1-真假推理

真假推理
1）找关系：先找矛盾关系、后找包含关系：
①所有的A都是B；②所有的A不是B；③有的A是B；④有的A不是B。
矛盾：①④，②③（必一真一假，非①即④）。
包含：①③，②④（包含者推被包含者，反之不行）。
2）定其余：矛盾关系必有一真一假。

考点2-矛盾、包含推理（矛盾考最多，要记住以下四句）

矛盾、包含推理
1）矛盾推理
①所有A都是B矛盾有的A不是B
②所有A都不是B矛盾有的A是B
2)包含推理
①所有A都是B有的A是B（矛盾命题：┑所有都是有的不是。（否①，则④真））
②所有A都不是B有的A不是B（矛盾命题：┑所有都不是有的是）