SECTION
1: SYMBOLIZATION AND TRUTH VALUES
|
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)
|