如：形式逻辑间接推理的基本形式之一，由大前提和小前提推出结论。如：间接推理可分归纳推理、演绎推理、类比推理三种。