Go backward to Fundamental Concepts
Go up to Top
Go forward to Special Cases of Unless

Unless

p unless q <=> <forall s :s in F:: {p and not q} s {p or q}>

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