Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:proofs_and_induction [2008/02/21 10:24] vkuncak |
sav08:proofs_and_induction [2008/02/21 12:31] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Informal Proofs and Mathematical Induction ====== | ====== Informal Proofs and Mathematical Induction ====== | ||
| - | |||
| ===== Proof Rules ===== | ===== Proof Rules ===== | ||
| Line 78: | Line 77: | ||
| Instead of proving a goal, you can assume its negation and prove any remaining goals (this generalizes proof by contradiction). | Instead of proving a goal, you can assume its negation and prove any remaining goals (this generalizes proof by contradiction). | ||
| \[ | \[ | ||
| - | \frac{\lnot P \vdash\} | + | \frac{\lnot P \vdash} |
| {\vdash P} | {\vdash P} | ||
| \] | \] | ||