Received: from [192.168.123.254] (port=46686 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1iccTG-0000UD-8w for jbovlaste-admin@lojban.org; Wed, 04 Dec 2019 13:46:09 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 04 Dec 2019 13:46:06 -0800 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word ckajida -- By krtisfranks Date: Wed, 4 Dec 2019 13:46:06 -0800 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has added a definition of "ckajida" in the language "English". New Data: Definition: Define $x_1$ to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property $x_2$ (condition/ka); let $x_1$ be such that it satisfies/is described by $x_2$. Notes: This is not a standard assertion/claim proposition, instead being an assignment statement/directive (has an implicit "{ko}"); as such, it does not really have a truth value (or its truth value is TRUE because of itself). A thing such as $x_1$ need not exist, although non-existence is also not implied; this bridi abstains from resolving the question of $x_1$'s existence. "{ca'e}", "{ckaji}", "{da}", "{poi}", "{zo'u}". Jargon: Gloss Keywords: Word: existential instantiation, In Sense: Word: let x be such that, In Sense: Word: define x such that, In Sense: Place Keywords: You can go to to see it.