The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs.
The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the uniqueness theorems. In addition, use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are covered in this chapter. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics.
Undergraduate students in engineering and physical science will find this book invaluable.

Jumps right in with the needed vocabulary—gets students thinking like mathematicians from the beginningOffers a large variety of examples and problems with solutions for students to work through on their ownIncludes a collection of exercises without solutions to help instructors prepare assignmentsContains an extensive list of basic mathematical definitions and concepts needed in abstract mathematics

1. Getting Started 2. Basic Techniques to Prove If/Then Statements 3. Special kinds of Theorems 4. Some mathematical topics on which to practice proof techniques 5. Review Exercises