Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have the following question and am not sure how to do it.

Find the resolvent for the two clauses:

$P \vee \neg Q \vee R$

$P \vee \neg R \vee S$

share|cite|improve this question
I'm not into logic, and googling some terms it I couldn't understand what your question is. In specific what do you mean by resolvent for the two clauses? Just guessing what it could mean, observe that it never happens to have both false at the same time. – Giovanni De Gaetano Nov 5 '12 at 12:05
This looks like a question to make sure that you have read and understood the definition of a "resolvent". Do you have such a definition in your textbook/notes? Please edit your question to quote that definition. – Henning Makholm Nov 5 '12 at 12:17
up vote 0 down vote accepted

Resolvent is the outcome of applying the resolution rule. In your case, there is only one possibility how to apply it: $$ \frac{P\lor\lnot Q\lor{\boldsymbol R}\qquad P\lor{\boldsymbol {\lnot R}}\lor S}{P\lor\lnot Q\lor S} $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.