Received-SPF: neutral (google.com: 68.230.241.214 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) client-ip=68.230.241.214;
Message-ID: <55948A2E.70705@lojban.org>
Date: Wed, 01 Jul 2015 20:47:42 -0400
From: "Bob LeChevalier, President and Founder - LLG" <lojbab@lojban.org>
Organization: The Logical Language Group, Inc.
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] Extended logical connectives: "PA out of these are true"
References: <m4Wk1q00H56Cr6M014Wllu>
In-Reply-To: <m4Wk1q00H56Cr6M014Wllu>
Content-Type: text/plain; charset=UTF-8; format=flowed
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: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

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.