集合推理

集合推理的核心是围绕“所有、有的、某个”等直言命题，运用固定推理规则（换位、递推、矛盾）处理集合间关系，解题关键是“熟记规则、符号化题干”，规律性强，无需主观判断。

一、核心考点

1. 直言命题的四种基本形式：明确“所有A是B、所有A不是B、有的A是B、有的A不是B”的逻辑含义及相互关系。
2. 换位推理：将命题中“主项（A）”和“谓项（B）”互换位置，需遵循固定规则，不能随意换位。
3. 递推推理：多个命题串联推导（如“所有A是B，所有B是C→所有A是C”），需满足递推条件。
4. 矛盾关系：识别命题间的矛盾关系（必有一真一假），用于真假判断或否定推导。
5. 直言命题的等价转换：将“不所有”“不有的”等否定表述转化为标准命题形式。

二、核心基础：直言命题的四种形式（必背）

命题类型	逻辑符号	通俗含义	示例
全称肯定命题	所有A是B	A集合完全包含于B集合	所有学生都是年轻人
全称否定命题	所有A不是B	A集合与B集合完全排斥	所有动物都不是植物
特称肯定命题	有的A是B	A集合与B集合有交集（至少1个）	有的员工是党员
特称否定命题	有的A不是B	A集合中至少1个元素不在B集合	有的水果不是甜的

关键注意：

• “有的”表示“至少1个，最多全部”，不代表“部分”（如“有的A是B”可能是“所有A是B”）。
• “某个A是B”“某个A不是B”属于单称命题，可视为“特称命题的特殊形式”（单称真→特称真）。

三、核心推理规则（必掌握）

1. 换位推理规则（核心考点）

• 目的：互换主项A和谓项B，得到等价或可推出的命题。
• 具体规则：
  1. 所有A是B → 有的B是A（不能推出“所有B是A”，如“所有学生是年轻人”→“有的年轻人是学生”）。
  2. 所有A不是B ↔ 所有B不是A（双向等价，如“所有动物不是植物”→“所有植物不是动物”）。
  3. 有的A是B ↔ 有的B是A（双向等价，如“有的员工是党员”→“有的党员是员工”）。
  4. 有的A不是B → 不能换位（如“有的水果不是甜的”不能推出“有的甜的不是水果”）。

2. 递推推理规则

• 前提：两个命题中存在“共同项”（中间项），且中间项在前提中至少周延一次（“所有”修饰的项为周延，“有的”修饰的项为不周延）。
• 具体规则：
  1. 所有A是B + 所有B是C → 所有A是C（中间项B均周延）。
  2. 所有A是B + 有的B是C → 有的A是C（中间项B在第一个命题中周延）。
  3. 有的A是B + 所有B是C → 有的A是C（中间项B在第二个命题中周延）。
  4. 有的A是B + 有的B是C → 无法递推（中间项B均不周延）。

3. 矛盾关系规则（用于真假判断）

• 核心特性：矛盾命题必有一真一假，可通过否定一个命题得到另一个命题。
• 具体矛盾对：
  1. 所有A是B ↔ 有的A不是B（如“所有学生及格”矛盾“有的学生没及格”）。
  2. 所有A不是B ↔ 有的A是B（如“所有学生没及格”矛盾“有的学生及格”）。
  3. 某个A是B ↔ 某个A不是B（如“小明及格”矛盾“小明没及格”）。

4. 否定转换规则（处理“不”开头的命题）

• 规则：“不”字后移，后面的量词（所有/有的）、联词（是/不是）全部反转。
• 示例：
  1. 并非所有A是B → 有的A不是B。
  2. 并非有的A是B → 所有A不是B。
  3. 并非所有A不是B → 有的A是B。
  4. 并非有的A不是B → 所有A是B。

四、核心解题步骤

1. 符号化题干：将自然语言转化为直言命题形式

• 操作：用“A、B”替代题干中的主体和谓项，标注“所有/有的/是/不是”，简化题干逻辑。
• 示例：题干“并非所有参加考试的人都能上岸”→ 否定“所有A是B”→ 有的A不是B（A=参加考试的人，B=能上岸）。

2. 应用规则推导：根据题目要求选择对应规则

• 若问“可推出什么”：优先用“换位规则”“递推规则”。
• 若问“真假判断”：优先用“矛盾关系规则”“否定转换规则”。

3. 匹配选项：逐一验证选项是否符合推导结果

• 关键：选项的逻辑形式需与推导结果完全一致，注意“所有/有的”“是/不是”的细节差异。

五、常见易错点提醒

1. 混淆“有的”的含义：“有的A是B”不排斥“所有A是B”，不能推出“有的A不是B”。
2. 错误换位：“有的A不是B”不能换位，“所有A是B”不能换位为“所有B是A”。
3. 无效递推：两个“有的”命题串联，无法推出任何结论。
4. 否定转换错误：“不”字后移时，需同时反转量词和联词，不能遗漏。