Reference no: EM132793031

Note: On this assignment you can use all of the 11 derivation rules (conditional elimination, negation elimination, conjunction introduction, conjunction elimination, disjunction introduction, disjunction elimination, biconditional introduction, biconditional elimination) except → I and ∼ I (the two ones discussed in 4.3 of Schaum's). You don't need them on any of these.

For Exercise 2 use these sentence letters. • P: She wears high heels. • Q: I wear sneakers. • R: She is cheer captain. • S: I am on the bleachers.

Exercise 2. Consider the following argument: Either she is cheer captain or I am on the bleachers. She is cheer captain only if I wear sneakers. If I am on the bleachers, then I wear sneakers. Therefore, I wear sneakers.

a) Translate this argument into the language of propositional logic.

b) Give a derivation to show that this argument is valid.