形式逻辑间接推理的基本形式之一，由大前提和小前提推出结论。如“凡金属都能导电”（大前提），“铜是金属”（小前提），“所以铜能导电”（结论）。也叫三段论法或三段论式。