ein zweistelliger Junktor der Aussagenlogik, mit dessen Hilfe zwei Aussagen A und B zu einer neuen Aussage »Wenn A, dann B« (symbolisch: A ⟶ B oder A ⊃ B) verknüpft werden.