Conditional proof

A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent.

The assumed antecedent of a conditional proof is called the conditional proof assumption (CFA). Thus, the goal of a conditional proof is to demonstrate that if the CFA were true, then the desired conclusion necessarily follows. Note that the validity of a conditional proof does not require that the CFA is actually true, only that if it is true it leads to the consequent.

As an example of a conditional proof in symbolic logic, suppose we want to prove A → C (if A, then C) from the first two premises below:

1.	A → B ("If A, then B")
2.	B → C ("If B, then C")

3.	A (conditional proof assumption, "Suppose A is true")
4.	B (follows from lines 1 and 3, modus ponens; "If A then B; A, therefore B")
5.	C (follows from lines 2 and 4, modus ponens; "If B then C; B, therefore C")
6.	A → C (follows from lines 3-5, conditional proof; "If A, then C")

Conditional proofs are of great importance in mathematics. Conditional proofs exist linking several otherwise unproven conjectures, so that a proof of one conjecture may immediately imply the validity of several others. It can be much easier to show a proposition's truth to follow from another proposition than to prove it independently.

See also