Fall 2010

Remember that for your grade I do expect a weekly log with one point deducted for each week that you fail to report.  However, you also will be credited one point for each of ten exercises indicated on the schedule at the Moodle site.

strongly recommended: print out and use a personal checklist for the different chapters


SECTION 1:  SYMBOLIZATION AND TRUTH VALUES

Week of August 30
1.  GETTING STARTED

       additional  material

Week of September 6:
2.  BASIC SYMBOLIZATION FOR COMPLETE STATEMENTS

Week of September 13:      
3.  EXPRESSING CONDITIONAL RELATIONSHIPS

     additional material
    

Week of September 20:
4.  SYMBOLIZATION TO EXPRESS ONE-PLACE PREDICATES

5.  SYMBOLIZATION TO EXPRESS QUANTIFICATION

     additional material
   
6.  SYMBOLIZATION TO EXPRESS RELATIONSHIPS

Week of September 27:
7.  UNDERSTANDING TRUTH FUNCTIONS
    
     additional material

Week of October 4:
8.  TESTING FOR EQUIVALENCE WITH TRUTH TABLES

9.   BONUS MATERIAL:  THE SHEFFER STROKE

REVIEW FOR SECTION 1

       review tips on symbolization and truth values
    

    SECTION 2:  TESTING FOR VALIDITY AND DERIVATIONS FOR EQUIVALENCE

Week of October 11:
10.  TESTING FOR VALIDITY WITH COMPLETE TRUTH TABLES
     
11.  TESTING FOR VALIDITY USING THE REVERSE METHOD
          
         

Week of October 18:
12.  DERIVATIONS USING EQUIVALENCE RULES

Week of October 25:
13. QUANTIFIER  NEGATION

REVIEW FOR SECTION 2
   


SECTION 3:  CONSISTENCY TREES AND DERIVATIONS

Week of November 1:
14.  USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC

15.  A  FIRST  RULE SET FOR DIRECT DERIVATIONS

Week of November 8:
16.  AN EXPANDED RULE SET FOR DIRECT DERIVATIONS

       additional material

17.  INFERENCE RULES FOR QUANTIFIERS
    

Week of November 15:
18.  USING CONSISTENCY TREES FOR QUANTIFIED
EXPRESSIONS

Week of November 22:
19.  USING INDIRECT DERIVATIONS
       

Week of November 29:
20.  USING CONDITIONAL DERIVATIONS
        


Week of December 6:
21.  WORKING WITH MULTIPLE QUANTIFIERS
      
       review tips on more complex symbolization and derivations
       

22.  EXPRESSIONS INVOLVING IDENTITY

23.  BONUS MATERIAL: DISJUNCTIVE AND CONJUNCTIVE
NORMAL FORMS

REVIEW FOR SECTION 3
   

  
FINAL EXAM ON CAMPUS:  7-9 PM, Friday, December 17 (room TBA)
This exam will be worth 50 points; you already begin with 50  points toward your total grade, although you can lose points by not submitting a weekly log and you can gain points by submitting certain exercises indicated in the chapters and here on the schedule.