SOLUTION: 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

Algebra.Com
Question 1025356: 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
6. R>(S&T).....1,5 MP
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
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
RELATED QUESTIONS

Help me solve the following using an indirect proof. I am including what I have so far.... (answered by jim_thompson5910)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Can anyone annotate the following proofs for me? Proof 1: 1. (AvB) -> C 2. (CvD)... (answered by Edwin McCravy)
Can someone show me how to do this...please show your work :) 1/4x+1/4y=-1 x-y=8... (answered by vidhyak)
I have bee having trouble solving these problems and been at it for hours I need help.... (answered by solver91311)
If {{{(r+s)/r=3}}} and {{{(t+r)/t=5}}},what is the value of {{{s/t}}}? (A){{{1/2}}}... (answered by Edwin McCravy)
Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
We have to proof these arguement by using the 17 rules of inference. 1) 1. (z>x) .... (answered by lynnlo)
1. A v B 2. A ≡ (C & D) 3. B ⊃ (D & G)/D I am trying to solve this equation. i... (answered by math_helper)