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 (skim 32-33) |
Exercises: | 1,5,7,9,11,13,15,17,21,29,41,59,61 |
| Section: 1.4 |
Predicates and Quantifiers |
Reading: | 36-43 |
Exercises: | 1,3,5,11,13,35,43,51 |
| Section: 1.6 |
Rules of Inference |
Reading: | All |
Exercises: | 3,7,15 |
| Section: 1.7 |
Introduction to Proofs |
Reading: | All |
Exercises: | 1,3,5,9,15,17,23,31 |
|
|