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