逻辑学名词，由两个直言判断作为前提，推出第三个直言判断作为结论的演绎推理形式。