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