直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论，它从一个直言命题得出另一个直言命题，所以被称为是直接的。在传统逻辑中主要有换质法（Obversion）、换位法（Conversion）和对置法（Contraposition）。
直言命题的四种类型的谓词逻辑表示：
依据全称量词和存在量词之间的对偶关系（对立四边形中矛盾关系）可以直接得出：
上面加粗表述是亚里士多德《解释篇》中采用的形式。
假定了主词对应的范畴确有个体存在之后可得出蕴涵关系（又译差等关系）：
在蕴涵关系和对偶关系之上可确立全称命题间不同真关系（又译反对关系）：
和特称命题之间的不同假关系（又译下反对关系）：
换位法对调主词和谓词的位置（采用谓词逻辑就没有了传统的主词谓词差别）：
换质法否定谓词本身而改变命题的性质，这里有：
：对置法是换质后换位：
特称肯定命题（I）变为特称否定命题（O）后不能换位。
对置后再换质叫反对置法（Obverted Contraposition）：
