Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:35769 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1VrCrH-0006gs-6X; Thu, 12 Dec 2013 12:27:49 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 12 Dec 2013 12:27:42 -0800 From: "Apache" Date: Thu, 12 Dec 2013 12:27:42 -0800 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: <52aa1c3e.yYJG9p2SORkGTNxs%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: application/octet-stream Content-Transfer-Encoding: 8bit X-Spam-Score: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 X-Spam_bar: ++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 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. 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 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. 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. 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 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. 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.