构造一个三段论
S＝小项（结论主项） P＝大项（结论谓项） M＝中项
点击任一命题，设定它为真 / 为假
同一素材（S、P 相同）的 A/E/I/O 四命题之间存在固定的真假制约关系。 点一下切换：真 → 假 → 未知。
对当关系速查
| 关系 | 命题对 | 逻辑特征 | 有效推理 |
|---|---|---|---|
| 矛盾 | A—O、E—I | 不能同真，不能同假 | A ↔ ¬O；E ↔ ¬I |
| 反对 | A—E | 不能同真，可以同假 | A → ¬E；E → ¬A |
| 下反对 | I—O | 不能同假，可以同真 | ¬I → O；¬O → I |
| 差等 | A—I、E—O | 全称真则特称真；特称假则全称假 | A → I；E → O；¬I → ¬A；¬O → ¬E |
易错点 · 排中律只适用于矛盾关系；反对关系（A 与 E）可以同假，
所以「所有 S 是 P」为假，推不出「所有 S 不是 P」为真——推得出的只是「有的 S 不是 P」。
主谓项周延性速查
| 命题 | 形式 | 主项 S | 谓项 P | 记忆口诀 |
|---|---|---|---|---|
| A | 所有 S 是 P | 周延 | 不周延 | 全称主项周延 |
| E | 所有 S 不是 P | 周延 | 周延 | 否定谓项周延 |
| I | 有的 S 是 P | 不周延 | 不周延 | 特称主项不周延 |
| O | 有的 S 不是 P | 不周延 | 周延 | 肯定谓项不周延 |
要点 · 周延性是命题对词项外延的断定方式，离开命题单独谈一个概念周不周延没有意义。
命题变形演练：换质 / 换位 / 换质位
S
P
| 原命题 | 换质（改质 + 谓项取矛盾） | 换位（主谓互换） | 换质位 |
|---|
注意 · SOP（有的 S 不是 P）不能换位：
它的主项 S 不周延，换位后 S 成为否定命题的谓项，必然周延，违反「前提中不周延的项结论中不得周延」。
直言命题对应的欧拉图
同一个 A 命题在欧拉图下其实对应两种可能：全同关系与真包含于关系。 这正是「所有 S 是 P」不能简单换位为「所有 P 是 S」的原因。