xe'u

From Lojban Wiki
Jump to navigation Jump to search

valsi

xe'u

type

experimental cmavo

creator

gusnikantu

time entered

Thu Dec 12 19:53:32 2013  

English

Definition #43012

 

selma'o

GOhA

definition

Abstraction variable indicator selbrisle.

notes

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.

created by

gusnikantu

vote information

3

time

Thu Oct 9 15:38:55 2014



Examples


Etymology

lojban

Definition #43009 - Preferred

 

selma'o

GOhA

definition

brika'i .ije se lidne lo galfi be lo go'i bei lo selbrisle

notes

.i ko sitna zo ce'u .e zo bu'ai

created by

gusnikantu

vote information

1

time

Thu Oct 9 05:52:44 2014



Examples


Etymology

日本語

Definition #43013

 

selma'o

GOhA

definition

ラムダ : 抽象節内において焦点となる selbri の箇所にそのまま代えて置く

notes

第3階以上の述語論理を表現するときに、NU類で作られる抽象節を冠頭に置くために使われる。使用例は bu'ai を参照。 ・読み方: クェフ ・関連語: ce'u, bu'ai.

created by

gusnikantu

vote information

1

time

Thu Oct 9 16:04:48 2014



Examples


Etymology