亦作“蕴涵”。包含。逻辑名词。指一种包含性质的语义推论。可表达为：如果A句是真，B句也真，A句是假，B句可能真也可能假，但如果B句为假，A句一定为假；那末，A句在语义上蕴含B句，或者说B句是A句的蕴含。如说“他是一个单身汉”，那就蕴含着“他是一个男人”；再如说“老张打了小王的头”，那就蕴含着“老张打了小王”。构成蕴含的条件是两个语句之间具有上下义关系（如“单身汉”是下义词，“男人”是上义词）或整体与部分的关系（如“小王”是整体，“小王的头”是部分）。