History: BPFK Section: Logical Variables

Source of version: 2

!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

Enable pagination rows per page

HTML diff Side-by-side diff Side-by-side diff by characters Inline diff Inline diff by characters Full side-by-side diff Full side-by-side diff by characters Full inline diff Full inline diff by characters Unified diff Side-by-side view HTML diff Side-by-side diff 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

Select action to perform with checked... Remove OK