Use resolution to prove: v-R) then -P Construct your proof as follows. a) Convert the premise to conjunctive normal form b) Using the support strategy, give a resolution proof