two-way implication

created by spiregrain
(thing) by spiregrain (9.8 hr) (print)   (I like it!) Fri May 12 2000 at 16:29:10
<->

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.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.