- Home
- Get A Printable Dictionary
- Search Best Words
- Recent Changes
- How You Can Help
- valsi - All
- valsi - Preferred Only
- natlang - All
- natlang - Preferred Only
- Languages
- XML Export
- user Listing
- Report Bugs
- Utilities
- Status
- Help
- Admin Request
- Create Account
|
| valsi |
bu'ai |
| type |
experimental cmavo |
| creator |
gusnikantu |
| time entered |
Thu Dec 12 19:50:22 2013 |
Examples
| |
|
English
|
|
Definition #43010
[edit]
| |
|
| selma'o |
NU |
| 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-selbrisle used in order to put a word of selma'o NU in prenex.) See also su'u, bu'a; xe'u. |
| gloss words |
|
| created by |
gusnikantu |
| vote information |
3
|
| time |
Thu Oct 9 15:33:07 2014 |
|
|
|
Examples
|
|
|
|
lojban
|
|
Definition #43008
- Preferred
[edit]
| |
|
| selma'o |
NU |
| definition |
galfi lu'e lo bridi lo logji lairka'e selbrisle |
| notes |
.i mu'a lu su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a li'u .i ko sitna zo su'u .e zo bu'a .e zo xe'u |
| created by |
gusnikantu |
| vote information |
1
|
| time |
Thu Oct 9 03:51:16 2014 |
|
|
|
Examples
|
|
|
|
日本語
|
|
Definition #43011
[edit]
| |
|
| selma'o |
NU |
| definition |
量化型 selbri 変数抽象 ： 抽象詞； bridi の左に付いて、第3階以上の述語論理で使われる束縛 selbri 変数とする |
| notes |
第1階の述語論理では zo'e が定項、 da が束縛変項であり、第2階の述語論理では co'e が selbri 定数、 bu'a が束縛 selbri 変数である。 第3階以上の述語論理を表現するためには、第2階の selbri 全体を対象領域とする selbri が必要である。 NU類に属する su'u ・ bu'ai はそれぞれ、第2階の selbri 全体を対象領域とする selbri 定数・束縛 selbri 変数を構成することができる。 bu'ai が取る selbri 変数が2個以上になる場合は ju'e などで繋げる。 bu'ai を入れ子状に使えば、さらに高階の述語論理も構成できる。 例： su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a （この xe'u はNU類を冠頭に置くためのダミー的な selbrisle） ・関連語： su'u, bu'a; xe'u. |
| gloss words |
|
| created by |
gusnikantu |
| vote information |
2
|
| time |
Thu Oct 9 15:34:17 2014 |
|
|
|
Examples
|
|
|
|
|