Проверка теоретико-множественных отношений с помощью формул логики высказываний
Ранее в материалах представлены два раздела "Формулы логики. Логика высказываний" и "Теория множеств. Бинарные отношения. Функции", при этом в теории множеств существуют ряд законов, в частности, законы коммутативности, ассоциативности и дистрибутивности для операций пересечения и объединения множеств, а при описании логических законов также приводились законы аналогичные по смыслу, но применительно к логическим операциям над высказываниями, таким как конъюнкция и дизъюнкция. Это связано с тем,...
1524 читали · 2 года назад
Множества и операции над ними
В лекции представлены основные определения раздела "Множества", при этом основной упор делается на операциях над множествами классической теории множеств, перечислены основные законы и также показаны диаграммы Эйлера-Венна, графически изображающие как сами множества , так и результаты операций над ними. Существуют ещё способы задания множеств, их можно указать в комментариях к лекции. Приняты следующие обозначения числовых множеств, они будут указаны перечнем и занимать несколько слайдов. Важным понятием теории множества является понятие подмножества...