[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban-beginners] how to use {fancu}?


On Thu, Sep 18, 2014 at 2:41 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

2014-09-17 19:23 GMT+04:00 Jorge Llambías <jjllambias@gmail.com>:

On Wed, Sep 17, 2014 at 3:35 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

E.g "f(x) = (x + 1) (x − 1)" where x>1

Your example would be: "fy pe xy du li vei xy su'i pa ve'o pi'i vei xy vu'u pa ve'o"

Don't you think {pe} is extremely hackish here?

No, I think it's correct, "the f associated with x is equal to x plus one times x minus one". 

, which doesn't use "fancu", but you could also say fy fancu xy noi mrena'u gi'e zmadu li pa"
And this doesn't use the formula.

You can combine both: 

  fy pe xy zi'e no'u li vei xy su'i pa ve'o pi'i vei xy vu'u pa ve'o cu fancu xy noi mrena'u gi'e zmadu li pa
 
Still I think "f(x) is the name for "(x+1)(x-1)"" is a useful predicate.

f(x) is not the name for "(x+1)(x-1)", it's the other way around.

"f(x)", or "(x+1)(x-1)", are two different names, or descriptions, of the same function: f(x), or (x+1)(x-1). 

The description "(x+1)(x-1)" is just more descriptive because it uses more conventional symbols, whereas the description "f(x)" uses a nonce symbol. The advantage of "f(x)" is that it's shorter, so if we are going to be using the function conventionally described as "(x+1)(x-1)" a lot, it may be useful to assign it a shorter name, such as "f(x)". It's like "ko'a" and "lo nanmu poi bevri lo pipno", one is more descriptive and the other is shorter, but they can both be used to refer to the same thing(s).

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.