[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Re: COI, UI (was Re: cfari)
--- John Cowan <jcowan@reutershealth.com> wrote:
> Jorge Llamb��)B�as scripsit:
>
> > > The x1 of fancu is the abstract function, whereas x4 is the
> lambda-expresion
> > > (or equivalent) that specifies it.
> >
> > Shouldn't those two be interreplaceable?
>
> No. x1 and x4 are analogous to li and me'o.
Ok, so x4 is the quoted expression. {lo ka ce'u broda makau} would be x1.
For example:
lo ka makau sumji ce'u ce'u cu fancu lo('i) namcu remei
lo('i) namcu lu lo ka makau sumji ce'u ce'u li'u
Correct?
(I use {lo('i)} because I suppose you would use {lo'i}, though I prefer
to use {lo} there, but this is a different issue.)
> > What other gismu places
> > are like the x1 of fancu and what other places are like the x4?
>
> x1 and x2 of girzu respectively, except that x4 is a text, not a property.
I don't see the relationship with {girzu}. x1 of girzu is a group,
each of whose members has property x2. That doesn't seem to have
much to do with a function and a textual expression of the function.
> > Or are they sui generis? Is the x2 of sumti like the x1 of fancu,
> > like the x4, or something else?
>
> x2 of sumti is like the x1 of fancu.
Good. x4 of fancu is the most irrelevant one. A given function x1 can
of course have many different expressions x4, right? For example
"x+y", "y+x", "z=x+y", "F(x,y)=x+y", "SUM(x,y)", "x+y->z", etc.
all can be x4 to the same x1?
mu'o mi'e xorxes
__________________________________
Do you Yahoo!?
Protect your identity with Yahoo! Mail AddressGuard
http://antispam.yahoo.com/whatsnewfree