逻辑推理的近义词

直接推理：“间接推理”的对称。前提只有一个判断的推理。主要的有：（1）前提是一个性质判断的直接推理，包括换质法、换位法、换质位法等。（2）前提是一个关系判断的直接推理。如：“a比b大，所以，b比a小。”（3）前提是一个假言判断的直接推理。如由“如果两个三角形全等，那么它们的对应角相等”推出“只有两个三角形的对应角相等，这两个三角形才全等”。
间接推理：“直接推理”的对称。前提有两个或更多判断的推理。主要包括：三段论，纯粹关系推理，混合关系推理，纯粹假言推理，假言直言推理，选言直言推理，假言选言推理，各种归纳推理，类比推理。