Локшин А.А., Иванова Е.А. Множества и логика

Пособие. — 2-е издание. — М.: МАКС Пресс, 2018. — 72 с.: ил.В пособии, предназначенном студентам педагогических институтов и колледжей – будущим учителям начальных классов – изложены основы двух важнейших тем, способствующих формированию понятийного мышления.Предисловие
Элементы наивной теории множеств
Множество и его элементы
Равенство множеств
Подмножества
Транзитивность включения множеств
Диаграммы Эйлера–Венна
Пустое множество. Универсальное множество
Способы задания множеств
Зачем нужны элементы множеств, когда есть одноэлементные подмножества?
Пересечение множеств
Объединение множеств
Взаимодействие операций пересечения и объединения множеств
Разность и дополнение множеств
Законы де Моргана
Дальнейшие свойства разности и дополнения
Формула включений и исключений
Декартово произведение множеств
Разбиение множества на классы по одному , двум и трем свойствам
Элементы математической логики
Высказывания
Логические союзы
Простые и составные высказывания
Таблицы истинности для логических операций.Конъюнкция, дизъюнкция, отрицание
Таблицы истинности для логических операций.Импликация и эквиваленция
Важнейшие формулы, связывающие между собой логические операции
Геометрическая интерпретация закона контрапозиции
Некоторые важнейшие схемы рассуждений
Предикаты: определение, примеры
Операции над предикатами
Множества истинности операций над предикатами
Логическое следование предикатов
Квантор общности
Квантор существования
Отрицание высказываний с кванторами
Кванторы и многоместные предикаты
Проверка правильности формы умозаключения на диаграммах Эйлера–Венна
Приложение. Иллюстрации