"Математика в 3-х частях (изд. «Ювента»)", Дорофеев Г.В., Петерсон Л.Г.
Переменная — это буква, вместо которой подставляют числа из заданного множества. С подстановкой предложение о переменной становится обычным высказыванием: его можно признать истинным или ложным. Кванторы помогают говорить о таких предложениях сразу для всех допустимых чисел или хотя бы для одного из них. Чтобы проверить утверждение, нужно учитывать множество значений и понимать, требует ли оно проверить каждый вариант или найти только подходящий.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Переменная — буква, которой обозначают число из заданного множества. Её значение можно менять, подставляя вместо буквы разные допустимые числа. Например, если x — натуральное число, то вместо x можно взять 1, 2 или 3. Так буквой удобно обозначать сразу целый ряд чисел.
Высказывание с переменной — предложение, истинность которого зависит от значения переменной. Например, «x < 4» ещё не сообщает, истинно ли оно: ответ зависит от x. Если подставить 2, получится «2 < 4», а это уже обычное истинное высказывание. Такое предложение можно проверять для разных значений.
Квантор всеобщности — знак или слова «для любого», означающие, что утверждение должно быть верно для каждого элемента заданного множества. Например, «для любого натурального x число x + 1 больше x» требует проверки всех натуральных чисел. Квантор нужен, чтобы явно указать: исключений быть не должно.
Квантор существования — знак или слова «существует», означающие, что утверждение верно хотя бы для одного элемента множества. Например, «существует натуральное x, для которого x + 1 = 5». Достаточно найти подходящее число и проверить его подстановкой. Если такого числа нет, утверждение ложно.
Переменную рассматривают вместе с множеством допустимых значений, потому что не каждое число обязательно можно подставить. Если сказано, что x — натуральное число, отрицательные числа не подходят, даже если с ними вычисления возможны. Множество задаёт границы задачи и помогает понять, какие варианты нужно проверять. Без этого условия утверждение может получить разную оценку истинности.
Чтобы установить истинность высказывания с переменной для конкретного значения, нужно подставить это значение вместо буквы и выполнить действие или сравнение. Например, при x = 3 предложение «x + 2 > 5» превращается в «3 + 2 > 5», то есть «5 > 5». Это неверно, поэтому исходное высказывание ложно при x = 3. При другом значении результат может измениться.
Квантор всеобщности превращает предложение с переменной в требование проверить каждый элемент множества. Если множество состоит из нескольких чисел, подставь их по очереди и посмотри, верно ли утверждение во всех случаях. Если оно бесконечно, одного или нескольких примеров обычно недостаточно для доказательства: нужно рассуждение, которое охватывает все значения. А чтобы показать ложность, достаточно найти один случай, где утверждение не выполняется.
Квантор существования задаёт другую задачу: найти хотя бы один элемент множества, при котором предложение становится истинным. Перебирать все значения не нужно, если подходящий пример уже найден. Чтобы подтвердить утверждение, покажи это значение и выполни подстановку. Если же требуется доказать, что подходящего значения нет, нужно рассмотреть возможные значения и обосновать, почему ни одно не подходит.
Одно и то же высказывание может давать разные результаты при разных кванторах, потому что требования различаются. «Для любого» означает отсутствие исключений, а «существует» допускает, что большинство значений не подходят. Например, среди целых чисел найдутся значения x, для которых x + 2 > 5, но это неверно для каждого целого числа. Поэтому утверждение с квантором существования будет истинным, а с квантором всеобщности — ложным.
| Что сравниваем | Квантор всеобщности | Квантор существования |
|---|---|---|
| Как читается | Для любого | Существует |
| Что требуется проверить | Каждый элемент множества | Хотя бы один элемент множества |
| Когда утверждение истинно | Когда оно верно для всех элементов | Когда оно верно хотя бы для одного элемента |
| Как показать ложность или истинность | Ложность — контрпример; истинность — проверка всех значений или общее доказательство | Истинность — подходящее значение; ложность — показать, что такого значения нет |
Сначала найди в условии слова «для любого» или «существует»: они задают, сколько значений нужно проверить. Затем учитывай, из какого множества выбирают переменную. Таблица помогает не перепутать: для первого квантора ищут исключение, для второго — подходящий пример.
Задача 1. Для x из множества {1, 2, 3} определите, истинно ли высказывание «x < 4» при словах «для любого x» и при словах «существует x». Здесь множество конечное, поэтому значения можно проверить по очереди. Для первого квантора нужны все три проверки, а для второго достаточно найти один подходящий результат.
Ответ: оба утверждения истинны. При «для любого» проверены все элементы, а при «существует» найден подходящий элемент. Одного значения было бы мало для первого вывода, но достаточно для второго.
Задача 2. Для целых чисел проверьте утверждение «x + 2 > 5» сначала с квантором всеобщности, затем с квантором существования. Чтобы оценить квантор «для любого», попробуем найти значение, при котором неравенство не выполняется. Для «существует» достаточно найти целое число, при котором оно верно.
Ответ: утверждение «для любого целого x» ложно, а «существует целое x» — истинно. Контрпример показывает, что подходят не все числа. Значение x = 4 доказывает, что хотя бы одно подходящее число есть.
Задача 3. Запишите словами и проверьте утверждения «для любого натурального x число x + 1 больше x» и «существует натуральное x, для которого x + 1 = 5». В первом случае нужно проверить правило для каждого натурального числа. Во втором нужно найти натуральное число, которое делает равенство верным.
Ответ: оба утверждения истинны. Первое проверяется общим рассуждением для всех натуральных чисел, второе подтверждается подстановкой x = 4. В каждом случае вывод сделан с учётом указанного множества.
Утверждение с квантором всеобщности иногда проверяют на одном удобном примере и сразу считают доказанным. Так делают, потому что пример действительно показывает, что утверждение работает хотя бы в одном случае. Но «для любого» требует проверки всех значений или общего доказательства. Проверь себя: спроси, рассмотрены ли все допустимые случаи; если найден только один, доказательства пока нет.
Утверждение с квантором существования могут назвать истинным, не указав подходящее значение. Часто кажется, что раз подходящее число, вероятно, найдётся, этого достаточно. Но без примера вывод не подтверждён. Назови конкретное допустимое значение, подставь его и проверь, что получилось истинное высказывание.
Можно забыть множество, из которого выбирают переменную, и использовать число, запрещённое условием. Такая подстановка может выглядеть удобной, особенно если с ней равенство или неравенство выполняется. Но она не доказывает утверждение о заданном множестве. Перед проверкой выпиши допустимые значения или проверь, принадлежит ли выбранное число нужному множеству.
Кванторы «для любого» и «существует» иногда путают: первый принимают за поиск одного примера, а второй — за требование проверить все числа. Причина ошибки — оба относятся к высказыванию с переменной, но задают разные задачи. Сверь формулировку: «для любого» означает все элементы, «существует» — хотя бы один. Затем выбери способ проверки, подходящий к словам условия.
Для работы с переменной нужно уметь подставлять числа вместо букв в выражения и сравнивать полученные значения. Например, подстановка помогает проверить, истинно ли неравенство при выбранном x. Эти действия знакомы по вычислениям с буквенными выражениями. Они становятся основой проверки высказываний.
Тема связана с множествами, потому что множество задаёт допустимые значения переменной. Оно определяет, какие числа нужно рассматривать и какие примеры подходят для доказательства или опровержения. Изменение множества может изменить истинность утверждения. Поэтому условие о множестве читают вместе с высказыванием.
Переменные и кванторы пригодятся при изучении логики, уравнений и доказательств. В уравнениях ищут значения переменной, при которых равенство становится верным, а в доказательствах важно точно понимать, какие случаи рассматриваются. Кванторы помогают выразить, относится ли правило ко всем значениям или выполняется хотя бы для одного. Это делает математические рассуждения точнее.
Зачем указывать, из какого множества берут значения переменной?
Множество показывает, какие числа можно подставлять вместо переменной. Одно и то же утверждение может быть истинным для чисел одного множества и ложным для другого.
Как проверить высказывание с переменной, если множество состоит из нескольких чисел?
Подставь в высказывание по очереди каждое число из множества. Отметь, при каких подстановках получается истина, а при каких — ложь.
Можно ли доказать утверждение «для любого» одним примером?
Нет, один пример показывает только, что утверждение верно для одного значения. Чтобы доказать его для конечного множества, проверь все элементы; чтобы опровергнуть, достаточно найти контрпример.
Как понять, что утверждение «существует» истинно?
Найди хотя бы одно допустимое значение переменной, при котором высказывание становится истинным. Укажи это значение и проверь подстановкой.
Может ли одно и то же высказывание быть истинным с одним квантором и ложным с другим?
Да. Например, для целых чисел x + 2 > 5 верно при некоторых значениях x, но неверно при всех целых x. Поэтому утверждение с квантором существования истинно, а с квантором всеобщности — ложно.
3. Переменная и кванторы
