Die Implikation zweier Aussagen ist äquivalent zur Verknüpfung bzw. . Ferner versteht man unter der Kontraposition die dazu äquivalente Aussage