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.
| Transformation rules |
|---|
| Propositional calculus |
| Rules of inference |
|
| Rules of replacement |
|
| Predicate logic |
| Rules of inference |
|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.