|
SECTION
1: SYMBOLIZATION AND TRUTH VALUES
Week
of August 30
1. GETTING STARTED additional material started: ___ completed: ___ reviewed ____, ____ Week of September 6: 2. BASIC SYMBOLIZATION FOR COMPLETE STATEMENTS started: ___ completed: ___ reviewed ____, ____ Week of September 13: 3. EXPRESSING CONDITIONAL RELATIONSHIPS (review exercise included) additional material started: ___ completed: ___ reviewed ____, ____ Week of September 20: 4. SYMBOLIZATION TO EXPRESS ONE-PLACE PREDICATES started: ___ completed: ___ reviewed ____, ____ 5. SYMBOLIZATION TO EXPRESS QUANTIFICATION (review exercise included) additional material started: ___ completed: ___ reviewed ____, ____ 6. SYMBOLIZATION TO EXPRESS RELATIONSHIPS started: ___ completed: ___ reviewed ____, ____ |
Week of September 27: 7. UNDERSTANDING TRUTH FUNCTIONS (review exercise included) additional material started: ___ completed: ___ reviewed ____, ____ Week of October 4: 8. TESTING FOR EQUIVALENCE WITH TRUTH TABLES started: ___ completed: ___ reviewed ____, ____ 9. BONUS MATERIAL: THE SHEFFER STROKE REVIEW FOR SECTION 1 review tips on symbolization and truth values first review test started: ___ completed: ___ reviewed ____, ____ SECTION 2: TESTING FOR VALIDITY AND DERIVATIONS FOR EQUIVALENCE Week of October 11: 10. TESTING FOR VALIDITY WITH COMPLETE TRUTH TABLES additional material started: ___ completed: ___ reviewed ____, ____ 11. TESTING FOR VALIDITY USING THE REVERSE METHOD (review exercise included) additional material started: ___ completed: ___ reviewed ____, ____ |
Week of
October 18:
12. DERIVATIONS USING EQUIVALENCE RULES started: ___ completed: ___ reviewed ____, ____ Week
of October 24:
SECTION
3: CONSISTENCY
TREES AND DERIVATIONS13. QUANTIFIER NEGATION started: ___ completed: ___ reviewed ____, ____ REVIEW FOR SECTION 2 second review test started: ___ completed: ___ reviewed ____, ____ Week of November 1: 14. USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC started: ___ completed: ___ reviewed ____, ____ 15. A FIRST RULE SET FOR DIRECT DERIVATIONS started: ___ completed: ___ reviewed ____, ____ Week of November 8: 16. AN EXPANDED RULE SET FOR DIRECT DERIVATIONS additional material started: ___ completed: ___ reviewed ____, ____ 17. INFERENCE RULES FOR QUANTIFIERS (review exercise included) started: ___ completed: ___ reviewed ____, ____ |
Week of November 15: 18. USING CONSISTENCY TREES FOR QUANTIFIED EXPRESSIONS started: ___ completed: ___ reviewed ____, ____ Week of November 22: 19. USING INDIRECT DERIVATIONS (review exercise included) started: ___ completed: ___ reviewed ____, ____ Week of November 29: 20. USING CONDITIONAL DERIVATIONS third review test started: ___ completed: ___ reviewed ____, ____ Week of December 6: 21. WORKING WITH MULTIPLE QUANTIFIERS (review exercise included) review tips on more complex symbolization and derivations started: ___ completed: ___ reviewed ____, ____ 22. EXPRESSIONS INVOLVING IDENTITY started: ___ completed: ___ reviewed ____, ____ 23. BONUS MATERIAL: DISJUNCTIVE AND CONJUNCTIVE NORMAL FORMS REVIEW FOR SECTION 3 started: ___ completed: ___ reviewed ____, ____ |