# Finding a resolvent for clauses

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$

-
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

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}$$

-