Re: [lojban-beginners] Re: Reuse request

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

On Sat, May 12, 2012 at 8:36 AM, Felipe Gonçalves Assis
<felipeg.assis@gmail.com> wrote:
> On 11 May 2012 08:46, Jorge Llambías <jjllambias@gmail.com> wrote:
>> BTW, I'm not sure it has ever been defined whether "lu'i ko'a .e ko'e"
>> is the set whose elements are ko'a and ko'e and nothing else, or any
>> set containing ko'a and ko'e.
>
> Whatever the interpretation, xorxes, how would you go expanding
> {lu'i ko'a .e ko'e broda} to a bridi connective?

"lu'i" is basically "lo selcmi be" (plus some considerations), so:

lu'i ko'a .e ko'e
= lo selcmi be ko'a .e ko'e
= zo'e noi ke'a selcmi ko'a .e ko'e
= zo'e noi ge ke'a selcmi ko'a gi ke'a selcmi ko'e

That results in the "any set containing" interpretation.

The other interpretation requires a more complicated definition of
"lu'i", something like "lo selcmi be ... .e no drata be ri".

mu'o mi'e xorxes

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