Элементы математической логики

Определения и обозначения

Высказывание — повествовательное предложение, которому можно однозначно приписать значение «истина» или «ложь». Например, «Число 10 делится на 2» — высказывание, потому что его истинность можно проверить. Понятие нужно, чтобы отличать утверждения, которые участвуют в логических рассуждениях, от других фраз.

Отрицание высказывания — высказывание, которое истинно тогда и только тогда, когда исходное ложно; обозначается ¬A. Если A — утверждение «Число 8 чётное», то ¬A: «Число 8 не является чётным». Отрицание позволяет выразить противоположное значение истинности, не меняя исходное утверждение.

Конъюнкция — сложное высказывание «A и B», истинное, когда истинны оба высказывания; обозначается A ∧ B. Например, фраза «Число делится на 2 и на 3» требует выполнения сразу двух условий. Конъюнкция помогает записывать ситуации, где недостаточно соблюсти лишь одно из требований.

Дизъюнкция — сложное высказывание «A или B», истинное, когда истинно хотя бы одно из высказываний; обозначается A ∨ B. При этом допустимо, что истинны оба высказывания. Дизъюнкция нужна, когда условие задачи допускает несколько вариантов выполнения.

Как это устроено

Чтобы решить, является ли фраза высказыванием, спросите себя, можно ли установить её истинность или ложность. Сообщение «В прямоугольнике все углы прямые» можно проверить, а вопрос «Какова площадь прямоугольника?» не утверждает ничего определённого. Приказ тоже не описывает факт, поэтому оценить его как истинный или ложный нельзя. А фраза вроде «x больше 3» без заданного значения x пока не получает однозначной оценки.

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

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

Эквивалентность A ↔ B означает, что высказывания равносильны: из A следует B и из B следует A. Иначе говоря, должны быть истинны сразу обе импликации A → B и B → A. Это возможно, когда A и B имеют одинаковые значения: либо оба истинны, либо оба ложны. Если значения различаются, хотя бы одна из импликаций окажется ложной.

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

Значения логических операций

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

Разбор задач

Задача 1. Пусть A: «Число 8 чётное». Запишите отрицание A и определите истинность обоих высказываний.

1. Сначала формулируем отрицание: оно должно утверждать, что исходное свойство отсутствует. Получаем «Число 8 не является чётным».
2. Проверяем исходное утверждение: 8 делится на 2 без остатка, значит A истинно.
3. Так как отрицание истинно ровно при ложном исходном высказывании, ¬A ложно.

Ответ: A истинно, ¬A: «Число 8 не является чётным» — ложно. Проверка помогает убедиться, что отрицание действительно меняет значение истинности, а не просто повторяет исходную фразу.

Задача 2. Пусть A: «Число 6 делится на 2», B: «Число 6 делится на 3». Определите истинность A ∧ B, A ∨ B и ¬A.

1. Число 6 делится на 2 и на 3, поэтому A истинно и B истинно.
2. Конъюнкция требует, чтобы оба утверждения были истинны. Значит, A ∧ B истинно.
3. Дизъюнкция истинна, если верно хотя бы одно утверждение; здесь верны оба, поэтому A ∨ B тоже истинно.
4. Отрицание ¬A означает «Число 6 не делится на 2». Поскольку A истинно, ¬A ложно.

Ответ: A ∧ B — истина, A ∨ B — истина, ¬A — ложь. При разборе сначала отдельно установили значения A и B, а уже затем применили правила операций.

Задача 3. Для A: «Число делится на 4» и B: «Число делится на 2» составьте таблицу истинности A → B и объясните его значение.

1. Импликация ложна лишь в строке, где A истинно, а B ложно: условие выполнено, но заключение не последовало.
2. При A = истина и B = истина импликация истинна; при A = ложь и B = истина она тоже истинна.
3. При A = ложь и B = ложь импликация остаётся истинной, потому что условие не выполнено. Таблица для четырёх сочетаний такова: истина/истина — истина; истина/ложь — ложь; ложь/истина — истина; ложь/ложь — истина.
4. В задаче о делимости число, которое делится на 4, обязательно делится и на 2. Поэтому для любого целого числа A → B истинно.

Ответ: A → B истинно для всех целых чисел; в общей таблице оно ложно только при истинном A и ложном B. Именно этот случай невозможен для данных условий о делимости.

Типичные ошибки

Ошибка — считать высказыванием любое предложение. Так происходит потому, что в обычной речи предложением называют разные фразы, включая вопросы и команды. Но вопрос «Который час?» и приказ «Откройте книгу» нельзя оценить как истинные или ложные. Для проверки попробуйте вынести однозначный вердикт о факте: если это невозможно, перед вами не высказывание.

Иногда логическое «или» понимают как выбор строго одного варианта. В быту такая трактовка действительно встречается, поэтому её переносят и в математику. Но дизъюнкция истинна и тогда, когда истинны оба высказывания. Проверяйте определение: достаточно хотя бы одного истинного компонента, исключение второго не требуется.

Некоторые считают импликацию ложной при ложном условии. Путаница возникает из-за бытового понимания обещания: кажется, что при невыполненном условии нельзя ничего заключить. В логической таблице импликация ложна только при истинном A и ложном B. Сверьтесь с четырьмя строками таблицы, особенно с двумя строками, где A ложно.

Отрицание сложного высказывания иногда ошибочно строят, отрицая каждый его фрагмент по отдельности. Так можно изменить смысл всей конструкции, потому что связки «и» и «или» тоже влияют на значение. Например, отрицание фразы «A и B» означает, что неверно хотя бы одно из двух, а не обязательно оба. Проверяйте отрицание по смыслу целого утверждения или подставляйте значения в таблицу истинности.

Связь с другими темами

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

Логические операции используют при доказательстве теорем: нужно анализировать условия и понимать, следует ли из них заключение. Они пригодятся и в информатике, где таблицы истинности помогают описывать работу логических схем и проверять сложные выражения. Навык строить такие таблицы делает рассуждения точнее и в математике, и при решении практических задач.

Что запомнить

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