值上是一致的，但是仍希望给出不同的formula_14的求值。例如，如果小明在德国，则下列两个条件都有假的前件和假的后件：实际上，如果小明在德国，则所有三个情况“小明在美国”、“小明在非洲”和 “小明在北美洲”都是假的。但是，第一种情况明显是假的：美国不在非洲；第二种情况是真的：美国是北美国家。
语义.哲学家如David Lewis和Robert Stalnaker使用模态逻辑的可能世界语义建模了反事实条件。条件formula_6的语义所基于的是，考虑在其中formula_7