[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