Exercises and Quizzes for Chapter Five

Quizzes:

Q5.1a SD Drop-downs for >E, &E, &I
Q5.1b SD Drop-downs for >E, &E, &I
Q5.3 Subderivation drop-downs for >I
Q5.4 Subderivation drop-downs 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.