Language in Use 1 p.

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

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

Предикат — высказывание с переменной, истинность которого зависит от значения этой переменной. Например, x² = 4 истинно при x = 2 и x = −2, но ложно при x = 1. Предикат позволяет описывать свойство элементов множества и проверять, какие из них ему удовлетворяют.

Квантор — обозначение всеобщности или существования: «для любого» (∀) и «существует» (∃). Запись ∀x ∈ ℝ указывает, что утверждение проверяется для каждого действительного x, а ∃x ∈ ℝ — что достаточно найти хотя бы один подходящий x. Кванторы нужны, чтобы точно задать, о скольких объектах идёт речь.

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

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

Обычное математическое предложение превращается в точное высказывание, когда понятны все его обозначения и область, о которой говорится. Фраза «это число больше нуля» сама по себе не указывает, какое число имеется в виду, а формулировка «для x = 3 число x положительно» уже проверяема. Это важно, потому что без определённого смысла нельзя решить, истинно утверждение или ложно. Поэтому в математике уточняют объекты, значения переменных и условия.

Область допустимых значений переменной задают до проверки предиката, потому что она определяет, какие подстановки вообще разрешены. Например, выражение √x в действительных числах определено только при x ≥ 0, а дробь 1/(x − 2) — при x ≠ 2. Если область не указана, можно случайно проверять значения, для которых выражение не имеет смысла. Область также влияет на истинность: утверждение о каждом натуральном числе проверяется не так, как утверждение о каждом действительном.

Кванторы меняют смысл утверждения, указывая, сколько элементов должны удовлетворять предикату. «Для каждого x существует y» разрешает выбирать своё y для каждого x, а «существует y, подходящий для каждого x» требует одного общего y. Поэтому перестановка кванторов может изменить истинность. Например, для каждого действительного x существует y = x, равный ему; но не существует одного действительного y, равного всем действительным x.

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

Перевод между естественным языком и символами требует сохранить область переменных, кванторы и логические связки. Например, «каждое число из множества M обладает свойством P» записывается ∀x ∈ M: P(x), а «некоторое число обладает этим свойством» — ∃x ∈ M: P(x). При обратном переводе символов нужно проговорить, к каким объектам относится утверждение. Это предохраняет от изменения смысла при сокращённой или неточной формулировке.

Основные элементы математического языка

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

Разбор задач

Задача 1

Определить, является ли предложение «Уравнение x² = 4 имеет два корня» математическим высказыванием, и установить его истинность. Нужно выяснить, допускает ли фраза однозначную проверку, а затем решить уравнение. Здесь переменная входит в уравнение, но всё предложение сообщает о числе его корней, а не просит выбрать значение x.

1. Смысл предложения определён: речь идёт об уравнении x² = 4 и количестве его корней.
2. Решаем уравнение: x² = 4, значит x = 2 или x = −2. Корни различны, поэтому их ровно два.
3. Утверждение имеет однозначное значение истинности и является истинным.

Ответ: это математическое высказывание; оно истинно.

Задача 2

Записать с помощью кванторов: «Для каждого действительного x выполняется неравенство x² + 1 > 0», а затем сформулировать отрицание. Сначала обозначим область, чтобы квантор относился именно к действительным числам. При отрицании нужно заменить «для каждого» на «существует» и отрицать всё неравенство.

1. Записываем исходное утверждение: ∀x ∈ ℝ: x² + 1 > 0.
2. Меняем квантор всеобщности на квантор существования: ∃x ∈ ℝ.
3. Отрицаем условие x² + 1 > 0; получаем x² + 1 ≤ 0. Равенство включается, потому что исходное неравенство строгое.

Ответ: отрицание имеет вид ∃x ∈ ℝ: x² + 1 ≤ 0. Само исходное утверждение истинно, так как x² ≥ 0 и потому x² + 1 ≥ 1.

Задача 3

Разобрать утверждение «Если число делится на 6, то оно делится на 3»: назвать условие и следствие, определить вид связи и проверить обратное утверждение. Обозначим через A делимость числа на 6, а через B — делимость на 3. Такая запись позволяет отдельно проверить прямое и обратное направления.

1. Условие A: число делится на 6; следствие B: число делится на 3. Связь записывается A → B.
2. Если число делится на 6, оно равно 6k для некоторого целого k, то есть равно 3 · 2k. Следовательно, оно делится на 3, и прямая импликация истинна.
3. Обратное утверждение B → A неверно: число 3 делится на 3, но не делится на 6. Значит, исходное условие достаточно для делимости на 3, но не является необходимым.

Ответ: A — условие, B — следствие; прямая импликация истинна, обратная — ложна.

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

Ошибка: считать любое предложение с переменной высказыванием. Переменная может принимать разные значения, поэтому фраза x > 0 обычно является предикатом, а не готовым утверждением; ошибку провоцирует то, что она грамматически выглядит законченной. Проверьте себя: можно ли без дополнительных данных однозначно назвать её истинной или ложной? Если нет, укажите значение переменной или квантор.

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

Ошибка: считать истинными одновременно импликацию и её обратное. Утверждение A → B не означает B → A, потому что следствие может выполняться и по другим причинам; в примере с делимостью на 3 обратное не работает для числа 3. Проверяйте обратную связь отдельно, подыскивая контрпример или доказывая её независимо. Не называйте условия равносильными, пока не установлены оба направления.

Ошибка: отрицать неравенство или квантор простой заменой одного знака. При отрицании квантор «для любого» меняется на «существует», а строгое неравенство x > 0 превращается в x ≤ 0; сохранение прежнего квантора приводит к неверному смыслу. Это часто происходит, когда отрицают отдельный фрагмент, а не всё утверждение. Проверяйте себя чтением: отрицание «все подходят» должно означать «найдётся хотя бы один, который не подходит».

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

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

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

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