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