Математика — это отдельный язык, в котором есть свои правила, которые помогают излагать свои мысли грамотно. Но польза от правил не только в этом.
Посмотрим на такое математическое выражение:
Выглядит довольно просто. А теперь представим, что математического языка не существует — придется описывать те же смыслы, но на естественном языке. Тогда простое выражение выше превратится в такой текст:
Сумма чисел тридцать семь и двадцать больше разности чисел сто и сорок пять
Такую запись сложно прочитать, по ней почти невозможно провести вычисления. Трудно представить человека, который работал бы с такого рода информацией.
У любого языка есть четкие правила, и математический язык — не исключение. Если вы выучите эти правила, вы сможете грамотно выражать свои мысли на языке математики и понимать мысли других людей из учебников, научных статей и уроков математики на Хекслете.
В этом уроке мы начнем изучать эту тему и познакомимся с двумя базовыми правилами.
Правило 1: Порядок квантификаторов
Первое правило сформулировано так:
Порядок вложенных экзистенциальных или универсальных квантификаторов может быть изменен без изменения смысла высказывания
Посмотрим, как это правило работает на практике. Мы уже знаем, что квантификаторы помогают определить диапазон значений переменных, для которых предикат считается истинным. При этом каждое высказывание состоит из компонентов двух типов:
-
Квантификаторы
-
Предикаты
Возьмем для примера еще высказывание и разберем его на составные части:
-
В этом выражении есть предикат — разность меньше
-
Следовательно, высказывание можно представить в виде
-
В таком случае и — это переменные, а между ними знаки действий
А теперь усложним задачу и возьмем для примера такое высказывание:
Это предложение читает хотя бы один человек, который прошел курс по программированию
Попробуем перевести его на язык математики:
-
В высказывании есть «некий человек» — обозначим его как переменную
-
Еще в высказывании есть «некоторый курс по программированию» — обозначим его как
-
Все остальное в предложении — это соответствующие квантификаторы
Теперь мы можем сделать вывод:
, где прошел
Запишем тот же вывод, но на естественном языке:
Для некоторого человека существует курс по программированию , такой, что прошел
Обратите внимание, что порядок квантификаторов поменялся, а смысл не изменился. Мы просто разбили предложение на составные части и преобразовали его для конкретной задачи — все как в естественном языке.
В этом математика похожа на любой другой язык общения между людьми. И в обычной жизни мы часто говорим разные предложения, хотя подразумеваем один и тот же смысл. Например:
-
Сегодня замечательная погода, хочу покататься на велосипеде
-
Я хочу покататься на велосипеде, так как сегодня замечательная погода
Это два разных предложения с одинаковым смыслом.
Правило 2: Отрицание
Похожее правило работает и с отрицаниями:
Чтобы отрицать последовательность вложенных квантификаторов, нужно поменять каждый квантификатор в последовательности на другой тип, а затем отрицать предикат
Посмотрим, как это правило работает на практике. Представим, что существует магазин, в котором все товары стоят меньше 100 рублей. Товар будет нашей переменной .
Опишем ситуацию на естественном языке:
В магазине существует товар , которой стоит дешевле 100 рублей
Переведем это высказывание на язык логики:
В магазине такое, что стоит меньше рублей
А теперь используем правило отрицания — поменяем на , а затем отрицаем предикат с помощью не:
В магазине такое, что стоит не меньше рублей
И снова мы разбили предложение на составные части и преобразовали его для конкретной задачи, все как в естественном языке.
Посмотрим, как то же самое правило работает в более сложном случае. Возьмем пример с вещественными числами — это все отрицательные и положительные числа, а также ноль:
Предположим, что
— это
Тогда
, где
,
,
— вещественные числа
Расшифруем и подробно опишем:
-
Для всех вещественных чисел существует вещественное число такое, что —
-
Тогда в области: вещественные числа
-
А также существует вещественное число , при котором для всех вещественных чисел выражение —
Подставим числа и проверим:
-
Тогда
. Это действительно
-
Тогда
. Что даёт
Математика во многом похожа на обычные языки, но отличается от них правилами манипулирования. Это значит, что как только высказывание переводится в математическую форму, им можно манипулировать в соответствии с определенными правилами. Далее в курсе мы изучим эти правила еще подробнее.
Остались вопросы? Задайте их в разделе «Обсуждение»
Вам ответят команда поддержки Хекслета или другие студенты
Для полного доступа к курсу нужен базовый план
Базовый план откроет полный доступ ко всем курсам, упражнениям и урокам Хекслета, проектам и пожизненный доступ к теории пройденных уроков. Подписку можно отменить в любой момент.
