Please help me solve this Indirect Proof Equation
1.) (B&C)>[R>(S&T)]
2.) (CvD)>(R&~S)
3. B>C ................. /~B
(What I have so far?)
4. B ............. AIP
5. B&C ..........4, Com <--- That's wrong! Get C first
6. R>(S&T).....1,5 MP
---------------------
1.) (B&C)>[R>(S&T)]
2.) (CvD)>(R&~S)
3.) B>C ................. /~B
(What you should have)
4. B ............. AIP
5. C ...............3, MP
6. B&C .............4,5 conjunction
7. R > (S&T)........1,6 MP
8. CvD ............5, addition
9. R&~S ............2,8, MP
10. R ...............9, simplification
11. ~S&R ............9, commutation
12. ~S .............11, simplification
13. S&T ...........7,10, MP
14. S ...........13, simplification
15. S&~S ...........14,12, conjunction
16. ~B IP 4-15
Edwin
