演繹推理中包含一般性知識的前提。在三段論中指包含大項的前提。