Conditional proof

Conditional proof is a method used in logic and mathematics to establish the validity of an implication (a conditional statement of the form "If P, then Q"). The technique involves assuming the antecedent (the part before the "then") of the conditional statement and then deriving the consequent (the part after the "then") from that assumption.