443 views
0 votes
0 votes
Derive clause (P ∨ Q) from clauses (P ∨ R), (Q ∨ ¬R)
is following statements related to this rule is FALSE?

(P ∨ Q) ⇒ FALSE if and only if both P and Q are unsatisfiable

Please log in or register to answer this question.

Related questions

2 votes
2 votes
1 answer
2
Anusha Motamarri asked Nov 7, 2016
415 views
when ∀xP(x) Q(x) is givendoes it mean (∀xP(x)) Q(x) or it means ∀x(P(x) Q(x))?in short precedence of quantifiers is greater or implies is greater?