Complete this formal proof following all conventions from the textbook. (The vertical bar | marks a line in a subproof, and the justification "Assume" marks a subproof assumption.) Try it in the proof machine. 1. ~~PV~~P 2. | PvP 3.1 4. I 5. | 6. P Premise Assume 11' Assume 1. Imagine this is your premise in a formal proof: -(PvQ)v--S. What are the assumptions you make for each case? Case 1: Case 2: 2. Imagine this is your premise in a formal proof: (-A&B)v(B&C). What are the assumptions you make for each case? Case 1: Case 2: 3. Imagine this is your premise in a formal proof: -(TvU)v(-VvW). What are the assumptions you make for each case? Case 1: Case 2: 4. Imagine this is your premise in a formal proof: ~Dv(E&F)vG. What are the assumptions you make for each case? Case 1: Case 2: Case 3: answered 0/5.5 pts Question 5 Complete this formal proof following all conventions from the textbook. Try it in the proof machine. Note: the proof machine always starts with 6 lines. Since this proof takes 7 lines, you'll need to use the add row button. C 1. Av(B&C) Premise 2.1 3.1 4.1 5.1 6.1 7. CVA I Complete this formal proof following all conventions from the textbook. (The vertical bar | marks a line in a subproof, and the justification "Assume" marks a subproof assumption.) Try it in the proof machine. 1. ~~PV~~P 2. | PvP 3.1 4. I 5. | 6. P Premise Assume 11' Assume 1. Imagine this is your premise in a formal proof: -(PvQ)v--S. What are the assumptions you make for each case? Case 1: Case 2: 2. Imagine this is your premise in a formal proof: (-A&B)v(B&C). What are the assumptions you make for each case? Case 1: Case 2: 3. Imagine this is your premise in a formal proof: -(TvU)v(-VvW). What are the assumptions you make for each case? Case 1: Case 2: 4. Imagine this is your premise in a formal proof: ~Dv(E&F)vG. What are the assumptions you make for each case? Case 1: Case 2: Case 3: answered 0/5.5 pts Question 5 Complete this formal proof following all conventions from the textbook. Try it in the proof machine. Note: the proof machine always starts with 6 lines. Since this proof takes 7 lines, you'll need to use the add row button. C 1. Av(B&C) Premise 2.1 3.1 4.1 5.1 6.1 7. CVA I