Go backward to Special Cases of Unless
Go up to Top
Go forward to Ensures
Special Cases of Unless
-
unless | not is invariant |
is stable
|
- not true (not is invariant).
- unless (premise),
- unless false (substitution axiom on above two),
- is stable (definition).
- Always-Section
- Defines an invariant.
- Construction like that of initial condition by initially-section.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine