conditional statements

http://www.sparknotes.com/math/geometry3/logicstatements/section3.rhtml