条件句是指表达事实实质条件，或则假说情况、及其实质条件的一种句子。他们是所谓的、由于该句的独立子句之有效性是在某些情况下存有条件式的语式。它亦可以表示为一个从属子句，也可以从上下文理解其条件的存在情况。
在数学的完备空间实数系中，循环小数0.999…，也可写成
0.
9
¯
{\displaystyle 0.{\overline {9}}}
、
0.
9
˙
{\displaystyle 0.{\dot {9}}}
或
0.
{\displaystyle 0.}
，表示一个等于1的实数，即“0.999…”所表示的数与“1”相同。目前该等式已经有各式各样的数学证明式；它们各有不同的严谨性、背景假设，但都蕴含实数的实质条件，即阿基米德公理、历史文脉、以及目标受众。
在数学的完备空间实数系中，循环小数0.999…，也可写成
0.
9
¯
{\displaystyle 0.{\overline {9}}}
、
0.
9
˙
{\displaystyle 0.{\dot {9}}}
或
0.
{\displaystyle 0.}
，表示一个等于1的实数，即“0.999…”所表示的数与“1”相同。目前该等式已经有各式各样的数学证明式；它们各有不同的严谨性、背景假设，但都蕴含实数的实质条件，即阿基米德公理、历史文脉、以及目标受众。
直陈条件是对普通英语中形如“如果A那么B”的陈述给出的逻辑运算。不像实质条件，直陈条件没有规定的定义。关于这种运算的哲学文献是广泛的，但没有达成明确的一致意见。
直陈条件是对普通英语中形如“如果A那么B”的陈述给出的逻辑运算。不像实质条件，直陈条件没有规定的定义。关于这种运算的哲学文献是广泛的，但没有达成明确的一致意见。
反事实条件，或虚拟可能性条件，致力于捕获在自然语言中的“如果-那么”陈述的条件陈述。与实质条件陈述不同，反事实条件可以为假即使它的前件为假。
反事实条件，或虚拟可能性条件，致力于捕获在自然语言中的“如果-那么”陈述的条件陈述。与实质条件陈述不同，反事实条件可以为假即使它的前件为假。
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题
p
{\displaystyle p}
和
q
{\displaystyle q}
，公式
p
→
q
{\displaystyle p\rightarrow q}
说
p
{\displaystyle p}
实质上蕴涵
q
{\displaystyle q}
，而
◻
{\displaystyle \Box }
说
p
{\displaystyle p}
严格蕴涵
q
{\displaystyle q}
。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。
在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题
p
{\displaystyle p}
和
q
{\displaystyle q}
，公式
p
→
q
{\displaystyle p\rightarrow q}
说
p
{\displaystyle p}
实质上蕴涵
q
{\displaystyle q}
，而
◻
{\displaystyle \Box }
说
p
{\displaystyle p}
严格蕴涵
q
{\displaystyle q}
。严格条件是 Clarence Irving Lewis 尝试为充分的表达直陈条件而找出的条件。比如这种条件一般的要避免实质蕴涵悖论。比如下列陈述，没有被实质蕴涵正确的形式化。
Mini wiki
