Each of the following problems asks you to prove that an SL sentence
is logically true by giving a derivation.
You may use all rules of SD+. The '/' shortcut works for rules of inference
and may be of some help for rules of replacement (for these '/' just rewrites
the cited line and lets you make the replacement).