逻辑方阵

---

指同一素材的A、E、I、O四种判断形式之间的真假关系。

它们之间共有四种关系：反对关系、矛盾关系、从属关系和下反对关系。逻辑书上常用一个正方形来表示这样的关系。这个图形就叫做“逻辑方阵。”

反对关系(方阵中上横线的关系)即由相同的主项和相同的谓项构成的A与E之间的关系。

如果已知一个判断是真的，就可推出另一判断必假(如A真则E必假，E真则A必假)；如果已知一个判断是假的，并不能推出另一判断必真，而是可真可假，真假不定(如A假则E不定，E假则A不定)。

矛盾关系(方阵中两条对角线的关系)即由相同的主、谓项构成的A与O之间，E与I之间的关系。如果已知一个判断是真的，就可推出另一判断必假(如A真则o必假，O真则A必假，E真则I必假，I真则E必假。)反过来，如果已知一个判断是假的，则可推出另一判断必真(如A假则o必真，O假则A必真。E假则I必真，I假则E必真。

)

从属关系(方阵中两条竖线的关系)也叫差等关系。即由相同的主、谓项构成的A与I之间，E与o之间的关系。如果已知全称判断是真的，就可推出特称判断必真(如A真则I必真，E真则O必真)，如果已知特称判断是假的，就可推出全称判断必假(如I

假则A必假，O假则E必假)。

但是，如果全称判断假，则特称判断真假不定(如A假则I不定，E假则O不定)如果特称判断真，则全称判断真假不定(如1真则A不定，O真则E不定)。

下反对关系(方阵中横线的关系)即由相同的主、谓项构成的I与o之间的关系。

如果已知一个判断是真的，则另一个判断真假不定(如I真则o不定，O真则I不定)，如果已知一个判断是假的，则另一个判断必真(如I假则O必真，O假则I必真)。