形式邏輯中間接推理的基本形式，由大前提、小前提和結論三部分組成。