History: BPFK Section: Logical Variables

Preview of version: 1

Proposed definitions

da (KOhA1)
something 1. Logically quantifiable singular variable.

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

de (KOhA1)
something 2. Logically quantifiable singular variable.

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

di (KOhA1)
something 3. Logically quantifiable singular variable.

pa da broda ijo ge su'o de broda gi ro di poi broda cu du de
Exactly one thing1 is a broda iff some thing2 is a broda and every thing3 that is a broda is that thing2.

Notes

  • da, de, di are singular variables because 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 relationship is true. A plural variable could take more than one value at once 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