University of California, San Diego: Edward Bender and S. Williamson's "Arithmetic, Logic, and Numbers: Logic"
Read example 5 on pages Lo-7 - Lo-8. Note that in the statement A if and only if B, abbreviated A iff B, A is called the necessary part and B the sufficient part.