严格条件 在逻辑中严格条件是遵照来自模态逻辑的必然性算子行事的实质条件对于任何两个命题 p displaystyle p 和 q displaystyle q 公式 p  q displaystyle prightarrow q 说 p displaystyle p 实质上蕴涵 q displaystyle q 而   p  q  displaystyle Box prightarrow q 说 p displaystyle p 严格蕴涵 q displaystyle q 严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件比如这种条件一般的要避免实质蕴涵悖论比如下列陈述没有被实质蕴涵正确的形式化 如果 Bill Gates 是医科毕业生则 Elvis 就不会死 这个条件明显是假的Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系但是在经典逻辑中使用实质蕴涵的这个公式的直接的编码为 Bill Gates 是医科毕业生  displaystyle rightarrow  Elvis 不会死 这个公式是真的因为公式 A  B displaystyle Arightarrow B 只要前件 A displaystyle A 为假就是真的所以这个公式不是原始句子的完全的翻译严格条件是在模态逻辑中尝试不同编码的蕴涵编码  displaystyle Box  Bill Gates 是医科毕业生  displaystyle rightarrow  Elvis 不会死 在模态逻辑中这个公式粗略的意味着在 Bill Gates 是医科毕业生的所有可能的世界中Elvis 都不会死因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界在其中这个公式是假的所以这个公式好像是原始句子的正确翻译 尽管严格条件比实质条件更加接近于能够表达自然语言的条件它也有自己的问题下列句子不能正确的使用严格条件形式化 如果 Bill Gates 是医科毕业生则      使用严格条件这个句子被表达为  displaystyle Box  Bill Gates 是医科毕业生  displaystyle rightarrow      在模态逻辑中这个公式意味着在 Bill Gates 是医科毕业生的所有可能世界中     都是成立因为在所有的可能世界中    都等于 这个公式是真的但这很明显的不是     如果 Bill Gates 是医科毕业生相应的严格实质陈述是真的情况 为了避免严格蕴涵的悖论一些逻辑学家建立了反事实条件有人比如 Paul Grice使用会话蕴涵来做争辩说尽管看起来困难实质蕴涵正好适合用做自然语言的 如果则 的翻译其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接