Грамматика ложбана/14.2: Difference between revisions

From Lojban
Jump to navigation Jump to search
(Пропущено A)
(Логические функции жирным. Перефразировка получения функций истинности. Ссылки на оглавление и следующий раздел.)
 
Line 1: Line 1:
== Четыре основных гласных звука ==
[[Эталонная_Грамматика_Ложбана|Оглавление]]


В Ложбане четыре из этих 16 функций истинности считаются фундаментальными. Для них назначены четыре гласных звука A, E, O, и U. Эти буквы не представляют какеи-либо cmavo или selma'o, но скорее составляющий гласный звук, от которого фактические логико-соединительные cmavo создаются, что будет объяснено в следующем разделе. Вот эти четыре гласных звука, их таблицы истинности, и грубые русские эквиваленты:
==Четыре основных гласных звука==
     A TTTF    или, и/или
 
     E TFFF    и
В Ложбане четыре из этих 16 функций истинности считаются фундаментальными. Для них назначены четыре гласных звука '''A''', '''E''', '''O''', и '''U'''. Эти буквы не представляют какие-либо cmavo или selma'o, но скорее составляющий гласный звук, от которого фактические логико-соединительные cmavo создаются, что будет объяснено в следующем разделе. Вот эти четыре гласных звука, их таблицы истинности, и грубые русские эквиваленты:
     O TFFT,    если и только если
     '''A''' TTTF    или, и/или
     U TTFF,    так ли или не так
     '''E''' TFFF    и
     '''O''' TFFT,    если и только если
     '''U''' TTFF,    так ли или не так
Более точно:
Более точно:
     A верно, если или любой или оба предложения верны;
     '''A''' верно, если или любой или оба предложения верны;
     E верно, если оба предложения верны, но не иначе;
     '''E''' верно, если оба предложения верны, но не иначе;
     O верно, если предложения оба верны или оба ложные;
     '''O''' верно, если предложения оба верны или оба ложные;
     U верно, если первое предложение верно, независимо от значения истинности второго предложения.
     '''U''' верно, если первое предложение верно, независимо от значения истинности второго предложения.
С этими 4 гласными звуками, возможностью отрицать любое предложение, и возможностью менять порядок предложений, мы можем создать все 16 возможных функций истинности кроме TTTT и FFFF, которые довольно бесполезны в любом случае. Следующая таблица иллюстрирует, как создать каждую из 14 остающихся функций истинности:
С этими 4 гласными звуками, возможностью отрицать любое предложение, и возможностью менять порядок предложений, мы можем создать все 16 возможных функций истинности кроме TTTT и FFFF, которые довольно бесполезны в любом случае. Следующая таблица иллюстрирует, как создать каждую из 14 остающихся функций истинности:
     TTTF A
     TTTF '''A'''
     TTFT A со вторым предложением, которое мы оотрицаем
     TTFT '''A''' отрицая второе предложение
     TTFF U
     TTFF '''U'''
     TFTT A с первым предложением, которое мы оотрицаем
     TFTT '''A''' отрицая первое предложение
     TFTF U с предложениями, у которых сменили порядок мест
     TFTF '''U''' изменяя порядок мест
     TFFT O
     TFFT '''O'''
     TFFF E
     TFFF '''E'''
 
    FTTT '''A''' отрицая оба предложения
    FTTF '''O''' отрицая либо первое, либо второе предложение (но не оба сразу)
    FTFT '''U''' изменяя порядок мест, а затем второе отрицаем
    FTFF '''E''' отрицая второе предложение
    FFTT '''U''' отрицая первое предложение
    FFTF '''E''' отрицая первое предложение
    FFFT '''E''' отрицая оба предложения
Отметим, что обмен предложений только необходим с '''U'''. Три других основных функции истинности являются коммутативными; то есть, они означают одно и то же, независимо от порядка составляющих предложений. Есть другие способы получения некоторых из этих таблиц истинности; здесь мы только рассматриваем самый распространенный метод.


    FTTT A с обоими предложениями, оба которых мы отрицаем
[[Грамматика ложбана/14.3|Далее]]
    FTTF O с или первым или вторым предложением, которое мы отрицаем (но не оба сразу)
    FTFT U с предложениями, у которых мы поменяли порядок мест, а затем второе отрицаем
    FTFF E со вторым предложением, которое мы отрицаем
    FFTT U с первым предложением, которое мы отрицаем
    FFTF E с первым предложением, которое мы отрицаем
    FFFT E с обоими предложениями, оба которых мы отрицаем
Отметим, что обмен предложений только необходим с U. Три других основных функции истинности являются коммутативными; то есть, они означают одно и то же, независимо от порядка составляющих предложений. Есть другие способы получения некоторых из этих таблиц истинности; здесь мы только рассматриваем самый распространенный метод.

Latest revision as of 05:01, 17 December 2023

Оглавление

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

В Ложбане четыре из этих 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. Три других основных функции истинности являются коммутативными; то есть, они означают одно и то же, независимо от порядка составляющих предложений. Есть другие способы получения некоторых из этих таблиц истинности; здесь мы только рассматриваем самый распространенный метод.

Далее

Retrieved from "https://mw-live.lojban.org/index.php?title=Грамматика_ложбана/14.2&oldid=125035"