74 прочтения · 3 года назад
Дискретная математика. Множества и операции над ними
Георг Кантор Понятие множества Под множеством S будем понимать любое собрание определенных и различимых между собой объектов мыслимое как единое целое. Эти объекты называются элементами множества S. ∈ - обозначает отношение принадлежности...
59 прочтений · 10 месяцев назад
Проверка теоретико-множественных отношений с помощью формул логики высказываний
Ранее в материалах представлены два раздела "Формулы логики. Логика высказываний" и "Теория множеств. Бинарные отношения. Функции", при этом в теории множеств существуют ряд законов, в частности, законы коммутативности, ассоциативности и дистрибутивности для операций пересечения и объединения множеств, а при описании логических законов также приводились законы аналогичные по смыслу, но применительно к логическим операциям над высказываниями, таким как конъюнкция и дизъюнкция. Это связано с тем,...