语义蕴涵（semantic implication; semantic implicature），文学-语言文字-语义学-语义蕴含，两个支命题在语义上存在蕴涵（implication）关系，并能通过蕴涵关系推导出超出字面意义的言外之意（implicature）。如果语句p和q存在语义蕴涵关系，当且仅当p为真时，可以由p内在地推导出q为真。例如：我吃苹果→我吃水果。语义蕴涵是在传统的实质蕴涵基础上发展而来的，传统的蕴涵指由两个命题通过蕴涵词“如果……那么”联结而成的逻辑表达式，记作p→q，其中p为蕴涵式前件，q为蕴涵式后件。蕴涵只考虑前件和后件的真值关系，而命题的具体内容是否有联系则不予考虑。蕴涵式的真值可以表述如下：蕴涵式真值表pqp→q真真真真假假假真真假假真从真值表中，可以看出蕴涵具有两个特点：第一，真命题可以被任何命题所蕴涵。第二，假命题可以蕴涵任何命题。因此，传统的蕴涵式会出现实质蕴涵悖论（paradox of material implication），即假命题可以蕴涵相互矛盾的命题，并导致一些错误结论。例如：①如果地球绕着月亮转（假），那么就会有四季（真）。