Die Wenn-Dann-Verknüpfung ist die umgangssprachliche Bezeichnung für die Implikation, den Operator 11 aus
diesem Beitrag.
marabu
Nachtrag:
Auch der Operator 13 ist eine Implikation. Beide zusammen ergeben die Äquivalenz, Operator 9, umgangssprachlich "Genau dann, wenn".