The following resolution rule is used in logic programming.
Derive clause (P ∨ Q) from clauses (P ∨ R), (Q ∨ ¬R)
Which of the following statements related to this rule is FALSE?
(A) ((P ∨ R) ∧ (Q ∨ ¬R)) ⇒ (P ∨ Q) is logically valid
(B) (P ∨ Q) ⇒ ((P ∨ R)) ∧ (Q ∨ ¬R)) is logically valid
(C) (P ∨ Q) is satisfiable if and only if (P ∨ R) ∨ (Q ∨ ¬R) is satisfiable
(D) (P ∨ Q) ⇒ FALSE if and only if both P and Q are unsatisfiable
Answer: (A)
Explanation: Option (A) itself is definition of resolution.
So option (A) is correct.
Quiz of this Question
Recommended Posts:
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 59
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 58
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 57
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 56
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 55
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 54
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 53
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 52
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 60
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 61
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 65
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 64
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 63
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 62
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 51
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 50
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 49
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 38
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 37
- GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 36
