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