"Логика" - читать интересную книгу автора (Никифоров А.Л.)

логических связок, показывающими, в каких случаях высказывание с той или
иной связкой считается истинным, а в каких - ложным. При этом мы опираемся
на истинность или ложность простых суждений, являющихся компонентами
сложного суждения. "Истина" ("и") и "ложь" ("л") называются "истинностными
значениями" суждения: если переменная представляет истинное суждение, она
принимает значение "истина"; если же - ложное, она принимает значение
"ложь". Каждая переменная может представлять как истину, так и ложь.
Отрицание применяется к одному суждению. Это суждение может быть
истинным или ложным, поэтому таблица для отрицания выглядит следующим
образом:

[FIXME]

Если исходное суждение истинно, то его отрицание мы договариваемся
считать ложным; если же исходное суждение ложно, то его отрицание мы считаем
истинным. Кажется, такое соглашение соответствует нашей интуиции.
Действительно, суждение "Байрон был английским поэтом" истинно, поэтому его
отрицание "Неверно, что Байрон был английским поэтом" естественно считать
ложным. Суждение "Афины находятся в Италии" ложно, поэтому его отрицание
"Неверно, что Афины находятся в Италии" естественно считать истинным.
Таблицы истинности для остальных логических связок мы для удобства
приводим все вместе:

[FIXME]

Все приведенные здесь связки соединяют два суждения. Для двух суждений
имеется четыре возможности: оба могут быть истинными; одно истинно, другое -
ложно; одно ложно, другое - истинно; оба ложны. Все эти возможности учтены
как случаи 1-4.
Конъюнкция истинна только в одном случае - когда оба ее члена истинны.
Во всех остальных случаях мы считаем ее ложной. В общем, это кажется
довольно естественным. Допустим, вы говорите своему избраннику: "Я выйду за
тебя замуж и буду тебе верна". Вы действительно вышли замуж за этого
человека и храните ему верность. Он доволен: вы его не обманули, конъюнкция
в целом истинна. Второй случай: вы вышли замуж, но не храните верности
своему мужу. Он негодует, считает, что вы его обманули, - конъюнкция ложна.
Третий случай: вы не вышли замуж за того, кому обещали, хотя и храните ему
верность, лелея воспоминания о первой и, увы, единственной любви. Опять-таки
он в расстроенных чувствах: вы его обманули - конъюнкция ложна. Наконец,
четвертый вариант: вы и замуж за него не вышли и, естественно, верности ему
не храните. Ваш поклонник в бешенстве: вы его нагло обманули - конъюнкция
ложна.
Аналогичные соображения оправдывают и таблицу истинности для
дизъюнкции. Несколько сложнее обстоит дело с импликацией. Рассмотрим
суждение "Если солнце взошло, на улице стало светло". Здесь импликация
соединяет два простых суждения "Солнце взошло" и "На улице стало светло".
Когда оба они истинны, то импликацию в целом мы считаем истинной. Теперь
второй случай: солнце взошло, но на улице светло не стало. Если такое вдруг
произошло, мы сочтем нашу импликацию ложной: видимо, чего-то мы не учли,
когда формулировали такую связь между двумя суждениями. Третий случай: