ДМ и Топ: лекция 11.09.2024

Единственность СДНФ, связь с таблицами истинности. Логическое следование. Множества и элементы, подмножества, равенство множеств. Пустое множество, операции над множествами (объединение, пересечение, разность, прямое произведение). Парадоксы наивной теории множеств.