[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] What gets into 'lo broda'
OK, I've almost got it, I think. 're lo cimei be lo broda' will get me somewhere between four and six things that are in lo broda, delivered up in threes, even if they are not any of them the three that went into composing lo broda (teams that actually lifted the piano, say -- supposing not all triads succeeded). The satisfaction/realization (not great words) split is still giving a block from time to time, sinc I keep want to take one of these triads and say that it brodas. Even though I would have no temptation to insist that triad from the group that surrounded the building surrounded the building (memories of evanescent structures past, I think: C-sets).
----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Sun, April 25, 2010 2:12:28 PM
Subject: Re: [lojban] What gets into 'lo broda'
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.
--
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.