Counterfactual

A contrary-to-fact conditional—for example, “if P were true, then Q would be true.” A counterfactual is true if the antecedent, in conjunction with the laws of nature, logically entails the consequent, or if the closest possible world where P is true also one where Q is true.