Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|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
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.