| Section: 1 |
REVIEW |
| Reading: | Key Terms and Results |
| Exercises: | Review Questions: 3,4,6,7,9,10,11,13,14
Supplementary Exercises: 11 |
| | Section: 1.1 |
Propositional Logic |
| Reading: | 1-16 |
| Exercises: | 1,3,5,9,11,13,15,17,21,25,27,29,33,37,45,49,51 |
| | Section: 1.2 |
Propositional Equivalences |
| Reading: | 21-27 |
| Exercises: | 1,5,9,11,13,15,17,21,41 |
| | Section: 1.3 |
Predicates and Quantifiers |
| Reading: | 30-46 |
| Exercises: | 1,3,5,9,11,13,19,21,25,35,39,59,61 |
| | Section: 1.5 |
Rules of Inference |
| Reading: | 63-72 |
| Exercises: | 1,3,5,7,9,13,17,19,23 |
| | Section: 1.6 |
Introduction to Proofs |
| Reading: | 75-85 |
| Exercises: | 1,3,5,15,21,27 |
| | Section: 1.7 |
Proof Methods and Strategy |
| Reading: | 86-102 |
| Exercises: | 1,3,7,9,17,25,27,29,31 |
|
|