Difference between revisions of "Induction proof"
From Event-B
Jump to navigationJump to searchimported>Christophe |
imported>Christophe |
||
Line 21: | Line 21: | ||
---- | ---- | ||
− | The proof of the previous theorem is given by | + | The proof of the previous theorem is given by instanciate the key theorem with : <math> \{x|x\in \mathbb{N} \land P(x)\}</math> |
− |
Revision as of 21:23, 13 October 2008
This page explains how to proove with induction method on the natural number with Rodin tools.
In other words, how to proove :
The proof key is the following theorem:
The proof of the previous theorem is given by instanciate the key theorem with :