Re: [lojban-beginners] defining a set

[Ian Johnson <blindbravado@gmail.com>]

Technically this attaches the {po'o} to {.ebu} which is undesirable. Moreover there is a semantic problem with binding an existential variable to a constant variable. (It isn't so bad when there is only one layer of quantification but it is catastrophic otherwise.) But there's a simpler approach:

{.i ky linji .abu ce .ebu}

or if you want a variable:

{.i ky linji ko'a goi .abu ce .ebu}

or if you want the referents first:

{.i ky linji .abu ce .ebu vu'o goi ko'a}

Using {cmima} precisely winds up being awkward because you have to do something like:

{.i ca'e ro da zo'u da cmima ko'a .i jo da cmima .abu ce .ebu}

mi'e la latro'a mu'o

On Thu, Dec 18, 2014 at 4:47 PM, ravas <ravas@outlook.com> wrote:

On Thursday, December 18, 2014 5:17:42 AM UTC-8, Pierre Abbat wrote:

{ky. linji .abu. ce .ebu}

mi pu djica .ui
 

There are infinitely many sets that contain A and E (and other
things), some of which do not define lines, so no.

Can we use [po'o] to say these are the only members of the set?

abu. e .ebu. po'o cmima da goi ko'a
.i ky. linji ko'a

---

ki'esai .io

--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.