2.3 Proof by Resolution Given: 1. RV-P 2. QV SV-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 C1 C2 where 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. 2.3 Proof by Resolution Given: 1. RV-P 2. QV SV-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 C1 C2 where 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