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

From Lojban
Jump to navigation Jump to search

Оглавление

Другие полезные selbri для mekso bridi

До сих пор нашими примерами были изолированное mekso (в Ложбане разрешено использовать чистое mekso в качестве предложения) и уравнение bridi с du. А как насчет неравенств, таких как "x < 5"? Ответ заключается в использовании bridi с соответствующим selbri, таким образом:

18.38)  li xy. mleca li mu
        Число x меньше-чем число 5

Вот неполный список selbri, полезных в математической bridi:

du x1 идентичен x2, x3, x4, …
dunli x1 равен/соответствует x2 по свойствам/качеству/размеру/количеству x3
mleca x1 меньше x2
zmadu x1 больше x2
dubjavme'a x1 меньше или равен x2 [du ja mleca, равно или меньше]
dubjavmau x1 больше или равно x2 [du ja zmadu, равно или больше]
tamdu'i x1 похож на x2 [tarmi dunli, по-форме равен]
turdu'i x1 изоморфен x2 [stura dunli, по-структуре равен]
cmima x1 – член множества x2
gripau x1 является подмножеством множества x2 [girzu pagbu, множества часть].
na'ujbi x1 приблизительно равен x2 [namcu jibni , число близкое]
terci'e x1 – компонент с функцией x2 системы x3

Обратите внимание на разницу между dunli и du; dunli имеет третье место, которое определяет вид равенства, которое имеется в виду. du относится к фактическому тождеству и может иметь любое количество мест:

18.39)  py. du xy.boi zy.
        «p» идентичен-к «x» «z»
        p = x = z

В ложбане bridi может иметь только одно сказуемое, поэтому du не повторяется.

К любому из этих selbri можно приписать na, противоречивое отрицание cmavo, чтобы указать, что это отношение ложно:

18.40)  li re su'i re na du li mu
        Число 2 + 2 не равно числу 5
        2 + 2 ≠ 5

Как обычно в Ложбане, отрицаемые bridi говорят о том, что является ложным, и ничего не говорят о том, что может быть истинным.

Далее