5.5ex III

Each of these problems requires you to use a derivation to show that some specific deductive concept holds. These problems may be a little harder than some of the others in 5.5: You may need to read the next tutorial (on strategy) before finishing these derivations.