2.3 Proof by Resolution Given: 1. RV-P 2. QVSV-R 3. -SV-P show that P Q is a logical consequence of the above using resolution Precisely follow the steps below. Question 7 (5 pts): Convert the above problem into a form that is suitable for resolution. The conclusion part P Q, especially (don't forget to negate it!). Note: If you have C AC2 where Cn is a clause, this becomes two lines in the resolution problem: (1) C1, (2) C2. Question 8 (15 pts): With the resulting resolution problem from the above, prove the theorem using resolution. Show every step