Re: [lojban] What gets into 'lo broda'

[Jorge Llambías <jjllambias@gmail.com>]

On Sun, Apr 25, 2010 at 3:51 PM, John E Clifford <kali9putra@yahoo.com> wrote:
>
> But about the cimeis.  Consider 'lo cimei be lo broda.  The "'individuals" in this case seem to have to be triads (of things among lo broda), and relatively impermeable ones.

No, I think they are ordinary individuals:

    lo cimei be lo broda
=  zo'e noi ke'a cimei lo broda
   "things, which are three and among the broda

>> ko'a (n+1)mei .ijo su'oi da poi pamei zo'u su'oi de poi (n)mei zo'u ge
>> da na me de gi ro'oi di poi ke'a me ko'a zo'u ga di me da gi di me de
>> "A are n+1 iff there's some X which is one and some Y which are n such
>> that X is not among Y and for every Z among A, Z is X or Z are among
>> Y"
>
> [Not quite enough, since  for every W among Y, WX is among A but not among Z nor is it X.]

Right, I complicated myself unnecessarily. I should have defined the
"su'o(n)mei" first, and only then the "(n)mei".

"su'o(pa)mei" is true of anything.

"su'o(n+1)mei":

A are at least n+1 iff there's X among A and Y among A such that X are
at least n and Y are not among X

Then "su'e(n)mei":

A are at most n iff A are not at least n+1

And finally:

A are n iff A are at least n and at most n

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.