Using Indirect Proof Sub Proof Prove B B V C C D D Q37141072

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

Solution