Induction proof

From Event-B

Revision as of 20:58, 13 October 2008 by imported>Christophe (New page: This page explains how to proove with induction method on the natural number with Rodin tools. In other words, how to proove :<br/> <math> P(0) </math><br/> <math> \forall i.i \in \mathbb{...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This page explains how to proove with induction method on the natural number with Rodin tools. In other words, how to proove :
$P(0)$
$\forall i.i \in \mathbb{N}\land P(i) \Rightarrow P(i+1)$
$\vdash$
$\forall i. i \in \mathbb{N} \Rightarrow P(i+1)$

Retrieved from ‘https://wiki.event-b.org/index.php?title=Induction_proof&oldid=5646’

Navigation menu