直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论，它从一个直言命题得出另一个直言命题，所以被称为是直接的。在传统逻辑中主要有换质法（Obversion）、换位法（Conversion）和对置法（Contraposition）。
对立四边形.直言命题的四种类型的谓词逻辑表示：依据全称量词和存在量词之间的对偶关系（对立四边形中矛盾关系）可以直接得出：上面加粗表述是亚里士多德《解释篇》中採用的形式。假定了主词对应的范畴