Definition. (Äquivalenz von Aussagen) $A$ und $B$ sind äquivalent =Df $A\leftrightarrow B$ ist wahr.      Bez.: $A\equiv B,A\iff B,A$gdw $B$