7. Äquivalenz = Bikonditional

"Stets und nur dann, wenn a, so auch b." - "Genau dann, wenn a, so auch b."
Die Äquivalenz ist die formale Struktur der notwendigen und hinreichenden Bedingung. ⁶

7.a.
7.b.