| Section: 1.1 |
Logic |
| Reading: | 1-15 |
| Exercises: | 1,3,5,7,11,13,19,21,25,40,41,42,60 |
| | Section: 1.2 |
Propositional Equivalences |
| Reading: | 20-26 |
| Exercises: | 1,5,9,12,13,17,21,28,51 |
| | Section: 1.3 |
Predicates and Quantifiers |
| Reading: | 28-40 |
| Exercises: | 1,3,5,10,13,19,21,26,29,37,41,43,55,57 |
| | Section: 1.4 |
Nested Quantifiers |
| Reading: | 44-51 |
| Exercises: | 1,3,5,9,11,17,27,33,35 |
| | Section: 1.5 |
Methods of Proof |
| Reading: | 56-73 |
| Exercises: | 1,3,5,9,15,17,19,21,23,26,28,33,40,42,70,77 |
| | Section: 1.6 |
Sets |
| Reading: | 77-85 |
| Exercises: | 1,3,5,7,13,17,18,19,21 |
| | Section: 1.7 |
Set Operations |
| Reading: | 86-94 |
| Exercises: | 1,3,11,13,14,17,22 |
| | Section: 1.8 |
Functions |
| Reading: | 97-108 |
| Exercises: | 1,3,9,14,16,19,26,28,44,65 |
|
|