Re: What to call this operator?

Jon Heggland wrote:
> > A >= x y z formula can be interpreted that the A(x,y) predicate can be
> > in fact be written as A(x,y,z)!
>
> This does not make sense to me.

Why? Consider functions of multiple variables. Function f(x)=sin(x) is equivalent to function f(x,y)=sin(x)*1(y), where 1(y) is constant function evaluating to 1. Received on Sat Jul 02 2005 - 15:35:37 CDT