Question 1 9 pts
There are many ways to do a formal proof of C&D from ---CV-D). Your job is to figure out which
way we chose and complete the proof
• Hint: we used reductio shortcut. For example, if you are proving P by reductio, you assume -P.
But when you do the -Intro step you don't write --P. you write P directly. See Section 134 in
the textbook
1
Premise
21-0
3.1
5.
6.1
7.1
8.
9.
10