History: bu'ai and xe'u

Source of version: 2 (current)

;bu'ai:((BPFK Section: Abstractors|NU)) Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. (((Experimental cmavo|experimental cmavo)) proposed by guskant.) ((BPFK Section: Grammatical Pro-sumti|zo'e)) and ((BPFK Section: Logical Variables|da)) are free and bound variables of predicate logic of first order respectively; ((BPFK Section: Pro-bridi|co'e)) and ((BPFK Section: Pro-bridi|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. ((BPFK Section: Abstractors|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 ((BPFK Section: Non-logical Connectives|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 ((BPFK Section: Abstractors|su'u)), ((BPFK Section: Pro-bridi|bu'a)); ''xe'u''. ;xe'u:((BPFK Section: Pro-bridi|GOhA)) Abstraction variable indicator brivla. (((Experimental cmavo|experimental cmavo)) proposed by guskant.) ''xe'u'' is a pro-bridi (meaning it takes the place of a fully-specified bridi). ''xe'u'' indicates that the brivla is considered to be a bridi-variable that can be filled by other bridi. ''xe'u'' makes sense only inside abstraction clauses. In particular, ''xe'u'' is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See ''bu'ai'' for usage. See also ((BPFK Section: Abstractors|ce'u)), ''bu'ai''.

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

Information	Version
Fri 13 of Dec, 2013 16:18 GMT guskant from 218.33.186.249	2		Actions View Source
Thu 12 of Dec, 2013 20:41 GMT guskant from 218.33.186.249	1		Actions View Source

Select action to perform with checked... Remove OK