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

[Ian Johnson <blindbravado@gmail.com>]

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.