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 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 Eselssätze treten in zwei Konstruktionen auf: Konditionalsätze wie (1) und Relativsätze wie (2).
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