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

From Lojban
Jump to navigation Jump to search

Оглавление

Четыре основных гласных звука

В Ложбане четыре из этих 16 функций истинности считаются фундаментальными. Для них назначены четыре гласных звука A, E, O, и U. Эти буквы не представляют какие-либо cmavo или selma'o, но скорее составляющий гласный звук, от которого фактические логико-соединительные cmavo создаются, что будет объяснено в следующем разделе. Вот эти четыре гласных звука, их таблицы истинности, и грубые русские эквиваленты:

   A TTTF     или, и/или
   E TFFF     и
   O TFFT,    если и только если
   U TTFF,    так ли или не так

Более точно:

   A верно, если или любой или оба предложения верны;
   E верно, если оба предложения верны, но не иначе;
   O верно, если предложения оба верны или оба ложные;
   U верно, если первое предложение верно, независимо от значения истинности второго предложения.

С этими 4 гласными звуками, возможностью отрицать любое предложение, и возможностью менять порядок предложений, мы можем создать все 16 возможных функций истинности кроме TTTT и FFFF, которые довольно бесполезны в любом случае. Следующая таблица иллюстрирует, как создать каждую из 14 остающихся функций истинности:

   TTTF A
   TTFT A отрицая второе предложение
   TTFF U
   TFTT A отрицая первое предложение
   TFTF U изменяя порядок мест
   TFFT O
   TFFF E
   FTTT A отрицая оба предложения
   FTTF O отрицая либо первое, либо второе предложение (но не оба сразу)
   FTFT U изменяя порядок мест, а затем второе отрицаем
   FTFF E отрицая второе предложение
   FFTT U отрицая первое предложение
   FFTF E отрицая первое предложение
   FFFT E отрицая оба предложения

Отметим, что обмен предложений только необходим с U. Три других основных функции истинности являются коммутативными; то есть, они означают одно и то же, независимо от порядка составляющих предложений. Есть другие способы получения некоторых из этих таблиц истинности; здесь мы только рассматриваем самый распространенный метод.

Далее