Using Indirect Proof Sub Proof Prove B V C C B Ve Already Done Proof Couldn T Figure Exact Q37140293

Using an indirect proof in a sub proof, prove (A -> (B v C))^ C’ -> (B’ -> A’)

I’ve already done the proof, but couldn’t figure out whereexactly an indirect proof would be useful, or how to use it. If youcould focus on that part, I’d be really appreciative.

Solution