Re: [lojban-beginners] Re: Reuse request

[Jonathan Jones <eyeonus@gmail.com>]

On Sat, May 12, 2012 at 5: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?

I expected it to be {ge lu'i ko'a broda gi lu'i ko'e broda},
which actually involves two possibly different sets.

Is it that LAhE is an exception, or it should be expanded to something
else first?

mu'o
mi'e .asiz.

 

I'm no authority on this, but I'm pretty sure you can't pull "ko'a .e ko'e" out of the lu'i construct, as the job of "lu'i" is to convert it's argument[s] into a new thing, which is the set containing the argument[s].

"lu'i ko'a" is a subset of "lu'i ko'a .e ko'e". It's not a two-way street, in the same way that all circles are ellipses, but not all ellipses are circles.

-- 
mu'o mi'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your father. :D )

-- 
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.