Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:400d:c01::22e as permitted sender) client-ip=2607:f8b0:400d:c01::22e;
MIME-Version: 1.0
In-Reply-To: <1bc0a1b4-2c35-454b-a196-47fbd961b2c3@googlegroups.com>
References: <f5358d3f-1115-4664-b6c9-076a3bd42013@googlegroups.com>
	<3651881.YGNPRj2BVu@caracal>
	<1bc0a1b4-2c35-454b-a196-47fbd961b2c3@googlegroups.com>
Date: Thu, 18 Dec 2014 17:11:34 -0500
Message-ID: <CA+gZtg+zse5xnd6y4yTY5UjTEtg+7yo7j259rQVU2ipi+oiFdw@mail.gmail.com>
Subject: Re: [lojban-beginners] defining a set
From: Ian Johnson <blindbravado@gmail.com>
To: lojban-beginners@googlegroups.com
Content-Type: multipart/alternative; boundary=001a113aa932116e0e050a84e08c
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
Sender: lojban-beginners@googlegroups.com
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

--001a113aa932116e0e050a84e08c
Content-Type: text/plain; charset=UTF-8

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.

--001a113aa932116e0e050a84e08c
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div><div><div><div>Technically this attaches the {po=
&#39;o} to {.ebu} which is undesirable. Moreover there is a semantic proble=
m with binding an existential variable to a constant variable. (It isn&#39;=
t so bad when there is only one layer of quantification but it is catastrop=
hic otherwise.) But there&#39;s a simpler approach:<br><br></div>{.i ky lin=
ji .abu ce .ebu}<br><br></div>or if you want a variable:<br><br></div>{.i k=
y linji ko&#39;a goi .abu ce .ebu}<br><br>or if you want the referents firs=
t:<br><br></div>{.i ky linji .abu ce .ebu vu&#39;o goi ko&#39;a}<br><br></d=
iv><div>Using {cmima} precisely winds up being awkward because you have to =
do something like:<br><br>{.i ca&#39;e ro da zo&#39;u da cmima ko&#39;a .i =
jo da cmima .abu ce .ebu}<br></div><div><br></div>mi&#39;e la latro&#39;a m=
u&#39;o<br></div><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">=
On Thu, Dec 18, 2014 at 4:47 PM, ravas <span dir=3D"ltr">&lt;<a href=3D"mai=
lto:ravas@outlook.com" target=3D"_blank">ravas@outlook.com</a>&gt;</span> w=
rote:<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-le=
ft:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><span class=3D""><br><=
br>On Thursday, December 18, 2014 5:17:42 AM UTC-8, Pierre Abbat wrote:<blo=
ckquote class=3D"gmail_quote" style=3D"margin:0;margin-left:0.8ex;border-le=
ft:1px #ccc solid;padding-left:1ex"><br>
{ky. linji .abu. ce .ebu} <br></blockquote></span><div><br>mi pu djica .ui<=
br>=C2=A0</div><span class=3D""><blockquote class=3D"gmail_quote" style=3D"=
margin:0;margin-left:0.8ex;border-left:1px #ccc solid;padding-left:1ex">The=
re are infinitely many sets that contain A and E (and other=20
<br>things), some of which do not define lines, so no.
<br></blockquote></span><div><br>Can we use [po&#39;o] to say these are the=
 only members of the set?<br><br><font face=3D"courier new,monospace">abu. =
e .ebu. po&#39;o cmima da goi ko&#39;a<br>.i ky. linji ko&#39;a<br><br>---<=
br><br>ki&#39;esai .io<br></font></div></div><div class=3D"HOEnZb"><div cla=
ss=3D"h5">

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;Lojban Beginners&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban-beginners+unsubscribe@googlegroups.com" ta=
rget=3D"_blank">lojban-beginners+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban-beginners@goo=
glegroups.com" target=3D"_blank">lojban-beginners@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/lojban-beginn=
ers" target=3D"_blank">http://groups.google.com/group/lojban-beginners</a>.=
<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" targ=
et=3D"_blank">https://groups.google.com/d/optout</a>.<br>
</div></div></blockquote></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;Lojban Beginners&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban-beginners+unsubscribe@googlegroups.com">lo=
jban-beginners+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban-beginners@goo=
glegroups.com">lojban-beginners@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban-beginn=
ers">http://groups.google.com/group/lojban-beginners</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--001a113aa932116e0e050a84e08c--