Reference
Resolution
Reform
None of the mentioned
Answer is Wrong!
Answer is Right!
The correct answer is: B. Resolution
Resolution is a rule of inference in propositional logic. It is used to prove that a proposition is true if two other propositions, each of which is the negation of a disjunction of two literals, are true.
For example, if we know that $p \lor q$ and $\neg p \lor r$ are true,
81.2-142.7 81.2z"/>
Subscribe on YouTube
then we can use resolution to prove that $q \lor r$ is true.
Resolution is a very powerful rule of inference, and it is used in many different areas of mathematics and computer science.
A. Reference is not a rule of inference. It is a process of finding and identifying information that is relevant to a particular topic.
C. Reform is not a rule of inference. It is a process of changing something in order to make it better or more effective.
D. None of the mentioned is not the correct answer. The correct answer is B. Resolution.