A Logical Introduction to Proof

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. A proof diagram provides a tool for showing students how to write correct mathematical proofs.