![](/user_photo/2706_HbeT2.jpg)
- •Раздел 1. Элементы математической логики, теории множеств. Основные понятия алгебраических структур: группы, кольца, поля. Глава 1. Элементы математической логики и теории множеств. Содержание
- •Введение
- •§1. Высказывания, операции над высказываниями п.1. Высказывания.
- •П.2. Отрицание высказывания.
- •П.3. Дизъюнкция высказываний.
- •П.4. Конъюнкция высказываний.
- •П.5. Импликация высказываний.
- •П.6. Равносильность (эквивалентность) высказываний.
- •§2. Формулы алгебры высказываний. Законы логики п.1. Определение формул алгебры высказываний.
- •П.2. Законы логики.
- •§3. Предикаты. Кванторы общности и существования п.1. Определение предиката.
- •П.2. Логические операции алгебры предикатов.
- •П.3.Равносильность предикатов.
- •П.4. Квантор общности.
- •П.5. Квантор существования.
- •П.6.Построение отрицания высказываний, содержащих кванторы. Законы Де Моргана.
- •§4. Взаимно обратные теоремы. Необходимые и достаточные условия. Взаимно противоположные теоремы. Доказательство от противного п.1.Стандартная форма записи теоремы.
- •П.2. Обратные теоремы. Необходимые и достаточные условия.
- •П.3. Противоположные теоремы.
- •П.4. Теорема, противоположная обратной (доказательство от противного).
- •§5. Элементы теорий множеств (интуитивная теория множеств). П.1. Множества.
- •П.2. Подмножества.
- •П3. Пустое множество.
- •П.4. Операции над множествами.
- •П.5. Свойства операций над множествами.
- •П.6. Универсальные множества. Дополнение и его свойства.
- •§6. Прямое произведение двух множеств. Бинарные отношения. Отношения эквивалентности и фактор множества. Функции. Отношение порядка. П.1. Прямое произведение множеств.
- •П.2. Бинарные отношения.
- •Виды бинарных отношений.
- •Изображение бинарных отношений графами.
- •Запишем это бинарное отношение как множество пар:
- •П.3. Отношение эквивалентности и фактор множества.
- •П.4. Отношение порядка.
- •Упорядоченные множества.
- •П.5. Функции (отображения).
- •Сужение функции.
- •Виды функций.
- •Композиция функции (сложная функция). Суперпозиция функции.
- •Тождественная (единичная) функция.
- •Обратные функции.
- •Обратные тригонометрические функции.
- •Задачи.
П.5. Свойства операций над множествами.
1. Законы коммутативности.
Для любых множеств , :
Доказательство:
Для того, чтобы доказать равенство двух множеств, нужно доказать, что каждое из этих множеств является подмножеством другого множества.
Пусть
.
Второе равенство доказано.
Для того, чтобы доказать равенство двух множеств, нужно доказать, что каждое из этих множеств является подмножеством другого множества. Пусть
.
2. Законы ассоциативности.
Для любых множеств , :
Доказательство:
3. Законы дистрибутивности.
Для любых множеств , , :
Доказательство:
4. Законы идемпотентности.
Доказательство:
5. Законы для разности.
Для любых множеств , , :
Доказательство:
6. Законы Де Моргана для разности.
Для любых множеств , , :
Доказательство:
П.6. Универсальные множества. Дополнение и его свойства.
Определение.
Если все рассматриваемые множества
являются подмножествами некоторого
множества
,
то
- универсальное множество.
Пример.
Множество действительных чисел
- универсальное множество.
Определение.
Пусть
,
тогда дополнением множества
,
обозначается
или
,
называется множество, определяемое
формулой:
.
Свойства дополнения:
Свойства 1) и 2) – законы Де Моргана для дополнения.
Доказательства:
Дано: , доказать:
, т.е. нужно доказать, что каждый элемент из
лежит в .
Возьмём
,
.Таким
образом,
§6. Прямое произведение двух множеств. Бинарные отношения. Отношения эквивалентности и фактор множества. Функции. Отношение порядка. П.1. Прямое произведение множеств.
- упорядоченная
пара элементов, т.е.
- первый элемент,
- второй элемент.
Описание.
Определение.
Прямое произведение множеств
и
(обозначается:
) – это множество всех упорядоченных
пар
.
Прямое произведение множеств часто называют декартовым произведением множеств.
Пример.
;
Упорядоченную пару иначе можно назвать кортежем длины 2.
Обобщение понятия
упорядоченной пары является понятие
кортежа (упорядоченного множества
n-объектов).
Кортеж n-объектов
записывается:
.
Определение.
Два кортежа
и
равны тогда и только тогда, когда
.
Прямое произведение
n-множеств
(
)
– это множество всех кортежей вида
.
Множество
степени n,
где
равно прямому произведению n-множеств.
Пример.
.
П.2. Бинарные отношения.
Определение. Бинарное отношение – это любое множество упорядоченных пар. Другими словами, бинарное отношение – это подмножество прямого произведения двух множеств.
Пример.
-
бинарное отношение - отношение равенства
на множестве натуральных чисел.
Обозначения:
- пара
принадлежит бинарному отношению
;
- элемент
находится в отношении
с элементом
;
- пара
принадлежит бинарному отношению
тогда и только тогда, когда элемент
находится в отношении
с элементом
.
Отрицание:
- элемент
не находится в отношении
с элементом
тогда и только тогда, когда пара
не принадлежит бинарному отношению
.
Бинарные отношения часто задают описанием.
Пример. Что такое отношение равенства на множестве ?
Отношение равенства
равно
Отношение равенства
меньше или равно на
Определение.
Если отношение
- подмножество прямого произведения
,
то
- бинарное отношение на множестве
.