Additional Exercises -- Problem Set Five.

For each of the following arguments, construct a proof using the rules of inference and replacement rules.