5.8ex V
Logical Equivalence

Each of the following problems requires that you do two derivations to prove the logical equivalence of a pair of SL sentences.

You won't need subderivations for these, but the subderivation columns are there in case you don't see an alternative.