Genau-dann-wenn-Aussage (… aus A folgt B und umgekehrt, siehe unter <a href="../lex/logische_aequivalenz.htm" title="Es ist nur genau eine Aussage wahr: entweder es stimmt die eine Aussage oder es stimmt die andere Aussage, nicht aber beide Aussagen gleichzeitig oder keine von ihnen. Das ist hier kurz vorgestellt.">logische Äquivalenz ↗</a>)