A directory of Objective Type Questions covering all the Computer Science subjects. Here you can access and discuss Multiple choice questions and answers for various compitative exams and interviews.

Discussion Forum

Que. The following resolution rule is used in logic programming:

Derive clause (P v Q) from clauses (P v R), (Q v ¬ R)

Which of the following statements related to this rule is FALSE?
a. ((P v R) ^ (Q v ¬ R)) (P v Q) is logically valid
b. (P v Q) ⇒ ((P v R) ^ (Q v ¬ R)) is logically valid
c. (P v Q) is satisfiable if and only if (P v R) ^ (Q v ¬ R) is satisfiable
d. (P v Q) ⇒ FALSE if and only if both P and Q are unsatisfiable
Answer:(P v Q) ⇒ ((P v R) ^ (Q v ¬ R)) is logically valid
Confused About the Answer? Ask for Details Here
Know Explanation? Add it Here

Similar Questions: