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

Кстати, многие математики эту алгебру не считают логикой.

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

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

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

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

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

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