Question 189541
Unfortunately, this proof isn't entirely complete (it needs a rule that you cannot use...), but it is still correct nonetheless


<pre>
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
</pre>