Use either indirect proof or conditional proof to derive the conclusion of the following symbolized argument: (Complete the proof in the logic tool. See the Getting Started text for further instructions).
Which proof technique involves proving the negation of the conclusion?
A) Direct proof
B) Indirect proof
C) Conditional proof
D) Contrapositive proof
