1.) Prove that each argument is valid by replacing each proposition with a variable to obtain the form of the argument. Then use the rules of inference to prove that the form is valid.

If I work out hard, then I am sore.

If I am sore, I take an aspirin.

I did not take an aspirin.

_____________________

I did not work out hard.

2.) Use the rules of inference and the laws of propositional logic to prove that each argument is valid. Number each line of your argument and label each line of your proof "Hypothesis" or with the name of the rule of inference used at that line. If a rule of inference is used, then include the numbers of the previous lines to which the rule is applied.

(p q) r r q

_____________________

p