5.8ex III
Logical Truth

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).