直接推理的两种类型：分为根据对当关系、根据判断变形的直接推理

直接推理是由一个判断推出另一个新判断的推理。

在传统逻辑中，直接推理有两种：

根据对当关系的直接推理；

根据判断变形的直接推理。