cmavo: di (KOhA1)
Proposed Definition
something 3. Variable that can be bound by a logical quantifier.
Proposed Tag
See Also
- {da}
- {de}
- {kaidza}
Proposed Keywords
Usage Examples
- pa da broda ijo ge su'o de broda gi ro di poi broda cu du de
- "Exactly one x is a broda iff some y is a broda and every z that is a broda is that y."
Notes
Issues
General Section Issues
- da, de, di are singular variables when bound by singular quantifier, i.e. they take values one at a time. The quantifier indicates the number of values it can take such that with each of those values the quantified bridi is true. A variable bound by a plural quantifier could take more than one value at a time to satisfy a predicate.