Section: 1.1 |
Propositional Logic |
Reading: | All |
Exercises: | 1,3,5,9,11,13,15,17,21,25,27,29,33,37 |
| Section: 1.2 |
Applications of Propositional Logic |
Reading: | All |
Exercises: | 1,3,5,7,9,17,39,41,43 |
| Section: 1.3 |
Propositional Equivalences |
Reading: | All but skim 32-33 |
Exercises: | 1,5,7,9,11,13,15,17,21,29,41,59,61 |
| Section: 1.4 |
Predicates and Quantifiers |
Reading: | All |
Exercises: | 1,3,5,7,9,11,13,19,21,25,35,39,43,45,51,55,57 |
| Section: 1.6 |
Rules of Inference |
Reading: | All |
Exercises: | 1,3,7,9,15,17,19,23 |
| Section: 1.7 |
Introduction to Proofs |
Reading: | All |
Exercises: | 1,3,5,9,15,17,23,31 |
| Section: 1.8 |
Proof Methods and Strategy |
Reading: | Pages 92-96 (stop at Existence Proofs) and 100-107 |
Exercises: | 1,3,9,11,17,27,29,31 |
|
|