Пусть A и B перечислимы, а A∪B и A∩B разрешимы. Нужно доказать, что A и B разрешимы задан 20 Май '22 18:54 xavriy |
Пусть A и B перечислимы, а A∪B и A∩B разрешимы. Нужно доказать, что A и B разрешимы задан 20 Май '22 18:54 xavriy |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
20 Май '22 18:54
показан
128 раз
обновлен
20 Май '22 20:20
Разность AUB и AB разрешима. Это AB'UA'B. Пересекаем с A. Получаем, что AB' перечислимо. Объединяем с A'B'=(AUB)'. Получаем, что B' перечислимо. Значит, B разрешимо по критерию. Для A аналогично.