Партнеры

Счетчики








Операции над высказываниями

Мать и Матика

Обычно математическую логику начинают изучать с АЛГЕБРЫ ВЫСКАЗЫВАНИЙ и вспоминают при этом Дж.Буля, отца Лилиан Войнич, написавшей роман "Овод". А сам Буль как незакомплексованный математической эрудицией любитель пытался придумать математику, которая бы описывала мыслительные процессы. Собственно, с его "алгебры" и ведут историю современной математической логики. Кстати, многие математики эту алгебру не считают логикой.

Под ВЫСКАЗЫВАНИЕМ понимают повествовательное предложение, относительно которого можно сказать, истинно оно или ложно. Например, "Волга впадает в Каспийское море", "Квадрат гипотенузы равен сумме квадратов катетов", "Наполеон родился в Кудымкаре". Здесь два первых высказывания истинны, а третье - ложно. Разумеется, жизнь и тут иногда создает проблемы. Так, про высказывание насчет Волги можно сказать, что оно истинное, если ЗНАТЬ этот факт из географии. Мне, например, пришлось как-то в Америке рассказывать одному бизнесмену, что далеко от США есть такая большая река - Волга. Да и про квадрат гипотенузы не все могут высказаться определенно. Но договоримся недоучек не принимать в расчет. Или еще проще, чтобы не утонуть в несущественных для данного обсуждения мелочах, будем считать высказываниями повествовательные предложения, истинность которых может установить "высший разум".

Но этим проблема не исчерпывается. Повествовательное предложение "Я лгу" не является высказыванием, поскольку если оно истинно (то есть я действительно лгу) - значит я не лгу, а говорю правду! И наоборот. Это пример ЛОГИЧЕСКОГО ПАРАДОКСА.

Логические парадоксы не относятся к высказываниям. К высказываниям не относятся также вопросительные и восклицательные (то есть неповествовательные) предложения и определения. Говорить об истинности или ложности определений бессмысленно. Определение есть соглашение о названии. Например, "Назовем эту музыку гимном". И все тут!

Для того чтобы не писать "истина" и "ложь" ("true" и "false"), часто используют лишь начальные буквы этих слов. А еще чаще просто "1" и "0".

А теперь вернемся к самому существенному. Логика высказываний не занимается (и даже не интересуется) СМЫСЛОМ высказываний. Так что в этом смысле логику можно считать БЕССМЫСЛИЦЕЙ! Один из логиков-классиков уподобил алгебру логики рентгену, который, просвечивая высказывание, оставляет математику для рассмотрения только истинность высказывания.

В алгебре высказываний можно обойтись двумя-тремя операциями, хотя обычно рассматривают больше.

Операцию ДИЗЪЮНКЦИЯ называют еще "логическим или". Если два высказывания соединить дизъюнкцией, то получится сложное высказывание, которое истинно, если истинно хотя бы одно из входящих в него высказываний. То есть следует уточнить, что это "не исключающее или". Например, "Мы любим пиво или мы любим мороженое" - это истинное сложное высказывание, поскольку хотя бы одно из входящих в него элементарных высказываний истинно. А возможно и оба. Представить же себе живое существо, которое не любит и пиво, и мороженое, не позволяет фантазия.

Операцию КОНЪЮНКЦИЯ называют еще "логическим и". Сложное высказывание будет истинно, если истинны оба входящих в него высказывания.

Операция ОТРИЦАНИЕ - "логическое не" - истинное высказывание превращает в ложное и наоборот.

Пожалуй, самая интригующая операция - это ИМПЛИКАЦИЯ или "логическое если... , то...". Например, "Если Наполеон родился в Кудымкаре, то газ при нагревании сужается". Это, кстати, истинное высказывание! Нет причин считать его ложным. Единственная ситуация, когда импликация ложна, это когда посылка (часть "если") истинна, а следствие (часть "то") ложно.

Еще интереснее с точки зрения здравого смысла то, что импликацию иногда (не совсем корректно по иным причинам!) называют операцией логического следования, хотя наш пример показывает, что высказывания могут логически не следовать одно из другого, более того, могут не иметь между собой никакой логической связи. Напомним, импликация как и другие операции берет в расчет только истинность входящих в нее высказываний.

"Если Волга впадает в Каспийское море, то 2 + 2 = 4" - истинное высказывание. "Если Волга впадает в Каспийское море, то 2 + 2 = 5" - ложное высказывание. Хотя оба эти "логические рассуждения" с точки зрения здравого смысла одинаково бессмысленны.

Есть также ЛОГИЧЕСКАЯ ЭКВИВАЛЕНТНОСТЬ или "тогда и только тогда" (кстати, воспользовавшись "американским приемом", можно записать короче - "тТогда"). Результирующее сложное высказывание истинно, если одновременно истинны или ложны оба входящих в него высказывания.

Назовем еще одну операцию: ШТРИХ ШЕФФЕРА или логическое "и-не". Результат этой операции равносилен последовательному применению операций конъюнкции и отрицания. Соответственно, результирующее высказывание будет ложным, только если входящие в него высказывания одновременно истинны. Штрих Шеффера - эта операция замечательна тем, что ее одной (необходимое количество раз примененной) достаточно, чтобы записать любое сложное высказывание.

При использовании логики для проектирования логических схем, например отдельных фрагментов процессора, первоначально эксплуатировали аналогию с релейными схемами. Операция дизъюнкции ("или") соответствует параллельному подключению контактов реле, конъюнкции ("и") - последовательному. Операция отрицания ("не") моделируется нормально замкнутым контактом реле. То есть контакт размыкается при срабатывании реле. Разумеется, все это реализовывалось в полупроводниковом "модульном" варианте. Тогда достаточно было выпустить, например, модули типа "и-не", чтобы на них реализовать любую схему. А сам процессор был размером со шкаф, но не по вине логики.

А.Е.Соловьев, soloviev.nevod.ru, 2001 год