5.5ex II
More Derivation Tests for Basic Concepts

Do derivations for each problem. The derivation must show that the specified deductive concept holds. (So, for example, if you are asked to show that a sentence is logically true in SL, then you must derive it in SD without any premises.)