Logische Äquivalenz/Kurzerläuterung/Bemerkung

Man sagt, dass zwei Aussagen $A$ und $B$ zueinander äquivalent sind, wenn die Aussage $A$ genau dann wahr ist, wenn die Aussage $B$ wahr ist. Dabei sind die beiden Aussagen häufig abhängig von gewissen Variablenbelegungen, und die Äquivalenz bedeutet dann, dass $A(x)$ genau dann wahr ist, wenn $B(x)$ wahr ist.