Exercises and Quizzes for Chapter Five
Quizzes:
Q5.1a SD
Dropdowns for >E, &E, &I
Q5.1b SD
Dropdowns for >E, &E, &I
Q5.3 Subderivation
dropdowns for >I
Q5.4 Subderivation
dropdowns for ~I
Q5.7 Rules
of Replacement
Exercises:
5.1ex
I Problems using >E,
&E, &I
5.1ex II
Multiple Choice: Derivations Basics
5.1ex III
More problems using >E,
&E, &I
Selected Answers
5.2ex
I Further Derivations ('='
and 'v' rules)
5.2ex II
Multiple Choice: Derivations
5.2ex III
More derivations ('='
and 'v' rules)
5.2ex IV
Harder Derivations
Selected Answers
5.3ex
I Derivations Using Conditional Introduction
5.3ex II
More Derivations Using Conditional Introduction
5.3ex III
Multiple Choice: Derivations and Subderivations
Selected Answers
5.4ex
I Derivations Using Negation Rules
5.4ex II
More Derivations Using Negation Rules
Selected Answers
5.5ex
I Derivation Tests of Basic Concepts
5.5ex II
More Derivation Tests of Basic Concepts
5.5ex III
Still More Derivation Tests
5.5ex
IV Derivation Tests: Enter Your Problems*
5.5ex
IV Longer Page: Enter Problems*
5.5ex
IV XL Page: For Doing Lots of Problems on one Page*
Selected Answers
5.6ex
I Derivations and Strategy
5.6ex II
Derivations Requiring Complex Subderivation Structure
5.6ex III
More Derivations Requiring Complex Subderivation
Structure
5.6ex IV
Reward Set  Finish these (relatively easy
problems) and reap the rewards...
5.6ex
V The Café Assistant*
 Does derivations for you! (To be used after previous exercise.)
5.6ex
VI The Café Assistant, Longer Mode*
5.6ex VII
Logical Truth
5.6ex VIII
Logical Falsehood and Inconsistency
5.6ex IX
Logical Equivalence
5.6ex X
Harder Derivations
Selected Answers
5.7ex
I Derivations using new rules of inference
(MT,DS,HS)
5.7ex II
Multiple Choice: DN,AS,CM,DM,IM
5.7ex III
Derivations (using DN,AS,CM,DM,IM)
5.7ex
IV More Derivations (using all rules)
5.7ex V
Still More Derivations (using all rules)
Selected Answers
5.8ex
I SD+ Derivations (using DN,AS,CM,DM,IM)
5.8ex II
Harder SD+ Derivations (using all rules)
5.8ex III
Logical Truth
5.8ex IV
Logical Falsehood and Inconsistency
5.8ex V
Logical Equivalence
5.8ex
VI Blank Slate (for your own SD+ problems)*
Selected Answers
Chapter 5: Statement of the derivation exercises.
