Conditional proof

Conditional proof is a proof that takes the form of asserting a conditional, and proving that the premise or antecedent of the conditional necessarily leads to the conclusion. Proving this requires assuming the premise and deriving, from that assumption, the consequent of the conditional. By proving the connection between the antecedent and the consequent, the assumption of the antecedent is justified post hoc.

For example, I claim that "if you don't leave now, you'll be late for work". I prove it with the following argument:

1. It takes twenty minutes to get to work.
2. You're supposed to start work in twenty minutes.
3. Assume you don't leave now.
4. When you do leave, you'll arrive after the time you're supposed to start.

∴ If you don't leave now, you'll be late for work.

Note that I haven't proved that you'll be late for work: I've only proven the conditional, that the consequent follows necessarily from the antecedent.

See also: Deduction theorem.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.