History: BPFK Section: Logical Variables

Source of version: 5 (current)

{BOX()} !! cmavo: da (KOhA1) !!! Proposed Definition something 1. Variable that can be bound by a logical quantifier. !!! Proposed Tag !!! See Also * {de} * {di} * {kaidza} !!! Proposed Keywords !!! Usage Examples ;ro da poi gapkla cu nitkla:"Everything that goes up, comes down." !!! Notes !!! Issues {BOX} {BOX()} !! cmavo: de (KOhA1) !!! Proposed Definition something 2. Variable that can be bound by a logical quantifier. !!! Proposed Tag !!! See Also * {da} * {di} * {kaidza} !!! Proposed Keywords !!! Usage Examples ;su'o da su'o de gapkla gi'e stali:"Something goes up somewhere and stays there." !!! Notes !!! Issues {BOX} {BOX()} !! 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 {BOX} !!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.