Введение в математическую логику
2026-02-26 15:12 Diff
https://ru.hexlet.io/courses/logic/lessons/rules_of_inference/theory_unit

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

  • Аргумент: Допустим, что x = 2
  • Какое утверждение мы проверяем: x + x = 4
  • Какое заключение мы делаем: утверждение истинно

При этом важно, чтобы аргумент был действительным. Это значит, что он должен относиться к заключению, которое следует истинности всех остальных утверждений в рамках дискуссии.

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

Зачем нужны доказательства в математике?

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

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

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

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

Как и большинство доказательств, логические доказательства состоят из:

  • Предпосылок — утверждений, которые можно предположить.
  • Заключения — утверждения, которое нужно доказать.

Чтобы доказать заключение, нужно оперировать предпосылками и использовать правила вывода до тех пор, пока мы не придем к финальному выводу.

Как составлять доказательства

Чтобы правильно составить доказательство, нужно соблюсти два правила:

  1. Правило предпосылок. Предпосылку можно записать в любой момент доказательства.
  2. Modus Ponens. P и Q можно заменить любыми утверждениями, в том числе составными.

Вот простое доказательство с использованием modus ponens:

Логические доказательства записываются в три колонки. Утверждения в них нумеруются, чтобы вы могли ссылаться на них. Номера идут в первой колонке, сами утверждения — во второй, обоснования — в третьей.

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

Стандартизация есть не только в записи, но и в правилах вывода. Изучим их подробнее.

Правила вывода

Первое правило связано с порядком квантификаторов. Оно сформулировано так:

Порядок вложенных экзистенциальных или универсальных квантификаторов может быть изменен без изменения смысла высказывания

Мы уже знаем, что квантификаторы помогают определить диапазон значений переменных, для которых предикат считается истинным.

Например, в высказывании a-b < 37 предикат P — это разность меньше 37.

То же высказывание можно представить в виде P(a, b), где a и b — переменные.

Остальные правила вывода обознаются так:

Modus Ponens (Правило вывода)

Modus Tollens (Рассуждение от противного)

Hypothetical Syllogism (Силлогизм с условным утверждением)

Disjunctive Syllogism (Путь исключения исключением)

Addition (Дополнение)

q → q ∨ r

Simplification (Упрощение)

(p ∧ q) → p

Discrete Math Resolution (Правило дискретной математики)

Как проверять аргументы

В начале урока мы говорили, что аргументы должны быть действительными. Остановимся на этой теме подробнее и научимся определять действительные и недействительные аргументы.

Возьмем такой пример:

  1. Если на дороге будет пробка, Вася опоздает на работу +
  2. Вася не опоздал на работу +
  3. Следовательно, пробки на дороге не было +

Сначала мы переведем аргумент в математическую форму:

Теперь проверяем аргумент по правилам вывода. Как видим, аргумент соответствует правилу Modus Tollens, которое мы рассматривали выше. Значит, мы можем с уверенностью утверждать, что заключение верно.

Перевод аргументов в символы — это отличный способ расшифровать, есть ли у нас действующее правило вывода или нет.

Как работают доказательства с квантификаторами

Выше мы разбирали правила вывода на довольно простых примерах. Поднимемся на следующий уровень сложности и попробуем применить эти же правила к универсальным и экзистенциальным квантификаторам.

  • Универсальная квантификация (все, любой, каждый)
  • Экзистенциальная квантификация (существует, некоторый, по крайней мере, один)

Правила вывода становятся невероятно полезными, когда применяются к квантифицированным утверждениям. Именно таким образом мы можем доказывать более сложные аргументы.

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

Рассмотрим правила логики для квантифицированных высказываний на таком примере:

Высказывание: _Ваша киска купила бы Whiskas

  1. Все кошки любят Whiska
  2. Некоторые кошки серого цвет
  3. Некоторые серые существа любят Whiskas

Нам даны предпосылки, по которым мы делаем вывод «Некоторые серые существа любят Whiskas». Этот вывод истинный или ложный? Чтобы это проверить, переведем высказывание на язык математики:

Выводы

В этом уроке мы изучили правила, которые помогают проверять действительность аргументов:

  1. Правило предпосылок. Предпосылку можно записать в любой момент доказательства
  2. Modus Ponens. P и Q можно заменить любыми утверждениями, в том числе составными

Чтобы доказать заключение, нужно оперировать предпосылками и использовать описанные выше правила вывода до тех пор, пока мы не придем к финальному выводу.

Язык математики изучать очень сложно. Он очень абстрактный и непохожий на другие языки, на которых мы привыкли общаться. Но в одном математический язык точно похож на естественные — его нельзя выучить без регулярной практики.

Чем больше вы будете использовать язык математики, тем быстрее вы освоите его. Тогда математика станет для вас удобным инструментом, который помогает рассуждать, оценивать высказывания и делать выводы.