Title: How to read and do proofs : an introduction to mathematical thought processes /
Authors: Solow, Daniel.
Year: 2014
Subjects: Proof theory Textbooks.; Logic, Symbolic and mathematical Textbooks.; Logic, Symbolic and mathematical; Proof theory
Abstract: This book provides a systematic approach that will help you master the basic techniques that are used in all proofs, regardless of the mathematical subject matter in which the proof arises. Once you know these techniques, you'll be better equipped to read, understand, and actually do proofs. You'll also learn when each technique is likely to be successful, based on keywords that appear in the theorem. -- Publisher description
Contents: The truth of it all -- The forward-backward method -- On definitions and mathematical terminology -- Quantifiers I: the construction method -- Quantifiers II: the choose method -- Quantifiers III: specialization -- Quantifiers IV: nested quantifiers -- Nots of nots lead to knots -- The contradiction method -- The contrapositive method -- The uniqueness methods -- Induction -- The either/or methods -- The max/min methods.