## MAT 200 Spring 2005 Midterm 1 Review

Minimal Set:
- 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