Zimmer introduces students to the language of "if-then" statements, contrapositives, and basic proof techniques.
: