Use only the resolution inference rule to try to prove whether the following entailment holds (is true):
Question:
Use only the resolution inference rule to try to prove whether the following entailment holds (is true): {P=QVR, P} E Q Then answer the following questions. Resolution requires what kind of proof? a. Propositionalization b. Construction c. Induction d. Refutation Answer (write the letter): How many clauses do you start with (after preparing everything but before doing any inference)? Answer: How many choices are there for applying resolution the first time? Answer: Can you prove that the query is entailed using at most two steps of resolution? Write "yes" or "no" (without the quotes). Answer: Use only the resolution inference rule to try to prove whether the following entailment holds (is true): {P=QVR, P} E Q Then answer the following questions. Resolution requires what kind of proof? a. Propositionalization b. Construction c. Induction d. Refutation Answer (write the letter): How many clauses do you start with (after preparing everything but before doing any inference)? Answer: How many choices are there for applying resolution the first time? Answer: Can you prove that the query is entailed using at most two steps of resolution? Write "yes" or "no" (without the quotes). Answer: