Conditional proof
From Wikipedia, the free encyclopedia
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.
[edit] See also
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
