定义 指全称肯定、全称否定、特称肯定、特称否定四种性质判断之间存在的真假制约与推导关系。
从哪来 本节为高二逻辑学起点，无前置知识点记录，直接基于“性质判断”的基本结构（量项、主项、谓项、联项）展开。
为什么 因为逻辑判断的真假取决于主项与谓项的外延关系。当主项范围确定（全或部）且性质确定（肯或否）时，四种组合在集合论中构成了互斥且穷尽的逻辑空间，从而形成固定的真假对应规律。
集合图示法
画两个圆（主项S和谓项P），分别画出全同、包含、交叉、全异四种关系，直观展示哪种关系下SAP、SEP、SIP、SOP的真假。
适合：视觉型学习者，空间思维较强，喜欢直观图解的学生。
生活类比法
用“班级学生”（S）和“团员”（P）举例。
- SAP：所有学生都是团员（假，因为有非团员）
- SEP：所有学生都不是团员（假，因为有团员）
- SIP：有些学生是团员（真）
- SOP：有些学生不是团员（真）
通过具体情境推导真假。
适合：抽象思维较弱，需要具体情境支撑，偏好经验型学习的学生。
口诀记忆法
- 反对关系（SAP-SEP）：不能同真，可以同假。
- 下反对关系（SIP-SOP）：不能同假，可以同真。
- 矛盾关系（SAP-SOP, SEP-SIP）：必有一真，必有一假。
- 差等关系（SAP-SIP, SEP-SOP）：真推真，假推假（单向）。
适合：听觉型学习者，擅长记忆口诀，需要快速应试技巧的学生。