Difference between revisions of "Induction proof"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m (wikipedia link) |
||
Line 1: | Line 1: | ||
− | This page explains how to prove with induction method on the natural number with Rodin tools. | + | This page explains how to prove with [[wikipedia:Mathematical induction|induction]] method on the natural number with Rodin tools. |
In other words, how to proove : | In other words, how to proove : | ||
Revision as of 14:08, 30 October 2008
This page explains how to prove 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 instantiating the key theorem with :