Difference between revisions of "Induction proof"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Mathieu m (ortho) |
||
(One intermediate revision by the same user not shown) | |||
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 | + | In other words, how to prove : |
<math> | <math> |
Latest revision as of 14:11, 30 October 2008
This page explains how to prove with induction method on the natural number with Rodin tools. In other words, how to prove :
The proof key is the following theorem:
The proof of the previous theorem is given by instantiating the key theorem with :