Explanation: The resolution rule for first-order clauses is simply a lifted version of the propositional resolution rule. 7. At which state does the propositional literals are complementary.
A. If one variable is less
B. If one is the negation of the other
C. Both a & b
D. None of the mentioned
Answer:A
Explanation: The resolution rule for first-order clauses is simply a lifted version of the propositional resolution rule. 7. At which state does the propositional literals are complementary.
A. If one variable is less B. If one is the negation of the other C. Both a & b D. None of the mentioned