A Logical Approach to Discrete Math

This text attempts to change the way we teach logic to beginning students. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con­ tradiction, mutual implication, and induction- have their basis in formal logic.