History: BPFK Section: Logical Variables

Preview of version: 3

Proposed definitions

da (KOhA1)
something 1. Variable that can be bound by a logical quantifier.


ro da poi gapkla cu nitkla

Everything that goes up, comes down.

de (KOhA1)
something 2. Variable that can be bound by a logical quantifier.


su'o da su'o de gapkla gi'e stali

Something goes up somewhere and stays there.

di (KOhA1)
something 3. Variable that can be bound by a logical quantifier.


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

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

History

Advanced
Information Version
Thu 21 of Aug, 2014 20:21 GMT Ilmen from 95.210.209.219 Adding word links. 5
Tue 10 of Jun, 2014 03:28 GMT mukti from 68.173.146.212 4
Thu 22 of Apr, 2010 01:53 GMT xorxes from 201.253.86.169 3
Fri 16 of Apr, 2010 00:45 GMT xorxes from 201.253.86.169 2
Mon 16 of Aug, 2004 19:43 GMT xorxes from 200.43.213.156 1
Show PHP error messages