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

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

В Ложбане четыре из этих 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 со вторым предложением, которое мы оотрицаем
   TTFF U
   TFTT с первым предложением, которое мы оотрицаем
   TFTF U с предложениями, у которых сменили порядок мест
   TFFT O
   TFFF E

   FTTT с обоими предложениями, оба которых мы отрицаем
   FTTF O с или первым или вторым предложением, которое мы отрицаем (но не оба сразу)
   FTFT U с предложениями, у которых мы поменяли порядок мест, а затем второе отрицаем
   FTFF E со вторым предложением, которое мы отрицаем
   FFTT U с первым предложением, которое мы отрицаем
   FFTF E с первым предложением, которое мы отрицаем
   FFFT E с обоими предложениями, оба которых мы отрицаем

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