Проверка теоретико-множественных отношений с помощью формул логики высказываний
Ранее в материалах представлены два раздела "Формулы логики. Логика высказываний" и "Теория множеств. Бинарные отношения. Функции", при этом в теории множеств существуют ряд законов, в частности, законы коммутативности, ассоциативности и дистрибутивности для операций пересечения и объединения множеств, а при описании логических законов также приводились законы аналогичные по смыслу, но применительно к логическим операциям над высказываниями, таким как конъюнкция и дизъюнкция. Это связано с тем,...
Материалы по дисциплине "Дискретная математика", часть 1
В этом материале представлены ссылки на лекции и варианты практических занятий для изучения дисциплины "Дискретная математика". Вторая часть материалов по дисциплине "Дискретная математика" расположена по ссылке: 1. Формулы логики. Логика высказываний. 1.1. Тема «Основные логические операции. Формулы логики. Дизъюнктивная и конъюнктивная нормальные формы». Обучающийся должен · знать: понятие пропозиционального высказывания, примеры пропозициональных высказываний; понятия унарной и бинарной логических...