Proof: Introduction to Higher Mathematics
    by Warren Esty and Norah Esty

Math, M-242, "Methods of Proof," at Montana State University. 
The course emphasizes        

true or false
proofs
counterexamples
logic
justifications
true vs. justified
precision
connections
very little calculation

---

Important things you will eventually understand

conditional sentences
generalizations
counterexamples
    simpler counterexamples are better
existence statements
quantifiers (for all, there exists)
negation

logical forms
the logical equivalence called “a hypothesis in the conclusion”
other basic logical forms, for example, the contrapositive

conjectures

concept definitions vs. concept images

definitions in “sentence-form”

prior results
proofs have two components, form and prior results

Return to the main page for Math 242.