逻辑名词。也叫三段论﹑三段论法。形式逻辑间接推理的基本形式，由大前提﹑小前提﹑结论三部分组成，故称。