[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
polyadic connectives
There was some recent discussion, instigated by pc, about more-than-binary
connectives. For some, like an extended xor, it's easy to see how to
render them: "exactly one of A, B, C is true". I've got two questions:
1. What connectives make sense when extended to sets of varying size?
(What's the term for what I mean? Commutative functions? Ones where
all arguments are treated alike.)
* and = all of
* or = at least one of
* extended xor = exactly one of
* extended iff = all of or none of
* ... and what else? (apart from negations of these four)
2. Does Lojban have any way of doing "all or none" without resorting to
an explicit disjunction? For example, is there a way of saying "more
than none and less than all", without the conjunction?
--And.