SOLUTION: 4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P 4. ~Q v B / P • ~Q ___________ ___________ 5. 6. 7. 8. 9.

Algebra ->  Proofs -> SOLUTION: 4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P 4. ~Q v B / P • ~Q ___________ ___________ 5. 6. 7. 8. 9.       Log On


   

Question 189541: 4) I can only use the 8 rules of inference.
1. ~(S v R)
2. B → (S v R)
3. B v P
4. ~Q v B / P • ~Q
________________________
5.
6.
7.
8.
9.

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Unfortunately, this proof isn't entirely complete (it needs a rule that you cannot use...), but it is still correct nonetheless 

1. ~(S v R)
2. B -> (S v R)
3. B v P
4. ~Q v B / P & ~Q
----------------------
5.  ~B                  2,1   Modus Tollens
6.  P                   3,5   Disjunctive Syllogism
7.  ~Q                  4,5   Disjunctive Syllogism
8.  P & ~Q              6,7   Conjunction