Each problem asks you to show that the members of a pair of PL sentences are logically equivalent. With PD+, these problems are not difficult. No subderivations are required on this page.