Implikation A ist der Antezedens und B ist der Sukzedens. A⟹B Es gilt die folgende Wahrheitstafel: ABA⟹BTTTTFFFTTFFT