严格蕴涵（strict implication），文学-语言文字-语义学-语义蕴含，从一个命题出发，能够必然地推出一个真命题的蕴涵。“蕴涵”（implication）是一个逻辑学概念。当逻辑学发展到现代逻辑阶段以后，命题逻辑（propositional logic）把传统逻辑中的“充分条件假言判断”高度抽象化为实质蕴涵（material implication）关系。它简单地规定：只要前件（记作p）假，或者后件（记作q）真，那么蕴涵式（记作p→q）就是真的，即把一个条件句的真值看作是其各个肢命题的真值函项，如下面的真值表所示（t代表“真”，f代表“假”）。