- •Конспект №1
- •1Элементы математической логики
- •1.1Высказывания и предикаты.
- •1.2Операции с высказываниями.
- •1.3Составление таблиц истинности логических функций.
- •1.4Таблица основных логических тождеств. Двойственность. Вывод новых тождеств с помощью основных.
- •2Элементы теории множеств.
- •2.1Множества, элементы, подмножества. Пустое множество.
- •2.2Операции с подмножествами универсального множества.
- •2.3Диаграммы Венна. Формула включений-исключений.
- •2.4Доказательства теоретико-множественных тождеств.
- •2.5Кванторы.
- •2.6Декартово произведение множеств
- •2.7Бинарные отношения.
- •2.8Факторизация.
- •3Построение z.
- •4Позиционные системы счисления
- •4.1Степень целого числа с натуральным показателем.
- •4.2Системы счисления
- •5Конечные арифметики
- •5.1Деление с остатком.
- •5.2Признаки делимости.
- •5.2.1Делимость на составные делители.
2.5Кванторы.
Для краткой записи вместо словосочетаний: «для любых, для всех, для каждого», а также: «найдутся, существует, по крайней мере, один» используются кванторы.
Квантор общности: "х Р(х). Читается: «для любого х выполняется Р(х)»
Квантор существования: $х Р(х). Читается: «для некоторого х выполняется Р(х)»2
Квантор существования и единственности: $!х Р(х читается: «Найдется и при этом ровно один х, для которого выполняется предикат Р(х)».
Заметьте, что кванторы превращают предикаты в высказывания.
Примеры:
«все кошки серые» "хÎ{множество всех кошек} x – серая;
«существуют чётные числа» $m,kÎN m=2k.
Замечание. Используются также обозначения для квантора общности и для квантора существования.
Упражнение 1.
Запишите символически следующие утверждения:
В любом подмножестве натуральных чисел найдётся минимальное число;
Все натуральные числа – чётные.
Обратите внимание на то, что отрицанием к квантору общности является квантор существования и обратно: «не все кошки серы» = «существует кошка не серого цвета»; «среди натуральных чисел, не меньших двух, не существует простых чисел» = «все натуральные числа, начиная с двух, являются составными».
2.6Декартово произведение множеств
Введём ещё одну бинарную операцию со множествами.
(Прямым) произведением A×B множеств А и В называется множество, элементами которого являются всевозможные пары (а, b), где аÎА, bÎВ: А´В={(a,b)½aÎA, bÎB}.
Е сли при этом А=В, то пишут также А´А=А2. Операция произведения не коммутативна, но дистрибутивна. Обратим внимание, что если А и В являются подмножествами некоторого множества U, то их произведение уже не является подмножеством этого множества U!
Декартово произведение удобно изображать на координатной (декартовой!) плоскости. Каждой точке А плоскости поставим в соответствие две её координаты – её проекции на числовые оси ОХ и ОУ (см. рисунок). Для задания декартовой системы координат мы должны:
Выбрать точку – начало координат;
В ыбрать лучи, исходящие из этой точки;
Указать, какой из этих двух лучей мы считаем первым, а какой – вторым;
Выбрать на каждом из лучей отрезок-эталон, длину которого будем считать единицей и с которым сравнивать все другие отрезки на этом луче.
Не следует думать, однако, что декартова система координат является единственным способом указания места точки на плоскости. Например, можно поступить следующим образом:
Выбрать точку – начало координат;
Выбрать луч, исходящий из этой точки;
Выбрать на этом луче систему координат, т.е., отрезок-эталон, длину которого будем считать единицей.
Т еперь каждая точка на плоскости (кроме начала координат) характеризуется двумя числами: величиной угла, который образует луч, исходящий из начала координат и проходящий через эту точку и расстоянием на этом луче от начала координат до точки.
Например, точка, изображённая на рисунке слева, имеет координаты (3,30). Такую систему координат называют полярной.
Точка на окружности вообще характеризуется одним числом, например, длиной дуги окружности от выбранной на окружности точки (начала координат) в заданном на окружности направлении (таким обычно считают направление против движения часовой стрелки).
Упражнение 2.
Определите произведение А´B, где
А=í0,1ý, B=í2,0ý
А=[0,1], B=í2,0ý
А и В - два отрезка
А отрезок, а В - квадрат
А - отрезок, а В - окружность
А - отрезок, а В - круг
А и В - две окружности
А - окружность, а В – круг
Упражнение 3.
Докажите следующие тождества:
(A´B)È(C´D)Í(AÈC)´(BÈD)
(АÇB)´(CÇD)=(A´C)Ç(B´D)
(АÈB)´C=(A´C)È(B´C)
A´(BÈC)=(A´B)È(A´C)
(A\B)´C=(A´C)\(B´C)
A´(B\C)=(A´B)\(A´C)