Which of the following uses logical deduction to prove the truth (or falsehood) of a specific statement?

A) contrapositive inference

B) direct proof

C) indirect proof

D) negation

Direct proof. A direct proof is a way of establishing the truth or falsehood of a given mathematical statement by a combination of established facts, usually axioms, lemmas and theorems. It assumes the hypothesis of a conjecture is true and then uses a series of logical deductions to prove that the conclusion as well.