对当方阵关系定理
概述
对当方阵关系定理（Square of Opposition）：A、E、I、O 四种标准直言命题之间存在四种系统的逻辑关系——矛盾关系、反对关系、下反对关系和差等关系。这些关系构成一个正方形图示（对当方阵），使得已知某一命题的真假即可推断其他三种命题的真假。
定理陈述
形式化陈述
定理（对当方阵关系定理）：设 A、E、I、O 为具有相同主项 和谓项 的四种标准直言命题：
- A：所有 是 （全称肯定）
- E：没有 是 （全称否定）
- I：有 是 （特称肯定）
- O：有 不是 （特称否定）
则它们之间存在以下四种逻辑关系：
- 矛盾关系（A ↔ O，E ↔ I）：不可同真，不可同假
- 反对关系（A ↔ E）：不可同真，可同假
- 下反对关系（I ↔ O）：不可同假，可同真
- 差等关系（A → I，E → O）：上位真则下位必真，下位假则上位必假
各项说明：
- “同真/同假”指两个命题在某一特定解释下同时为真或同时为假
- “上位”指全称命题（A、E），“下位”指特称命题（I、O）
- 本定理在亚里士多德解释（假设主项非空）下完全成立；在布尔解释下仅矛盾关系成立
证明概要
证明思路（基于文恩图的集合论证明）
核心思想
将直言命题解释为关于集合（类）之间关系的陈述，利用文恩图（三个区域：、、、）的阴影区域来验证各对当关系。
详细步骤
第一步：用文恩图表示四种命题
- A（所有S是P）： 区域为空（画阴影）
- E（没有S是P）： 区域为空（画阴影）
- I（有S是P）： 区域非空（标×）
- O（有S不是P）： 区域非空（标×）
第二步：验证矛盾关系（A ↔ O）
A 命题要求 为空，O 命题要求 非空。两者对同一区域做出了互相排斥的要求——若 为空则 A 真 O 假，若 非空则 A 假 O 真。同理 E 与 I 对 区域的要求互相排斥。
因此矛盾关系成立：不可同真，不可同假。
第三步：验证反对关系（A ↔ E）
A 要求 为空，E 要求 为空。若两者同时为真，则 的全部（）都为空，即 为空类。在亚里士多德解释下（假设 非空），两者不可同真。但当 为空类时两者可同假（布尔解释下）。
因此反对关系成立：不可同真，可同假。
第四步：验证下反对关系（I ↔ O）
I 要求 非空，O 要求 非空。若两者同时为假，则 为空且 为空，即 为空类。在亚里士多德解释下，两者不可同假。但当 非空时两者可同真（如 既有属于 的元素也有不属于 的元素）。
因此下反对关系成立：不可同假，可同真。
第五步：验证差等关系（A → I，E → O）
若 A 为真（ 为空），且 非空，则 的所有元素都在 中，故 非空，即 I 为真。反之，若 I 为假（ 为空），则 中没有元素在 中，故 必须包含 的全部元素（若 非空），即 A 为假。
同理可证 E → O 的差等关系。
证毕。
关键推论
- 推论1（直接推论的基础）：对当方阵关系定理是直言命题直接推论的理论基础。已知某一命题的真假，可以系统性地推导出其他三种命题的真假状态。
- 推论2（布尔解释下的退化）：在 布尔解释 下，由于不假设主项非空，反对关系、下反对关系和差等关系均不成立，仅矛盾关系保留。这是现代逻辑对传统逻辑的重要修正。
- 推论3（三段论有效性的间接判定）：对当方阵关系可用于判定某些三段论的有效性，例如通过差等关系可以说明某些三段论式的有效性。
应用场景
- 直接推论：在 直言命题 的推理中，利用对当方阵可以从一个命题的真假直接推断其他命题的真假，无需引入额外前提。
- 三段论分析：在 直言三段论 的检验中，对当方阵关系可以帮助理解三段论各格式中前提与结论之间的逻辑联系。
- 日常论证：例如从”所有人都同意”（A真）可推出”有人同意”（I真），从”有人不同意”（O真）可推出”并非所有人都同意”（A假）。
- 逻辑教学：对当方阵是逻辑学入门教学中最直观的逻辑关系图示，帮助学生建立命题之间系统性的推理框架。