[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
Jorge Llamb�as, On 30/08/2012 02:34:
On Wed, Aug 29, 2012 at 10:16 PM, And Rosta<and.rosta@hidden.email> wrote:Jorge Llamb�as, On 30/08/2012 01:51::formula:= simple-formula (koi formula)? | complement formula (this only works because "oi" is not a valid variable in simple-formula)Why isn't oi a valid variable in simple formula?Because so far only V('V)* are variables.
I'd assumed V(V)* are variables, and we're writing <'> only because writing stuff in an obviously Lojbanish way stops us getting sidetracked by phonology discussion. I was further assuming that Lojban /'/ would not exist in Xorban, but that in V'Vthe <'> is intended as Lojban /'/ rather than <'>=<q>=[?].
I've forgotten what the difference between simple and complement formula is, so am not able to work out how come it seems that "koi formula" occurs in only the former.See: http://xorban.wordpress.com/grammar/
A complement is that which, when added to a formula, yields a formula? I can see why the term was chosen, but it's also confusing, since you'd expect it to mean something closer to its ordinary syntactic meaning -- e.g. binary operator has two complements, each of which is a formula. Given my background in syntax, I tend to think of syntactic structure in terms of combinatorial properties of words, so the "formula:= complement formula" rule seems weird -- still, it does the job of specifying the combinatorics. --And.