A conditional proof is a proof technique in which one proves a material conditional by assuming the antecedent of the conditional and then proving that the consequent logically follows from the antecedent. A formalization of the conditional proof is the Deduction theorem.