Velleman compares writing proofs to . Just as a program uses nested blocks (like if-else or do-while ), a proof is built by nesting logical structures based on the form of the statement being proven. 1. Mastering the Logic Fundamentals
The choice of technique is dictated by the of your "Goal" statement. Statement Type Example Structure Common Approach Conditional ( P→Qcap P right arrow cap Q Suppose-Until: Assume is true and work toward Universal ( Arbitrary : Let be an arbitrary object and prove Existential ( "There exists an such that..." Example: Find or construct a specific that works. Disjunction ( How to Prove It: A Structured Approach
Before writing proofs, you must understand the language of mathematics. The book focuses on two foundational areas: Uses logical connectives like and ( ∧logical and ), or ( ∨logical or ), not ( ¬logical not ), and if-then ( →right arrow ) to build complex statements. Quantificational Logic: Introduces "for all" ( ∀for all ) and "there exists" ( ∃there exists ) to handle variables and sets. 2. Identifying Proof Strategies Velleman compares writing proofs to
Velleman emphasizes a systematic two-column style approach for organizing thoughts before writing the final proof: HOW TO PROVE IT: A Structured Approach, Second Edition Mastering the Logic Fundamentals The choice of technique
Show the goal holds in all possible scenarios. 3. The "Scratch Work" Process
This guide outlines the core methodology of How to Prove It: A Structured Approach . The book's primary goal is to help students transition from computational math (like calculus) to advanced, proof-based mathematics. Core Philosophy: Structured Proving