SOLUTION: Does this proof look correct to you? If you notice any mistakes please let me know! Thank you!
1. A⊃(B⊃C)
2. (A⊃C)⊃D / B⊃D
3. B
Algebra ->
Proofs
-> SOLUTION: Does this proof look correct to you? If you notice any mistakes please let me know! Thank you!
1. A⊃(B⊃C)
2. (A⊃C)⊃D / B⊃D
3. B
Log On
Question 1004998: Does this proof look correct to you? If you notice any mistakes please let me know! Thank you!
1. A⊃(B⊃C)
2. (A⊃C)⊃D / B⊃D
3. B ACP
4. A ACP
5. B⊃C 1,4, MP
6. C 3,5, MP
7. A⊃C 4-6, CP
8. D 2,7, MP
9. B⊃D 3-8, CP Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website! Everything looks great. Don't forget to indent the proper parts of the proof to show where/how things are nested.
(