5.6ex IX
Logical Equivalence

Each of the following problems requires that you show the members of a pair of sentences are logically equivalent by giving SD derivations. But to do these, you need to give two derivations. The first two are set up for you.