“間接推理”的對稱。前提只有一個判斷的推理。主要的有：(1)前提是一個性質判斷的{1}，包括換質法、換位法、換質位法等。(2)前提是一個關系判斷的{1}。如：“a比b大，所以，b比a小。”(3)前提是一個假言判斷的{1}。如由“如果兩個三角形全等，那么它們的對應角相等”推出“只有兩個三角形的對應角相等，這兩個三角形才全等”。