逻辑名词。也叫三段论、三段论法。形式逻辑间接推理的基本形式，由大前提、小前提、结论三部分组成，故称。如：“凡金属都能导电”（大前提），“铜是金属”（小前提），“所以铜能导电”（结论）。