Partial Question 6 Complete this formal proof of ~(~Pv~Q) from P&Q, following all conventions from the textbook. There are many ways to do it. Your job is to figure out which way we have in mind using...

Extracted text: Partial Question 6 Complete this formal proof of ~(~Pv~Q) from P&Q, following all conventions from the textbook. There are many ways to do it. Your job is to figure out which way we have in mind using these directions: • Pay attention to the subproofs! • When performing similar operations, go from left to right. 1. P&Q Premise 2. Р &Elim;1 3. Q &Elim;1 4.| -Pv-Q Assume 5. || -Q VElim;2,4 6. || -Q&Q &Intro;3,5 7.|| VElim;3,4 8. || -P&P &Intro;2,7 9.| -(~Pv~Q) vlntro:4-8 10. -(~Pv~Q)