In logic A <-> B means that A implies B and B implies A. I.e. if A is true, B is true,
if B is true A is true, if A is false B is false, and if B is false A is false.
Log in or register
to write something here or to contact authors.