Грамматика ложбана/14.17
Логические и не-логические связки в mekso
В Ложбане есть отдельная грамматика, встроенная в основную грамматику, для представления математических выражений (или mekso на Ложбане), таких как «2 + 2». Математические выражения подробно рассматриваются в главе 18. Основными компонентами mekso являются операнды, например «2», и операторы, например «+». Оба они могут быть как логически, так и не-логически связаны.
Операнды связаны в последующую мысль с ek-ами, а в предваряющюю мысль с gek-ами, как и sumti. Операторы, с другой стороны, связаны в последующие мысли с jek-ами и в предваряющие мысли с guhek-ами, как и компоненты tanru. (Однако jek-и и joik-и с bo не допускаются для операторов.) Эта параллель не случайна.
Кроме того, ek-и с bo и с ke … ke'e разрешены для группировки логически связанных операндов, а ke … ke'e разрешены для группировки логически связанных операторов, хотя аналога tanru среди операторов нет.
Мы приведем лишь несколько примеров каждого вида mekso-связи. Несмотря на большое количество правил, необходимых для поддержки этой функции, она имеет относительно небольшое значение как в mekso, так и в схеме логики связок. Эти примеры взяты из раздела 18.17 и содержат множество возможностей mekso, не объясненных в этой главе.
Пример 17.1 демонстрирует логическую связь последующей мысли между операндами:
17.1) vei ci .a vo [ve'o] prenu cu klama le zarci ( три или четыри ) человека идут-в магазин
Пример 14.2 эквивалентен по смыслу, но использует соединение предваряющей мысли:
17.2) vei ga ci gi vo [ve'o] prenu cu klama le zarci ( либо 3 либо 4 ) человека идут-в магазин
Обратите внимание, что mekso в примерах 17.1 и 17.2 используются как квантификаторы. Ложбан требует, чтобы любое mekso, кроме простого числа, было заключено в скобки vei и ve'o, когда оно используется в качестве квантификатора. Правая скобка, ve'o, – это опускаемый терминатор.
Простые примеры логической связи между операторами трудно найти. Надуманный пример:
17.3) li re su'i je pi'i re du li vo два плюс и умножить-на два равно четыри 2+2=4 и 2·2=4
Пример 17.3 имеет вид предваряющей мысли:
17.4) li re gu'e su'i gi pi'i re du li vo Два и плюс и умножить-на два равно четыри Оба, и 2+2=4 и 2·2=4
Между операндами и между операторами также допускается не-логическое соединение с помощью joik-ов или joigik-ов. Одна из возможностей использования этой конструкции – соединение операндов с помощью bi'i для создания математических интервалов:
17.5) li no ga'o bi'i ke'i pa Ноль (включая) от-до (исключая) один [0,1) числа от нуля до единицы, включая ноль, но не включая единицу
Также можно объединить два операнда с помощью ce'o, соединителя последовательности selma'o JOI, чтобы получить составной индекс:
17.6) xy. boi xi vei .abu ce'o .ebu [ve'o] “x” под ( “a” последовательность “e” ) xa,e
Обратите внимание, что boi в примере 17.6 не является опускаемым, потому что индексу xi нужно к чему-то прикрепиться.