Элементы теории множеств и математической логики

Согласно ФГОС основного общего образования в курс математики введен раздел «Логика», который не предполагает дополнительных часов на изучении и встраивается в различные темы курсов математики и информатики и предваряется ознакомлением с элементами теории множеств.

Множества и отношения между ними

Множество, характеристическое свойство множества, элемент множества, пустое, конечное, бесконечное множество. Подмножество. Отношение принадлежности, включения, равенства. Элементы множества, способы задания множеств, распознавание подмножеств и элементов подмножеств с использованием кругов Эйлера.

Операции над множествами

Пересечение и объединение множеств. Разность множеств, дополнение множества, Интерпретация операций над множествами с помощью кругов Эйлера.

Элементы логики

Определение. Утверждения. Аксиомы и теоремы. Доказательство. Доказательство от противного. Теорема, обратная данной. Пример и контрпример.

Высказывания

Истинность и ложность высказывания. Сложные и простые высказывания. Операции над высказываниями с использованием логических связок: и, или, не. Условные высказывания (импликации).