shit. just spent four and a half hours prooving symbolic arguments. this makes me smarter, how? oh well, aced the homework and got an A on the test.
check out this bullshit:
1. -P premise
2. ((P>Q)>(R=S)) premise
3. (Pv(-Rv-S)) premise / (-R.-S) conclusion
4. (-Rv-S) 1, 3, DS
5. -(R.S) 4, DEM
6. (-PvQ) 1, ADD
7. (P>Q) 6, IMPL
8. (R=S) 7, 2, MP
9. ((R.S)v(-R.-S)) 8, EQUIV
10. (-R.-S) 5, 9, DS
exactly.
check out this bullshit:
1. -P premise
2. ((P>Q)>(R=S)) premise
3. (Pv(-Rv-S)) premise / (-R.-S) conclusion
4. (-Rv-S) 1, 3, DS
5. -(R.S) 4, DEM
6. (-PvQ) 1, ADD
7. (P>Q) 6, IMPL
8. (R=S) 7, 2, MP
9. ((R.S)v(-R.-S)) 8, EQUIV
10. (-R.-S) 5, 9, DS
exactly.