Go backward to Fixed Point Proof
Go up to Top
Go forward to Proof of Unless Relations

Proof of Ensure Relations

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

Prev Up Next