Summer Session 2010: 10:40-1:10 M-Th, BEH 1310
There will be only one exam  to decide your grade, and that will be at the end.  If you are attending every day for the full period, you will begin the exam with a total of 50 points.  Each day of unexcused absence or partial attendance will cost you 1 point off that total.  The exam itself wil be worth 50 points. 
Grades:  60-69: D;  70-79: C;  80-89:  B;  90+: A

SECTION 1:  SYMBOLIZATION AND TRUTH VALUES
July 6
SECTION 3:  CONSISTENCY TREES AND ARGUMENT FORM DERIVATIONS
July 20
14.  USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC

July 21

15.  A  FIRST  RULE SET FOR DIRECT DERIVATIONS

July 22
16.  AN EXPANDED RULE SET FOR DIRECT DERIVATIONS

July 26
17.  INFERENCE RULES FOR QUANTIFIERS

July 27
18.  USING CONSISTENCY TREES FOR QUANTIFIED
EXPRESSIONS

July 28
19.  USING INDIRECT DERIVATIONS

July 29
20.  USING CONDITIONAL DERIVATIONS

August 2

21.  WORKING WITH MULTIPLE QUANTIFIERS

August 3

22.  EXPRESSIONS INVOLVING IDENTITY

August 4
REVIEW FOR SECTION 3

August 5: Final exam