Part 1 (one point total). Briefly answer each of the following questions. 1. What are the two rules that allow you to discharge assumptions? 2. If you were asked to provide a proof for the following sequence {P-, -PVRP(Q&R) }, what working assumption would you make? (Hint: Choosing the right working assumption depends upon the conclusion.) 3. What rule would you use to discharge the working assumption that you would use in #2? -(PVQ) }, what 4. if you were asked to provide a proof for the following sequent {-P&-Q working assumption would you make? 5. What rule would you use to discharge the assumption that you would use in #4