Re: What to call this operator?
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 2 Jul 2005 13:35:37 -0700
Message-ID: <1120336537.052835.142450_at_o13g2000cwo.googlegroups.com>
Date: 2 Jul 2005 13:35:37 -0700
Message-ID: <1120336537.052835.142450_at_o13g2000cwo.googlegroups.com>
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 - 22:35:37 CEST