Kontrafaktische Konditionalsätze, auch kontrafaktische Implikationen oder kurz Kontrafaktuale, werden in der Philosophie Aussagen der Form „Wenn ... der Fall wäre, dann wäre ---“ genannt.
Beispiele:
Im Vordersatz oder Antezedens wird also eine Situation beschrieben, die so nicht geschehen ist, aber doch hätte geschehen können (s. a. Kontrafaktizität). Im Nachsatz oder Sukzedens werden Konsequenzen aus dieser Situationsbeschreibung gezogen.
In der Grammatik existiert für Kontrafaktuale der Name „Irrealis“, genauer „Irrealis der Vergangenheit“. Da aber in der Philosophie, insbesondere in der Wissenschaftstheorie und der Logik, Kontrafaktuale unter eigenen Gesichtspunkten und Interessen untersucht werden, hat sich dort auch ein eigener Name für sie eingebürgert.