Difference between revisions of "Induction proof"
From Event-B
Jump to navigationJump to searchimported>Christophe |
imported>Christophe |
||
Line 10: | Line 10: | ||
\vdash | \vdash | ||
</math><br/> | </math><br/> | ||
− | <math>\forall i. i \in \mathbb{N} \Rightarrow P(i | + | <math>\forall i. i \in \mathbb{N} \Rightarrow P(i)</math> |
---- | ---- |
Revision as of 21:24, 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 :