"Математика: алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа (базовый и углублённый уровни)", Колягин Ю.М., Ткачёва М.В., Фёдорова Н.Е. и др.
Логика изучает правила правильного рассуждения и помогает проверять, следует ли вывод из заданных условий. В математике её основой служат высказывания — утверждения, которые можно однозначно считать истинными или ложными. Над высказываниями выполняют логические операции: отрицание, конъюнкцию, дизъюнкцию, импликацию и равносильность. Их свойства описывают таблицы истинности, а применение логики помогает решать уравнения, задачи с условиями и анализировать сложные утверждения.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Высказывание — это повествовательное предложение, которому можно приписать ровно одно значение: истина или ложь. Вопросы, просьбы и выражения с неизвестной переменной высказываниями сами по себе не являются. Например, «7 — простое число» — высказывание, а «x + 2 = 5» станет высказыванием только после задания значения x.
Логическое значение показывает, истинно высказывание или ложно; его часто обозначают 1 и 0 соответственно. Буквами A, B, C обозначают простые высказывания, а составные получают с помощью операций. Такое обозначение позволяет рассуждать не о конкретных словах, а о структуре утверждения.
Логические операции — это правила образования новых высказываний из уже известных. Отрицание записывают ¬A, «и» — A ∧ B, «или» — A ∨ B, «если…, то…» — A → B, а «тогда и только тогда» — A ↔ B. Операции нужны, чтобы переводить условия задачи в точные формулы и вычислять их истинность.
Таблица истинности содержит все возможные наборы значений простых высказываний и значение составного выражения для каждого набора. Для n переменных получается 2ⁿ строк, потому что каждая переменная имеет два значения. Таблица помогает не угадывать результат, а последовательно проверять все случаи.
Смысл логической операции определяется тем, в каких случаях новое высказывание истинно. Отрицание ¬A истинно, когда A ложно, и ложно, когда A истинно: оно меняет значение на противоположное. Конъюнкция A ∧ B требует одновременного выполнения двух условий, поэтому достаточно нарушения хотя бы одного из них, чтобы всё выражение стало ложным. Именно поэтому союз «и» в математической задаче обычно сужает множество подходящих вариантов.
Дизъюнкция A ∨ B означает, что истинно хотя бы одно условие. В математической логике «или» обычно включающее: выражение остаётся истинным и тогда, когда истинны оба высказывания. Оно ложно только в одном случае — когда A и B одновременно ложны. Это отличается от бытового «или», которое иногда понимают как выбор только одного варианта.
Импликация A → B читается «если A, то B». Она связывает условие и следствие и нарушается только в ситуации, когда условие A выполнено, а обещанное следствие B не выполнено. Если A ложно, импликация считается истинной: из невыполненного условия нельзя получить опровергающий пример. Импликацию также можно записать как ¬A ∨ B, что удобно при построении таблиц и преобразовании формул.
Равносильность A ↔ B истинна, когда оба высказывания имеют одинаковые значения. Она означает одновременную истинность двух импликаций: A → B и B → A. Поэтому фраза «A тогда и только тогда, когда B» содержит сразу прямое и обратное утверждения. При преобразовании условий равносильность особенно важна: заменять одно выражение другим можно только тогда, когда они принимают одинаковые значения при любых допустимых исходных данных.
Чтобы построить таблицу истинности, сначала выписывают все наборы значений простых переменных, затем вычисляют отдельные операции и в последнем столбце получают результат всей формулы. Удобно идти от внутренних скобок к внешним, как при вычислении числового выражения. Порядок действий обычно таков: отрицание, конъюнкция, дизъюнкция, импликация, равносильность; скобки имеют приоритет перед этим порядком. Полная таблица особенно полезна для проверки тождественно истинных формул и обнаружения противоречий.
В таблице собраны правила, по которым определяются значения основных операций. Для импликации достаточно запомнить единственную ложную строку, а для равносильности — условие совпадения значений. При решении сначала находите значения простых высказываний, затем применяете нужную строку таблицы.
| Операция | Обозначение | Когда выражение истинно |
|---|---|---|
| Отрицание | ¬A | A ложно |
| Конъюнкция | A ∧ B | A и B истинны |
| Дизъюнкция | A ∨ B | истинно хотя бы одно из A, B |
| Импликация | A → B | A ложно или B истинно |
| Равносильность | A ↔ B | A и B имеют одинаковые значения |
Если в формуле несколько операций, разбивайте её на небольшие части и добавляйте промежуточные столбцы. Это уменьшает риск перепутать порядок действий или использовать значение предыдущей строки. Для двух переменных нужно проверить четыре набора: 00, 01, 10 и 11.
Задача. Определите, при каких значениях высказываний A и B формула (A → B) ∧ ¬B истинна. Нужно учитывать все возможные комбинации, а не рассуждать только на одном примере. Сначала выясним, что требует каждая часть формулы, а затем объединим результаты знаком «и».
Ответ: формула (A → B) ∧ ¬B истинна только при A = 0 и B = 0. Тот же вывод можно получить по таблице истинности с четырьмя строками. Ключевой приём — отдельно рассмотреть обязательное условие ¬B, а затем проверить оставшуюся часть формулы.
Ошибка 1: считать дизъюнкцию истинной только при истинности ровно одного высказывания. Так происходит из-за бытового смысла слова «или». В математике A ∨ B истинно и при A = 1, B = 1; проверьте себя по правилу «ложно только тогда, когда оба ложны».
Ошибка 2: считать импликацию A → B ложной при любом ложном A. Импликация нарушается только в паре A = 1, B = 0. Для проверки выпишите четыре строки таблицы: три строки дадут истину и только эта пара — ложь.
Ошибка 3: забывать о скобках и порядке операций. Из-за этого выражение вычисляют слева направо и получают другую формулу. Отмечайте сначала внутренние скобки, затем отрицания и операции по приоритету, добавляя промежуточные результаты.
В алгебре логические условия встречаются при решении неравенств: пересечение условий соответствует «и», а объединение — «или». Поэтому операции логики связаны с промежутками на числовой прямой и системами неравенств.
В теории множеств конъюнкции соответствует пересечение множеств, а дизъюнкции — объединение. Это помогает переводить текстовые условия в диаграммы и проверять, какие элементы удовлетворяют сразу нескольким требованиям.
В информатике логические операции лежат в основе условий в алгоритмах и работы электронных схем. Значения 0 и 1 здесь интерпретируются как выключено и включено, поэтому таблицы истинности описывают работу логических элементов компьютера.
§ 13. Логика
