Go backward to Fixed Point Proof
Go up to Top
Go forward to Proof of Unless Relations
Proof of Ensure Relations
- Show and = ensures .
- Show and = unless (later).
- Show { and =} , := , if
{} (easy).
Show that there exists one statement that establishes conclusion
from state where premise but not conclusion holds.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: unity2.tex,v 1.1 1996/04/15 14:38:10 schreine Exp schreine