MAT 200 Spring 2005 Midterm 1 Review

• All homework problems
• Understand the relation between a conditional P --> Q, its inverse, converse and contrapositive
• Table 4.1 (Propositional Proof Methods)
• Table 4.3 (Quantifier Proof Methods)
• Check that you understand the "tautalogies" in Table 2.5
• Check that you understand the "useful laws of logic" in Table 4.2