直接推理維基百科,自由的 encyclopedia 直接推理(immediate inference),是日常語言和亞里斯多德的詞項邏輯中常見的基本推理形式。不同於從兩個直言命題得出一個直言命題的直言三段論,它從一個直言命題得出另一個直言命題,所以被稱為是直接的[1] 。在傳統邏輯中主要有換質法(Obversion)、換位法(Conversion)、對置法(Contraposition)和反對置法(Obverted Contraposition)。
直接推理(immediate inference),是日常語言和亞里斯多德的詞項邏輯中常見的基本推理形式。不同於從兩個直言命題得出一個直言命題的直言三段論,它從一個直言命題得出另一個直言命題,所以被稱為是直接的[1] 。在傳統邏輯中主要有換質法(Obversion)、換位法(Conversion)、對置法(Contraposition)和反對置法(Obverted Contraposition)。