3: Proofs Last updated Save as PDF Page ID 99061 Bob Dumas and John E. McCarthy University of Washington and Washington University in St. Louis 3.1: Mathematics and Proofs 3.2: Propositional Logic 3.3: Formulas 3.4: Quantifiers 3.5: Proof Strategies 3.6: Exercises