SECTION
1: SYMBOLIZATION AND TRUTH VALUES
|
SECTION
3: CONSISTENCY
TREES AND ARGUMENT FORM DERIVATIONS
14.
USING CONSISTENCY TREES
FOR PROPOSITIONAL LOGIC
15.
A FIRST RULE SET FOR DIRECT
DERIVATIONS
16.
AN EXPANDED RULE SET FOR DIRECT
DERIVATIONS
additional material
17.
INFERENCE RULES FOR
QUANTIFIERS
18. USING
CONSISTENCY TREES
FOR QUANTIFIED EXPRESSIONS
19.
USING INDIRECT
DERIVATIONS
20.
USING CONDITIONAL
DERIVATIONS
21.
WORKING WITH MULTIPLE
QUANTIFIERS
22.
EXPRESSIONS INVOLVING IDENTITY
REVIEW
FOR SECTION 3
review tips on more complex symbolization
and derivations
|
