直接推理

直接推理是日常語言和亞里士多德的詞項邏輯中常見的基本推理形式 。 不同於從兩個直言命題得出一個直言命題的直言三段論 ， 它從一個直言命題得出另一個直言命題 ， 所以被稱爲是直接的 。 在傳統邏輯中主要有換質法 （ Obversion ） 、 換位法 （ Conversion ） 和對置法 （ Contraposition ） 。