反事实条件，或虚拟条件，致力于捕获在自然语言中的“如果-那幺”陈述的条件陈述。与实质条件陈述不同，反事实条件可以为假即使它的前件为假。

在自然语言中的"如果-那幺"的意思不是总能正确的用实质条件所形式化。特别是，实质条件总是真的，只要它们的前件为假，而在自然语言中的"如果-那幺"陈述，是直陈条件，可以在这种情况下为假。例如，陈述“如果小明在墨西哥，则小明在非洲”将典型的被认为是假。但是，如果小明当前不在墨西哥，则对应的逻辑条件是真。换句话说，如果陈述“小明在墨西哥”和 “小明在非洲”被分别的形式化为命题和，你可能不希望第一个蕴涵第二个。不过，如果当前为假，则在命题逻辑中是真。

A counterfactual conditional (abbreviated CF), is a subjunctive conditional containing an if-clause that is contrary to fact. The term counterfactual was coined by Nelson Goodman in 1947, extending Roderick Chisholm's (1946) notion of a "contrary-to-fact conditional". The study of counterfactual speculation has increasingly engaged the interest of scholars in a wide range of domains such as philosophy, psychology, cognitive psychology, history, political science, economics, social psychology, law, organizational theory, marketing, and epidemiology. In 1748, when defining causation, David Hume referred to a counterfactual case: