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.Com
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)   (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

RELATED QUESTIONS

1) I can only use the 8 rules of inference... 1. P v Q 2.(Q • ~R) → S 3. R... (answered by jim_thompson5910)
7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)
3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (answered by jim_thompson5910)
write a direct proof using the eight rules of inference (C → Q) • (~L →... (answered by Edwin McCravy)
P v Q, P → (T → S), P → T, S ↔ Q ├ S 1. P v Q A (answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E... (answered by jim_thompson5910)
I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (answered by jim_thompson5910)
Construct deductions for each of the following arguments using Group I rules. (1) 1.... (answered by math_helper)