Untersuchen Sie, ob folgende Aussagen äquivalent sind:
A ↔ B; (A → B) ∧ (B → A),
A → B; B → A,
A → B; ¬B →¬A.