I tend to think of the equality operator as saying that (something) equals (something else), and only (something else). Operating under that logic, the statement "If n2 = 4, then n=-2." is false. In the "language" of math, "true" means "always true, in all cases", whereas "false" may mean "always false" or "sometimes true."
If I were to write out the solutions to n2 = 4, there are three ways I might use. I could write \(\displaystyle n = \pm 2\) or \(\displaystyle n=2 \text{ or } n=-2\), or \(\displaystyle n\in \left\{2,-2\right\}\).