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


------------------------ Yahoo! Groups Sponsor --------------------~--> 
Make a clean sweep of pop-up ads. Yahoo! Companion Toolbar.
Now with Pop-Up Blocker. Get it for free!
http://us.click.yahoo.com/L5YrjA/eSIIAA/yQLSAA/GSaulB/TM
--------------------------------------------------------------------~-> 

To unsubscribe, send mail to lojban-unsubscribe@onelist.com 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/lojban/

<*> To unsubscribe from this group, send an email to:
    lojban-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/