wikipedia:
反事实条件，或虚拟条件，致力于捕获在自然语言中的“如果-那么”陈述的条件陈述。与实质条件陈述不同，反事实条件可以为假即使它的前件为假。在自然语言中的"如果-那么"的意思不是总能正确的用实质条件所形式化。特别是，实质条件总是真的，只要它们的前件为假，而在自然语言中的"如果-那么"陈述，是指示条件，可以在这种情况下为假。例如，陈述“如果 Keith 在墨西哥，则 Keith 在非洲” 将典型的被认为是假。但是，如果 Keith 当前不在墨西哥，则对应的逻辑条件是真。换句话说，如果陈述“Keith 在墨西哥” 和 “Keith 在非洲” 被分别的形式化为命题 和 ，你可能不希望第一个蕴涵第二个。不过，如果 当前为假，则 在命题逻辑中是真。为了区分反事实条件和实质条件，定义了符号 ，所以 意味着 “如果 ，则 ”。