Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:400d:c09::236 as permitted sender) client-ip=2607:f8b0:400d:c09::236;
MIME-Version: 1.0
In-Reply-To: <01e675dd-2791-4fce-bc96-705780905828@googlegroups.com>
References: <55948A2E.70705@lojban.org>
	<01e675dd-2791-4fce-bc96-705780905828@googlegroups.com>
Date: Fri, 3 Jul 2015 14:07:48 -0400
Message-ID: <CA+gZtg+TZOtg+4R9rFbX=HLWweqJyVaWeJjLvN8vk=rbpE1MCA@mail.gmail.com>
Subject: Re: [lojban] Extended logical connectives: "PA out of these are true"
From: Ian Johnson <blindbravado@gmail.com>
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=001a113746cc09c5ce0519fc6fd7
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.0
X-Spam_score_int: -29
X-Spam_bar: ---

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

I would suggest something like {.i jetnu fa PA me lo du'u ... jo'u lo du'u
...}. Note that this is a xorlo-specific solution, since it uses xorlo's
definition of {me}. It's a little verbose, but not that bad, and it is also
pretty flexible. For example, "exactly one of "A","B and C","D" is true" is
easy to build this way, by putting "B and C" in the second du'u.

mi'e la latro'a mu'o

On Thu, Jul 2, 2015 at 12:41 PM, la sel <sel.trimble@gmail.com> wrote:

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

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

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

<div dir=3D"ltr"><div>I would suggest something like {.i jetnu fa PA me lo =
du&#39;u ... jo&#39;u lo du&#39;u ...}. Note that this is a xorlo-specific =
solution, since it uses xorlo&#39;s definition of {me}. It&#39;s a little v=
erbose, but not that bad, and it is also pretty flexible. For example, &quo=
t;exactly one of &quot;A&quot;,&quot;B and C&quot;,&quot;D&quot; is true&qu=
ot; is easy to build this way, by putting &quot;B and C&quot; in the second=
 du&#39;u.<br><br></div>mi&#39;e la latro&#39;a mu&#39;o<br></div><div clas=
s=3D"gmail_extra"><br><div class=3D"gmail_quote">On Thu, Jul 2, 2015 at 12:=
41 PM, la sel <span dir=3D"ltr">&lt;<a href=3D"mailto:sel.trimble@gmail.com=
" target=3D"_blank">sel.trimble@gmail.com</a>&gt;</span> wrote:<br><blockqu=
ote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc s=
olid;padding-left:1ex"><div dir=3D"ltr"><div>Thanks for the info.=C2=A0 It =
might be nice to put this in the CLL somewhere, as I seem to recall while r=
eading it wondering how to deal with these cases.</div><div><div class=3D"h=
5"><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;pad=
ding-left:1ex;border-left-color:rgb(204,204,204);border-left-width:1px;bord=
er-left-style:solid">On 6/29/2015 12:30 AM, Spheniscine (la zipcpi) wrote:
<br>&gt; It&#39;s been often noted that {broda jonai brode jonai brodi} doe=
sn&#39;t quite
<br>&gt; work as it is often expected to; connecting more than two items wi=
th
<br>&gt; exclusive-or actually means &quot;an odd number of these things ar=
e true&quot;,
<br>&gt; which is a rather awkward concept.
<br>&gt;
<br>&gt; More generally though, what we really want to say here is &quot;on=
e out of
<br>&gt; these are true&quot;.
<br>
<br>This was already designed into the language, long ago.=C2=A0 If you hav=
e a=20
<br>set of members, you enclose them, linked by ce (or possibly ce&#39;o) i=
n=20
<br>lu&#39;i [lu&#39;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></div></div><div class=3D"HOEnZb"><div class=3D"h5">

<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" target=3D"_b=
lank">lojban+unsubscribe@googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
Visit this group at <a href=3D"http://groups.google.com/group/lojban" targe=
t=3D"_blank">http://groups.google.com/group/lojban</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><br></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 />

--001a113746cc09c5ce0519fc6fd7--