How To Prove It: A Structured Approach Page

Show the goal holds in all possible scenarios. 3. The "Scratch Work" Process

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 Show the goal holds in all possible scenarios

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 Quantificational Logic: Introduces "for all" ( ∀for all