Well, traditionally, a boolean algebra is a ring, which means it has
two operations corresponding to plus and times, and a zero such that a
plus zero is a, and a one such that a times one is a. Also by
longstanding tradition, zero is less than one.
Now, in most programming languages, a boolean type is an element of
the two valued boolean algebra, but not all boolean algebras are two
valued. Four valued boolean algebra, for example, introduces m and not
m (which must be distinct). There the ordering is typically false,
not m, m, true.
Overall, you might as well ask why 'b' is greater than 'a'.
Consistent and useful.
On 6/5/07, Albert Y. C. Lai
PR Stanley wrote:
What do the ≤ symbols represent?
I see you are still stuck in ISO-8859-1 and deprived of international characters and symbols. (And this reply in ISO-8859-1 too accordingly; normally I use UTF-8.) Unicode and UTF-8 FTW! :)
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe