逻辑方阵

在直言命题中，用相同的素材即主词和宾词相同而构成的A、E、I、O四种不同类型的命题，它们之间存在一种特定的真假关系。传统逻辑用一种四方图形来表示这种关系：

这种图形就叫做“逻辑方阵”。它包括四种关系：反对关系、差等关系、矛盾关系和下反对关系。反对关系指A和E两个命题的关系，特征是：两者不可同真，可以同假。差等关系指A和I、E和O之间的关系，特征是：如果全称命题真，则特称命题一定真；如果特称命题假，则全称命题一定假。矛盾关系指A和O、E和I之间的关系，特征是：两者既不可同真，也不可同假。下反对关系指I和O两个命题的关系，特征是：两者不可同假，可以同真。传统逻辑又把上面逻辑方阵所表现的几种关系统称为对当关系。根据对当关系，就可以由一种类型命题的真假，推出其他三种命题的真假情况。这种推理，可用下表反映：

已知真 推知	A	E	I	O	推知 已知假
A	真	假	真	假	O
E	假	真	假	真	I
I	不定	假	真	不定	E
O	假	不定	不定	真	A