Teaching logic as a tool
The typical discrete-math course has a unit on formal logic, but is concepts and notations are rarely applied in other units of the course. Instead, logic is viewed as an isolated topic, perhaps motivated by an application or two. Not surprisingly, students develop a negative view of logic as a topic that is of academic interest only.
This tutorial presents our experiences in teaching another view: logical manipulation can be a powerful and versatile tool for the practicing mathematician and computer scientist, and students should be taught to use this tool skillfully. Armed with this tool, students have an easier time mastering other discrete-math topics, as well as later topics in the computer science and mathematics curriculum.