Úm condicional contrafactual é uma sentença que toma a forma " se x ocorresse, então y ocorreria" ou "se x não tivesse ocorrido, então y não teria ocorrido".

Em metafísica e em lógica modal contrafactual é a situação ou evento que não aconteceu, mas poderia ter acontecido

Todas as afirmações causais, incluindo as leis da natureza, implicam contrafactuais, e não são meras afirmações de regularidades. "Riscar o fósforo na caixa causou sua entrada em combustão" implica que "se o fósforo não tivesse sido riscado na caixa, tudo sendo igual, ele não teria entrado em combustão". O objetivo da cláusula "tudo sendo igual" é impedir a operação de causas interferentes, por exemplo, os fósforos estarem molhados, o que iria impedir o resultado usual de riscar o fósforo.