Conditional proof
From Free net encyclopedia
(Difference between revisions)
| Revision as of 20:39, 6 August 2005 Fredrik (Talk | contribs) remove poor example, fmt ← Previous diff |
Current revision Fredrik (Talk | contribs) remove poor example, fmt |
Current revision
A 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.
[edit]
