# BPFK Section: Logical Variables

## cmavo: da (KOhA1)

### Proposed Definition

something 1. Variable that can be bound by a logical quantifier.

• {de}
• {di}
• {kaidza}

### Usage Examples

ro da poi gapkla cu nitkla
"Everything that goes up, comes down."

## cmavo: de (KOhA1)

### Proposed Definition

something 2. Variable that can be bound by a logical quantifier.

• {da}
• {di}
• {kaidza}

### Usage Examples

su'o da su'o de gapkla gi'e stali
"Something goes up somewhere and stays there."

## cmavo: di (KOhA1)

### Proposed Definition

something 3. Variable that can be bound by a logical quantifier.

• {da}
• {de}
• {kaidza}

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

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

Created by xorxes. Last Modification: Thursday 21 of August, 2014 20:21:44 GMT by Ilmen.