在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题 formula_1 和 formula_2，公式 formula_3 说 formula_1 实质上蕴涵 formula_2，而 formula_6 说 formula_1 严格蕴涵 formula_2。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。这个条件明显是假的：Bill Gates 的受教