Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:36220 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1XVwrt-0005Wl-Ok; Sun, 21 Sep 2014 23:13:03 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sun, 21 Sep 2014 23:13:00 -0700 From: "Apache" Date: Sun, 21 Sep 2014 23:13:00 -0700 To: webmaster@lojban.org, gusni.kantu@gmail.com Subject: [jvsw] Definition Edited At Word bu'ai -- By gusnikantu Bcc: jbovlaste-admin@lojban.org Message-ID: <541fbdec.XbeaUhZG6tRRTbR9%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-Score: -0.9 (/) X-Spam_score: -0.9 X-Spam_score_int: -8 X-Spam_bar: / In jbovlaste, the user gusnikantu has edited a definition of "bu'ai" in the language "English". Differences: 5,5c5,5 < {zo'e} and {da} are free and bound variables of predicate logic of first order respectively; {co'e} and {bu'a} are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. {su'u} and {bu'ai} in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that {bu'ai} takes plural number of selbri variables, connect them with {ju'e} or something. Higher order is also possible by nesting {bu'ai}. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This {xe'u} is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) See also {su'u}, {bu'a}; {xe'u}. --- > {zo'e} and {da} are a constant and a bound variable of predicate logic of first order respectively; {co'e} and {bu'a} are a selbri constant and a bound selbri variable of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. {su'u} and {bu'ai} in selma'o NU can compose respectively a selbri constant and a bound selbri variable in the domain of all selbri of second order. In the case that {bu'ai} takes plural number of selbri variables, connect them with {ju'e} or something. Higher order is also possible by nesting {bu'ai}. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This {xe'u} is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) See also {su'u}, {bu'a}; {xe'u}. Old Data: Definition: abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. Notes: {zo'e} and {da} are free and bound variables of predicate logic of first order respectively; {co'e} and {bu'a} are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. {su'u} and {bu'ai} in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that {bu'ai} takes plural number of selbri variables, connect them with {ju'e} or something. Higher order is also possible by nesting {bu'ai}. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This {xe'u} is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) See also {su'u}, {bu'a}; {xe'u}. Jargon: Gloss Keywords: Word: higher order, In Sense: predicate logic Word: third order, In Sense: predicate logic Place Keywords: New Data: Definition: abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. Notes: {zo'e} and {da} are a constant and a bound variable of predicate logic of first order respectively; {co'e} and {bu'a} are a selbri constant and a bound selbri variable of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. {su'u} and {bu'ai} in selma'o NU can compose respectively a selbri constant and a bound selbri variable in the domain of all selbri of second order. In the case that {bu'ai} takes plural number of selbri variables, connect them with {ju'e} or something. Higher order is also possible by nesting {bu'ai}. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This {xe'u} is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.) See also {su'u}, {bu'a}; {xe'u}. Jargon: Gloss Keywords: Word: higher order, In Sense: predicate logic Word: third order, In Sense: predicate logic Place Keywords: You can go to to see it.