A Logical Introduction to Proof

A Logical Introduction to ProofThe book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.

Identifies the important topics in logic that mathematicians use in their proofsMethodically presents the key strategies used in mathematical proofsEach proof strategy is illustrated by a variety of theorems concerning the natural, rational and real numbersAn introduction to group theory and real analysis that presents proof strategies for dealing with the core concepts introduced in these subjects