Question 9611 – Propositional-Logic
February 11, 2024Question 9511 – Propositional-Logic
February 11, 2024Question 9650 – Propositional-Logic
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?
Correct Answer: B
Question 14 Explanation:
(P ∨ Q) ⇒ ((P ∨ R) ∧ (Q ∨ ¬R))
It is may be True (or) False depending on values. So this is not valid.
It is may be True (or) False depending on values. So this is not valid.
((P ∨ R) ∧ (Q ∨ ¬R)) ⇒ (P ∨ Q) is logically valid
(P ∨ Q) ⇒ ((P ∨ R) ∧ (Q ∨ ¬R)) is logically valid
(P ∨ Q) is satisfiable if and only if (P∨R) ∧ (Q∨¬R) is satisfiable
(P ∨ Q) ⇒ FALSE if and only if both P and Q are unsatisfiable
Subscribe
Login
0 Comments