Date: Thu, 2 Jul 2015 09:41:56 -0700 (PDT)
From: la sel <sel.trimble@gmail.com>
To: lojban@googlegroups.com
Message-Id: <01e675dd-2791-4fce-bc96-705780905828@googlegroups.com>
In-Reply-To: <55948A2E.70705@lojban.org>
References: <m4Wk1q00H56Cr6M014Wllu>
 <55948A2E.70705@lojban.org>
Subject: Re: [lojban] Extended logical connectives: "PA out of these are true"
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_1868_852511020.1435855316536"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -3.1
X-Spam_score_int: -30
X-Spam_bar: ---

------=_Part_1868_852511020.1435855316536
Content-Type: multipart/alternative; 
	boundary="----=_Part_1869_141820356.1435855316536"

------=_Part_1869_141820356.1435855316536
Content-Type: text/plain; charset=UTF-8

Thanks for the info.  It might be nice to put this in the CLL somewhere, as 
I seem to recall while reading it wondering how to deal with these cases.

On Wednesday, July 1, 2015 at 7:47:43 PM UTC-5, lojbab wrote:

> On 6/29/2015 12:30 AM, Spheniscine (la zipcpi) wrote: 
> > It's been often noted that {broda jonai brode jonai brodi} doesn't quite 
> > work as it is often expected to; connecting more than two items with 
> > exclusive-or actually means "an odd number of these things are true", 
> > which is a rather awkward concept. 
> > 
> > More generally though, what we really want to say here is "one out of 
> > these are true". 
>
> This was already designed into the language, long ago.  If you have a 
> set of members, you enclose them, linked by ce (or possibly ce'o) in 
> lu'i [lu'u] brackets and precede them with a quantifier, or you can 
> choose one of the other forms of set description 
>
> lojbab 
>
>
>

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

------=_Part_1869_141820356.1435855316536
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Thanks for the info.&nbsp; It might be nice to put th=
is in the CLL somewhere, as I seem to recall while reading it wondering how=
 to deal with these cases.</div><div><br>On Wednesday, July 1, 2015 at 7:47=
:43 PM UTC-5, lojbab wrote:</div><blockquote class=3D"gmail_quote" style=3D=
"margin: 0px 0px 0px 0.8ex; padding-left: 1ex; border-left-color: rgb(204, =
204, 204); border-left-width: 1px; border-left-style: solid;">On 6/29/2015 =
12:30 AM, Spheniscine (la zipcpi) wrote:
<br>&gt; It's been often noted that {broda jonai brode jonai brodi} doesn't=
 quite
<br>&gt; work as it is often expected to; connecting more than two items wi=
th
<br>&gt; exclusive-or actually means "an odd number of these things are tru=
e",
<br>&gt; which is a rather awkward concept.
<br>&gt;
<br>&gt; More generally though, what we really want to say here is "one out=
 of
<br>&gt; these are true".
<br>
<br>This was already designed into the language, long ago. &nbsp;If you hav=
e a=20
<br>set of members, you enclose them, linked by ce (or possibly ce'o) in=20
<br>lu'i [lu'u] brackets and precede them with a quantifier, or you can=20
<br>choose one of the other forms of set description
<br>
<br>lojbab
<br>
<br>
<br></blockquote></div>

<p></p>

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

------=_Part_1869_141820356.1435855316536--
------=_Part_1868_852511020.1435855316536--