直接推理維基百科,自由的 encyclopedia 直接推理(immediate inference),是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的[1] 。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)、对置法(Contraposition)和反对置法(Obverted Contraposition)。
直接推理(immediate inference),是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论,它从一个直言命题得出另一个直言命题,所以被称为是直接的[1] 。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)、对置法(Contraposition)和反对置法(Obverted Contraposition)。