Грамматика ложбана/14.17

From Lojban
Jump to navigation Jump to search

Оглавление

Логические и не-логические связки в 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 нужно к чему-то прикрепиться.

Далее