对当关系直接推理

---

根据A、E、I、o四种判断的对当关系而进行的直接推理。

逻辑方阵所表示的对当关系有24种，其中除了真假不定的8种关系外，还有16种是真假确定的关系。真假不定的关系不属于直接推理，因为它们的结论不能由前提必然推出来。

对当关系直接推理的16个正确式，可以分为以下四类：

(1)从一个判断真推出另一个判断真。即由A真推出I必真，由E真推出O必真。

这种推理是根据从属关系进行的，因为在从属关系中，全称判断真，则特称判断必真。

(2)从一个判断假推出另一个判断假。

即由I假推出A必假，由O假推出E必假。这种推理也是根据从属关系进行的。

因为在从属关系中，特称判断假，则全称判断必假。

(3)从一个判断真推出另一个判断假。即由A真推出O假，由E真推出1假，由O真推出A假，由I真推出E假；由A真推出E假，由E真推出A假。这种推理是根据矛盾关系或反对关系进行的。

因为它们都具有二者不能同真，一个真，另一个必假的关系。

(4)从一个判断假推出另一个判断真。

即由A假推出O真，由E假推出I真，由O假推出A真，由I假推出E真；由I假推出O真，由O假推出1真。这种推理是根据矛盾关系或下反对关系进行的。

因为它们都具有二者不能同假，一个假，另一个必真的关系。