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