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.