则所有三个情况“小明在美国”、“小明在非洲”和 “小明在北美洲”都是假的。但是，第一种情况明显是假的：美国不在非洲；第二种情况是真的：美国是北美国家。
语义.哲学家如David Lewis和Robert Stalnaker使用模态逻辑的可能世界语义建模了反事实条件。条件formula_6的语义所基于的是，考虑在其中formula_7是真的所有最可能的情况，并检查formula_8在所有它们之中是否是真的。形式的说：例如：要求值这个陈述，考虑braves确实获胜的一个可能世界