Tue 24 May, 2011 06:27 am - Here is an example of one of my failed attempts...
1. (B > P) > S
2. P > S
3. (S v B) > C / ~C v B
4. ~(S v B) v C (3 Impl)
5. (~S • ~ B) v C (4 DM)
6. C v (~S • ~ B)... (view)
Mon 23 May, 2011 10:26 pm - 1. (B > P) > S
2. P > S
3. (S v B) > C / ~C v B
I've tried to come at this with both indirect and conditional proof methods (and both together), but I can't make any... (view)