演繹推理中包含特殊性知識的前提。在三段論中指包含小項的前提。