Spring 2009

After completing each chapter, please submit your progress report.  The form follows each chapter and it can also be called up by clicking on here.

SECTION 1:  SYMBOLIZATION AND TRUTH VALUES

Week of February 9:
1.  GETTING STARTED
       additional  material

Week of February 16:
2.  BASIC SYMBOLIZATION FOR COMPLETE STATEMENTS
      

3.  EXPRESSING CONDITIONAL RELATIONSHIPS
     additional material

credit exercise 1    (due by Monday, February 23)

Week of February 23:
4.  SYMBOLIZATION TO EXPRESS ONE-PLACE PREDICATES

5.  SYMBOLIZATION TO EXPRESS QUANTIFICATION
      additional material

credit exercise 2   (due by Monday, March 2)

6.  SYMBOLIZATION TO EXPRESS RELATIONSHIPS

Week of March 2:
7.  UNDERSTANDING TRUTH FUNCTIONS
     additional material

Week of March 9:
8.  TESTING FOR EQUIVALENCE WITH TRUTH TABLES

9.   BONUS MATERIAL:  THE SHEFFER STROKE

REVIEW FOR SECTION 1

    Midterm 1 -  symbolization and the use of truth tables 
    (done online; due by Monday, March 16)


SECTION 2:  TESTING FOR VALIDITY AND DERIVATIONS FOR EQUIVALENCE

Week of March 16:
10.  TESTING FOR VALIDITY WITH COMPLETE TRUTH TABLES
       additional material

11.  TESTING FOR VALIDITY USING THE REVERSE METHOD
          additional material
         

credit exercise 3  (due by Monday, March 23)
Week of March 23:
12.  DERIVATIONS USING EQUIVALENCE RULES

Week of March 30:
13. QUANTIFIER  NEGATION

REVIEW FOR SECTION 2

    Midterm 2 - using truth tables and equivalence rules
     (done online; due by Monday, April 13)



SECTION 3:  CONSISTENCY TREES AND ARGUMENT FORM DERIVATIONS

Week of April 13:
14.  USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC

15.  A  FIRST  RULE SET FOR DIRECT DERIVATIONS

Week of April 20:
16.  AN EXPANDED RULE SET FOR DIRECT DERIVATIONS
       additional material

17.  INFERENCE RULES FOR QUANTIFIERS

credit exercise 4  (due by Monday, April 27)

Week of April 27:
18.  USING CONSISTENCY TREES FOR QUANTIFIED
EXPRESSIONS

Week of May 4:
19.  USING INDIRECT DERIVATIONS

20.  USING CONDITIONAL DERIVATIONS
         additional material

Week of May 11:
21.  WORKING WITH MULTIPLE QUANTIFIERS
       additional material

credit exercise 5  (due by Monday, May 18)
please note that this exercise is intended for practice with subordinate derivations

Week of May 25:

22.  EXPRESSIONS INVOLVING IDENTITY

23.  BONUS MATERIAL: DISJUNCTIVE AND CONJUNCTIVE
NORMAL FORMS

REVIEW FOR SECTION 3

    Final Exam - cumulative: symbolization, testing for equivalence or validity, derivations
    (done on campus Friday June 5, 7-9 PM, Room TBA)