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

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



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". It'd also be nice if we can substitute "one" there for any PA, which allows a rather diverse range of _expression_: "more than two of these are true", "almost all of these are true", etc.

But then comes the big problem; actually getting it to work. Whatever system we come up with needs to:

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