邏輯學名詞，由兩個直言判斷作為前提，推出第三個直言判斷作為結論的演繹推理形式。