对立四边形 对立四边形又称逻辑方阵四角對當是传统逻辑亚里士多德逻辑中用于直接推理的术语它图示了四种标准直言命题之间的对立关系 对于主项S和谓项P提供了如下规则 全称命题不同真contrariety又称反对关系至少有一个必须是假 矛盾contradiction的命题有对立的真值 全称命题蕴涵subalternation又称差等关系它们的下级特称命题 特称命题不同假subcontrariety又称下反对关系至少有一个必须是真 只有前两个规则是亚里士多德在他的著作解释篇中陈述的第三个规则是后人从他的前分析篇中补充进来的第四个规则是后人从前两个规则做出的推论