lojbo jufsisku
Lojban sentence search

Total: 4 result(s)
selbrisle
lujvo x1 is a tanru unit. selbri selci; ziltau
ziltau
lujvo t1 is a tanru component. Cf. tanru, zi'o, seltau, tertau, selbrisle.
xe'u
experimental cmavo Abstraction variable indicator selbrisle. xe'u is a pro-bridi (meaning it takes the place of a fully-specified bridi). xe'u indicates that the selbrisle 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 ce'u, bu'ai.
bu'ai
experimental cmavo abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. 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-selbrisle used in order to put a word of selma'o NU in prenex.) See also su'u, bu'a; xe'u.