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

3.3 Построение противоположных высказываний к высказываниям с составным логическим смыслом

Объектами изучения логики являются ФОРМЫ МЫШЛЕНИЯ: понятие, суждение и умозаключение.

ПОНЯТИЕ - это мысль, в которой обобщаются отличительные свойства предметов. Т.к. язык является формой выражения мысли, то в языке термину "понятие" соответствует "слово". Но человек не мыслит отдельными понятиями. Выражая свои мысли, он составляет слова в предложения. Предложение в языке есть суждение в мыслях.

СУЖДЕНИЕ (высказывание) - есть мысль (выраженная в форме повествовательного предложения), в которой нечто утверждается о предмете действительности, которая объективно является либо истинной, либо ложной. Правда, истинность суждения относительна (приведите примеры). Говорят, что суждение может иметь одно из двух значений истинности: "истина" или "ложь". СУЖДЕНИЕ ИСТИННО (имеет значение истинности - истина), ЕСЛИ ОНО СООТВЕТСТВУЕТ ДЕЙСТВИТЕЛЬНОСТИ. Критерий истинности - практика (утверждал В.И.Ленин). К числу суждений не относятся мысли, не имеющие значения истинности. Таким мыслям в языке соответствуют вопросительные и побудительные предложения. Является ли суждением фраза: "Иванов сдаст экзамен на отлично"? Да, ведь это не вопросительное и не побудительное предложение. Но значение истинности его не определено, пока не пройдет экзамен.

Суждение, значение истинности которого не однозначно, называется ГИПОТЕЗОЙ. Отношение к гипотезе среди ученых тоже было неоднозначным. Например Исаак Ньютон утверждал: "Hypotheses non fingo" - "Гипотез не измышляю". М.В.Ломоносов же, напротив, писал, что гипотезы "дозволены в философских предметах и даже представляют собой единственный путь, которым величайшие люди дошли до открытия самых важных истин. Это - нечто вроде порыва, который делает их способными достигнуть знаний, до каких никогда не доходят умы низменных и пресмыкающихся во прахе..." Правда, была и оговорка: "Я не признаю никакого измышления и никакой гипотезы, какой бы вероятной она ни казалась, без точных доказательств".

Суждения (высказывания), как и предложения в нашем языке, бывают простыми и сложными. Простые суждения неразложимы. Сложные суждения образуются из простых при помощи ЛОГИЧЕСКИХ ФУНКЦИЙ (операций). Рассмотрим некоторые из этих функций.

В обыденной речи мы часто пользуемся словом "НЕ", или словами "НЕВЕРНО, ЧТО", когда хотим что-то отрицать. Пусть, например, кто-то сказал: "Тоска зеленая." (Обозначим это высказывание А). Если Вы не согласны, Вы скажете:" Тоска НЕ зеленая." Или:" Неверно, что тоска зеленая." (Ваше высказывание обозначим В). Нетрудно заметить, что значения истинности высказываний А и В находятся в определенной связи: если А истинно, то В ложно, и наоборот. Функция, с помощью которой из высказывания А получается высказывание В, называется ОТРИЦАНИЕМ и само высказывание В называется ОТРИЦАНИЕМ ВЫСКАЗЫВАНИЯ А и обозначается А. Мы получили определение:

Отрицанием ? А некоторого высказывания А называется такое высказывание, которое истинно, когда А ложно, и ложно, когда А истинно.

Отрицание высказывания А обозначим А. Определение отрицания может быть записано с помощью так называемой таблицы истинности:

В ней указано, какие значения истинности (Истина, Ложь) принимает отрицание А в зависимости от значений истинности исходного высказывания А.

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

"У кота есть хвост" (А) "У зайца есть хвост" (В)

Сложное высказывание "У кота есть хвост и у зайца есть хвост" истинно, т.к. истинны оба высказывания А и В. Но если взять другие высказывания:

"У кота длинный хвост" (С) "У зайца длинный хвост" (D)

то сложное высказывание "У кота длинный хвост и у зайца длинный хвост" будет ложным, т.к. ложно высказывание (D). Таким образом, исходя из обычного смысла союза И, приходим к определению соответствующей логической функции - КОНЪЮНКЦИИ:

Конъюнкцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А и В.

Конъюнкцию высказываний А и В мы обозначим: A & B. Знак & - амперсент -- читается как английское "and". Часто встречается обозначение А /\ В. Иногда, для краткости, пишут просто АВ.

Определение конъюнкции может быть записано в виде таблицы истинности, в которой для каждого из четырех возможных наборов значений исходных высказываний А и В задается соответствующее значение конъюнкции А & В:

Определение конъюнкции двух высказываний естественным образом распространяется на любое конечное число составляющих: конъюнкция А1 & A2 & A3 &...& AN истинна тогда и только тогда, когда истинны все высказывания А1, A2, A3, ...AN (а, следовательно, ложна, когда ложно хотя бы одно из этих высказываний).

Если два высказывания соединены союзом ИЛИ, то полученное сложное высказывание обычно считается истинным, когда истинно ХОТЯ БЫ ОДНО из составляющих высказываний. Например, возьмем два высказывания:

"Мел черный." (А) "Доска черная." (В)

Высказывание "Мел черный или доска черная" будет истинным, т.к. одно из исходных высказываний (В) истинно. Получаем определение функции ДИЗЪЮНКЦИИ:

Дизъюнкцией двух высказываний называется такое новое высказывание, которое истинно тогда и только тогда, когда истинно ХОТЯ БЫ ОДНО из этих высказываний.

Дизъюнкцию высказываний А и В мы обозначим символом А V В и будем читать: А или В. Определение дизъюнкции может быть записано в виде таблицы истинности:

Определение дизъюнкции двух высказываний естественным образом распространяется на любое конечное число составляющих: дизъюнкция А1 V А2 V А3 V...V АN истинна тогда и только тогда, когда истинно хотя бы одно из высказываний А1, А2, А3, ..., АN (а следовательно, ложна, когда ложны все эти высказывания).

Как Вы думаете, в каком случае два простых высказывания можно считать эквивалентными (равносильными). Чисто интуитивно можно догадаться, что высказывания эквивалентны, когда их значения истинности одинаковы. Например, эквивалентны высказывания: "железо тяжелое" и "пух легкий", так же как и высказывания: "железо легкое" и "пух тяжелый". Обозначим эквиваленцию символом <=> и запись "А <=> В" будем читать "А эквивалентно В", или "А равносильно В", или "А, если и только если В". Запишем определение:

Эквиваленцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны.

Отметим, что высказывание типа "А, если и только если В" можно заменить высказыванием "Если А, то В и, если В, то А" (обдумайте это на досуге и обратите внимание на символ <=>). Следовательно, функцию эквиваленции можно заменить комбинацией функций импликации и конъюнкции. Запишем таблицу истинности для эквиваленции:

Попробуем записывать сложные высказывания схематически с помощью обозначения логических связок:

1. "Быть иль не быть - вот в чем вопрос." (Шекспир) А V ?A <=> В

2. "Если хочешь быть красивым, поступи в гусары." (К. Прутков) А => В

Истинность или ложность сложных суждений представляет собой функцию истинности или ложности простых. Эту функцию называют БУЛЕВОЙ ФУНКЦИЕЙ СУЖДЕНИЙ (F(A,B)). Рассмотрим примеры построения таблиц истинности для сложных суждений.

1. А <=> А (закон "отрицания отрицания": Отрицание отрицания суждения тождественно самому суждению.)

Если значение истинности булевой функции всегда истина, то эта функция выражает ЗАКОН.

2. ((А => В) & ? В) => ?A (доказательство "от противного": Если А влечет В, но В не верно, то не верно и А.)

Вы знаете, что ТЕОРЕМА - это предложение, истинность которого доказывается на основе аксиом или ранее доказанных теорем. Теоремы часто формулируются в виде импликаций. Импликативная структура наиболее удобна для выделения условия и заключения теоремы (того, что дано, и того, что необходимо доказать). Если импликация А => В выражает некоторую теорему, то основание импликации А выражает условие, а следствие В - заключение теоремы. Условие или заключение в свою очередь может не быть элементарным высказыванием, а иметь определенную логическую структуру, чаще всего конъюнктивную или дизъюнктивную. Рассмотрим примеры:

1. Теорема "Если диагонали параллелограмма взаимно перпендикулярны или делят его углы пополам, то этот параллелограмм - ромб" имеет структуру А V В => C, где А - "диагонали параллелограмма взаимно перпендикулярны"; В - "(диагонали параллелограмма) делят его углы пополам"; С - "этот параллелограмм - ромб".

2. Теорема о средней линии трапеции имеет структуру: А => В & С, где А - "четырехугольник - трапеция"; В - "его средняя линия параллельна основаниям"; С - "(его средняя линия) равна полусумме оснований".

Часто в формулировках теорем используется выражение "необходимо и достаточно" (ПРИЗНАК). В логике это выражение соответствует эквиваленции, которая, как известно, представима в виде конъюнкции двух импликаций. Одна из этих импликаций выражает теорему, доказывающую НЕОБХОДИМОСТЬ признака, другая выражает теорему, доказывающую ДОСТАТОЧНОСТЬ признака. Например, признак перпендикулярности двух плоскостей:

"Для того чтобы две плоскости были перпендикулярны, НЕОБХОДИМО и ДОСТАТОЧНО, чтобы одна из них проходила через прямую, перпендикулярную к другой", может быть сформулирован и так: "Две плоскости перпендикулярны, ЕСЛИ И ТОЛЬКО ЕСЛИ одна из них проходит через прямую, перпендикулярную к другой":

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10