Für die Kommasetzung gilt, das immer dann wenn sie Konjunktionen die den Bedingungs- oder Konditionalsätzen einleiten am Anfang des Satzes stehen oder eingeschoben werden ein Komma gesetzt wird.
de.wikipedia.org Konditionalsätze finden ihre Anwendung dazu, Bedingungen auszudrücken, also solche Sachverhalte, Gegebenheiten, von deren Existenz andere Bedingtheiten abhängen, oder Aussagen, die die Gültigkeit einer anderen Aussage bestimmen oder nach sich ziehen.
de.wikipedia.org Ein Grund dafür das Konditionalsätze vielfach in der Wissenschaftssprache oder ihren Diskursen eingesetzt werden, wo sie zum Ausdruck für logische Folgerichtigkeit einsetzbar sind.
de.wikipedia.org Satzarten, die Propositionen direkt ausdrücken, sind z. B. Aussagesätze (Deklarativsätze) oder Konditionalsätze.
de.wikipedia.org 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.
de.wikipedia.org