演绎推理中包含一般性知识的前提。在三段论中指包含大项的前提。