Дизъюнкция (логическое сложение высказываний)

Этой операции соответствует логическая связка ИЛИ и символ

Дизъюнкцией высказываний и называют высказывание (читается «а или бэ»), которое ложно в том и только том случае, когда ложны оба высказывания и :

Предположим, что в экзаменационном билете по высшей математике 2 вопроса и студент сдаёт экзамен, если ответит хотя бы на один вопрос. Рассмотрим следующие высказывания:
– Петя ответил на 1-й вопрос;
– Петя ответил на 2-й вопрос.

Дизъюнктивная запись читается просто и понятно: Петя ответил на 1-й или 2-й вопрос и подразумевает три истинных исхода (см. таблицу). При этом экзамен Пётр не сдаст в единственном случае – если «запорет» оба вопроса:

Следует отметить, что союз «или» мы очень часто понимаем как «исключающее или», и, более того – его зачастую так и нужно понимать! Из той же фразы о сдаче экзамена человек, скорее всего, сделает вывод, что Петя ответил только на 1-й или только на 2-й вопрос. Однако рассматриваемое ИЛИ – это не обывательское «или».

Операция логического сложения также применима для трёх и бОльшего количества высказываний. Некоторые лояльные преподаватели задают 10-15 вопросов и ставят экзамен, если студент хоть что-то знает =) Иными словами, логическое ИЛИ скрывает за собой связку «хотя бы на один» (и она вовсе не означает, что СТРОГО на один!).

Ну и давайте отвлечёмся от бытового электричества: подавляющее большинство сайтов Интернета расположены на профессиональных серверах, которые снабжаются, как правило, двумя блоками питания. В электротехнике это называется параллельным подключением, которое как раз и моделирует правило ИЛИ – сервер работает, если исправен хотя бы один блок питания. Оборудование, кстати, поддерживает «горячую» замену, т.е. сгоревший БП можно заменить, не выключая сервер. Такая же история с жёсткими дисками – они дублируются в так называемом RAID-массиве, и более того, сам Дата-центр, где находятся серверы, обычно запитывается двумя независимыми электролиниями + дизель-генератор на всякий случай. Эти меры позволяют обеспечить максимальный аптайм сайтов.

И коль скоро речь зашла о компьютерах, то они… базируются на рассмотренных логических операциях! Это кажется невероятным, но задумаемся – а что вообще могут «понимать» эти «железки»? А понимать они могут следующее:

в проводе есть ток – это логическая единица;
провод обесточен – это логический ноль.

И ВСЁ!

Именно данный факт первопричина того, что в основе измерения объёма информации лежит степень двойки:
и т.д.

Простейшим «компьютером» является… обычный выключатель – он хранит информацию в 1 бит (истину или ложь в указанном выше смысле). Центральный же процессор современного компьютера насчитывает сотни миллионов транзисторов, и самое сложное программное обеспечение, самая «навороченная игра» раскладывается на множество нулей и единиц, которые обрабатываются с помощью элементарных логических операций!

И уже следующие две операции, которые мы рассмотрим, являются не самостоятельными, то есть могут быть выражены через отрицание, конъюнкцию и дизъюнкцию:
Импликация и логическое следствие.
Необходимое условие. Достаточное условие

До боли знакомые обороты: «следовательно», «из этого следует это», «если, то» и т.п.

Импликацией высказываний (посылка) и (следствие) называют высказывание , которое ложно в единственном случае – когда истинно, а – ложно:

Фундаментальный смысл операции таков (читаем и просматриваем таблицу сверху вниз):

из истины может следовать только истина и не может следовать ложь;

изо лжи может следовать всё, что угодно (две нижние строчки), при этом:

истинность посылки является достаточным условием для истинности заключения ,

а истинность заключения – является необходимым условием для истинности посылки .

Разбираемся на конкретном примере:

Составим импликацию высказываний – идёт дождь и – на улице сыро:

Если оба высказывания истинны , то само собой истинна и импликация – если на улице идёт дождь, то на улице сыро. При этом не может быть такого, чтобы дождь шёл , а на улице было сухо :

Если же дождя нет , то на улице может быть как сухо :

так и сыро :
(например, по причине того, что растаял снег).

А теперь ВДУМЫВАЕМСЯ в эти «штампованные» слова необходимость и достаточность:

Дождь является достаточным условием для того, чтобы на улице было сыро, и с другой стороны, сырость на улице необходима для предположения о том, что прошёл дождь (ибо если сухо – то дождя точно не было).

Обратная же импликация нелегальна: – сырости на улице ещё не достаточно для обоснования факта дождя, и, кроме того, дождь ведь не является НЕОБХОДИМОЙ причиной сырости (т.к., например, может пройти и растаять град).

Вроде бы должно быть понятно, но на всякий случай ещё несколько примеров:

– Чтобы научиться выполнять действия с матрицами, необходимо уметь складывать и умножать числа. Но этого, как вы правильно предчувствуете, не достаточно.
– Чтобы научиться выполнять арифметические действия достаточно окончить 9 классов. Но это не является условием необходимым – считать может научить и бабушка, причём ещё в детском саду.

– Чтобы найти площадь треугольника достаточно знать его сторону и высоту, проведённую к этой стороне. Однако опять же – это не необходимость, площадь треугольника можно найти и по трём сторонам (формуле Герона) или, например, с помощью векторного произведения.

– Для допуска к экзамену по высшей математике Пете необходимо отчитаться по курсовой работе. Но этого не достаточно – потому что ещё нужно сдать зачёт.

– Для того чтобы вся группа получила зачёт достаточно занести преподавателю ящик коньяка. И здесь, как нетрудно предположить, отпадает необходимость что-либо учить =) Но, обратите внимание, подготовка вовсе не возбраняется;)

Бывают ли условия необходимые и в то же время достаточные? Конечно! И очень скоро мы до них доберёмся. А сейчас об одном важном принципе матлогики: