![](/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. Функции (отображения).
- •Сужение функции.
- •Виды функций.
- •Композиция функции (сложная функция). Суперпозиция функции.
- •Тождественная (единичная) функция.
- •Обратные функции.
- •Обратные тригонометрические функции.
- •Задачи.
§3. Предикаты. Кванторы общности и существования п.1. Определение предиката.
Рассмотрим несколько предложений с переменной:
-
«
-
простое натуральное число»;
-
«
- чётное целое число»;
-
«
- равносторонний»;
-
«
»
-
«студент
получил оценку
»
-
«
делиться нацело на 3»
Если в перечисленных предложениях вместо и подставить обозначаемые ими предметы, то эти предложения превратятся в высказывания. Те предметы, которые обозначают , и т.д. называются допустимыми значениями переменных.
Например, область допустимых значений предложения - множество всех натуральных чисел.
множество
треугольников плоскости
множеству
студентов
Определение. Если предложение с переменными при любой замене переменных допустимыми значениями превращается в высказывание, то такое предложение называется предикатом.
,
,
- предикаты от одной переменной
(одноместные предикаты). Предикаты
от двух переменных:
,
,
- двухместные предикаты. Высказывания
– нульместные предикаты.
П.2. Логические операции алгебры предикатов.
Пусть
и
- два предиката с одинаковыми областями
допустимых значений переменных.
Рассмотрим
предложение:
.
если вместо x
подставим любое допустимое значение,
то получим высказывание. Следовательно,
- предикат с той же областью допустимых
значений, что
и
.
Аналогично:
,
,
,
- предикаты.
Аналогично определяются логические операции над предикатами с большим числом переменных.
Пример.
не является предикатом, так как области
допустимых значений не совпадают.
- предикат. (
-
простое число и
делится нацело на 3)
- предикат.
- предикат.
- предикат.
- предикат.
П.3.Равносильность предикатов.
Определение.
Предикаты
и
называются равносильными, если они
имеют одинаковые области допустимых
значений и при замене переменных
одинаковыми допустимыми значениями
логические значения полученных
высказываний совпадают. Пишут:
.
П.4. Квантор общности.
Определение.
Символ
называется квантором общности.
Читается: для любого , для каждого , для всех .
Пусть - одноместный предикат.
читается: для любых
- истина.
Определение. Предложение обозначает высказывание, которое истинно, если принимает значение «истина» для всех допустимых значений переменных, в противном случае высказывание ложно.
Пример.
- «Все натуральные числа простые» -
Ложное высказывание.
-
«Все целые числа чётные» - Ложное
высказывание.
- «Все студенты
получили оценку
»
- одноместный предикат. Навесили
квантор на двуместный предикат, получили
одноместный предикат. Аналогично
- n-местный
предикат, то
- (n-1)-местный
предикат.
- (n-2)-местный
предикат.
В русском языке квантор общности опускается.
П.5. Квантор существования.
Определение.
называется квантором
существования.
читается: существует
,
есть
,
найдётся
.
Выражение
,
где
- одноместный предикат, читается:
существует
,
для которого
истинно.
Определение. Пусть - одноместный предикат, под выражением будем понимать высказывание, которое истинно, если хотя бы при одном допустимом значении превращается в истинное высказывание и ложно во всех остальных случаях.
Пример. - «существуют простые числа».
- «существуют чётные числа».
- «существует студент , который получил оценку » - одноместный предикат.
Если на n-местный предикат навесить 1 квантор, то получим (n-1)-местный предикат, если навесить n кванторов, то получим нульместный предикат, т.е. высказывание.
Если навешивать кванторы одного вида, то порядок навешивания кванторов безразличен. А если на предикат навешиваются разные кванторы, то порядок навешивания кванторов менять нельзя.
.