Implikation AAA ist der Antezedens und BBB ist der Sukzedens. A ⟹ BA\implies BA⟹B Es gilt die folgende Wahrheitstafel: AAA BBB A ⟹ BA\implies BA⟹B T T T T F F F T T F F T