衍推（entailment），文学-语言文字-语义学-衍推，命题或句子语义之间的一种推理关系。如果命题P为真能推导出命题Q为真，那么P衍推Q。比如，“所有的鸟都会飞”衍推“麻雀会飞”，“小明吃了苹果”衍推“小明吃了东西”等。形式语义学对衍推概念的了解是从一阶命题逻辑的实质蕴涵（material implication）开始的。对于任何命题P、Q而言，只有当P为真且Q为假时，条件命题P→Q才取假值，其余情况下都取真值：条件命题真值表PQP→Q111001100011当前件P为假或后件Q=1时，P→Q为真，而当P→Q永远取真值，即为一个全真命题（tautology）时，P才能衍推Q，可以直接记作P→Q、P⊆Q或P≤Q。衍推与蕴涵（implicature）不同，前者是严格的逻辑语义关系，后者是在一定情况下可以取消的语用推理。比如“小明和小红领了结婚证办了婚礼”蕴涵先领证后办婚礼的意思，但此语用推理可以被“是后领的结婚证”这个后续句取消，而“小明已婚”这个衍推意义是不能取消的。根据衍推关系推导出来的意义，有人非正式地称之为“衍推意义”或“语义推论”。