Никулина Е.В. Введение в теорию множеств и логическую символику

Учебно-методическое пособие. — Ярославль: Ярославский государственный университет (ЯрГУ) имени П.Г. Демидова, 2023. — 48 с.Материалы, содержащиеся в данном пособии, ознакомят студентов с первоначальными понятиями математической логики и теории множеств. Они включают теоретические положения, большое количество примеров и упражнения для самостоятельного решения.
Предназначено для студентов первого курса, обучающихся по дисциплине «Введение в теорию множеств и логическую символику».Высказывания
Операции над высказываниями
Формулы алгебры высказываний
Основные законы равносильности
Импликация
Признак и свойство
Нормальные формы
Проверка аргумента на правильность
Предикаты
Логические операции над предикатами
Понятие множества
Способы задания множества
Алгебра множеств
Формула включений и исключений
Прямое (декартово) произведение множеств
Бинарное отношение
Отношение эквивалентности
Отображения
Мощность множества
Счётные множества. Свойства
Основные числовые множества
Сравнение мощностей бесконечных множеств
Теорема Кантора
Литература