Implikation

ist der Antezedens und ist der Sukzedens.

Es gilt die folgende Wahrheitstafel:

TTT
TFF
FTT
FFT