[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Extended logical connectives: "PA out of these are true"
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.