演绎推理中包含特殊性知识的前提。在三段论中指包含小项的前提。