Грамматика ложбана/17.11
Математические использования lerfu-строк
Эта глава не посвящена математике Ложбана, которая объясняется в главе 18, поэтому математическое использование строк lerfu будет перечислено и показано на примерах, но не объяснено.
Строка lerfu как математическая переменная:
17.34) li .abu du li by. su'i cy. Число a равно числу b плюс c
a = b + c
Строка lerfu в качестве имени функции (перед ней ставится ma'o из selma'o MAhO):
17.35) li .ybu du li ma'o fy. boi xy. Число y равно числу функции f от x
y = f(x)
Обратите внимание на boi для разделения строк lerfu fy. и xy..
Строка lerfu как selbri (за ней следует cmavo из selma'o MOI):
17.36) le vi ratcu cu ny.moi le'i mi ratcu Тут крыса n-ая-из множества моих крыс
Эта крыса – моя N-ая крыса.
Строка lerfu в качестве порядкового номера высказывания (за ней следует cmavo из selma'o MAI):
17.37) ny.mai N-ый
Строка lerfu в качестве подстрочного индекса (предшествует xi из selma'o XI):
17.38) xy. xi ky. x под k
xk
Строка lerfu в качестве количества (заключена в скобки vei … ve'o):
17.39) vei ny. [ve'o] lo prenu ( «n» ) людей
Скобки нужны потому, что ny. lo prenu было бы двумя отдельными sumti, ny. и lo prenu. Вообще, любое математическое выражение, кроме простого числа, должно заключаться в круглые скобки при использовании в качестве количественного показателя; правый знак скобки, cmavo ve'o, обычно можно не использовать.
Во всех приведенных выше примерах в соответствии с традициями обычной математики использовались отдельные слова lerfu, а не строки lerfu. Более длинная строка lerfu все равно будет рассматриваться как имя одной переменной или функции: в Ложбане .abu by. cy. – это не умножение «a × b × c», а переменная abc. (Конечно, можно использовать местную традицию, согласно которой значение переменной abc, имеющей имя из нескольких слов, будет равно значениям переменных a, b и c, умноженным вместе).
Существует специальное правило для слов-сдвигов в математическом тексте: слова-сдвиги внутри математических выражений не влияют на слова lerfu, появляющиеся вне математических выражений, и наоборот.