[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Extended logical connectives: "PA out of these are true"



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.