Re: [lojban] Re: da poi du ro de ?

[John Cowan <jcowan@reutershealth.com>]

Jorge Llamb?as scripsit:

> > It says "Each of those things X which are all things Y
> > is a broda", 
> 
> Why "each"? You seem to be taking X as a plural variable, so that
> it can take all values at once.
> 
> But with da and de as singular variables, it says:
> 
> su'o da poi ro de zo'u da du de zo'u da broda
> [Ex:Ay x=y] x broda 
> 
> There is some x which for all y, x=y, such that x brodas.

Yes, I see you are right, because of the transitivity of equality.
If some x is equal to all ys, then all ys are equal to each other,
so there is only one object.

-- 
John Cowan  jcowan@reutershealth.com  www.reutershealth.com  ccil.org/~cowan
Dievas dave dantis; Dievas duos duonos          --Lithuanian proverb
Deus dedit dentes; deus dabit panem             --Latin version thereof
Deity donated dentition;
  deity'll donate doughnuts                     --English version by Muke Tever
God gave gums; God'll give granary              --Version by Mat McVeagh