Translate the following arguments into symbolic form and use the first four rules of inference to derive the conclusion of each. The letters to be used for the simple statements are given in parentheses after each exercise. Use these letters in the order in which they are listed.
If the death penalty is not cruel and unusual punishment, then either it is cruel and unusual punishment or if society is justified in using it, then it will deter other criminals. If the death penalty is cruel and unusual punishment, then it is both cruel and unusual and its use degrades society as a whole. It is not the case that both the death penalty is cruel and unusual and its use degrades society as a whole.
Furthermore, the death penalty will not deter other criminals. Therefore, society is not justified in using the death penalty. (C, J, D, U)