Additional Exercises -- Problem Set Four.
For each of the following arguments, construct a proof using the eight rules of inference.