Which is also called single inference rule? A. Reference B. Resolution C. Reform D. None of the mentioned

Reference
Resolution
Reform
None of the mentioned

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.

Exit mobile version