Товарищы, помогите пожалуйста решить задачку.
Нужно проверить правильность рассуждения в логике предикатов:
Существует множество, такое, что любое множество является его подмножеством. Всякое множество является подмножеством некоторого множества. Следовательно, найдется множество, являющееся подмножеством самого себя.
Полная версия: Дискретная математика
Я немного упорядочу..
1. Существует множество, такое, что любое множество является его подмножеством.
2. Всякое множество является подмножеством некоторого множества.
3. Следовательно, найдется множество, являющееся подмножеством самого себя.
Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.
Цитата(len4ik @ 12.12.2007 23:53) 
1. Существует множество, такое, что любое множество является его подмножеством.
2. Всякое множество является подмножеством некоторого множества.
3. Следовательно, найдется множество, являющееся подмножеством самого себя.
Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.
Цитата(Lapp @ 13.12.2007 7:59)
Я немного упорядочу..
Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.
Простите пожалуйста. А можно это свести к предикатной записи.Просто у нас нужно построить предикаты обязательно, иначе проверять не будут(
Пасиб
Цитата(len4ik @ 13.12.2007 23:28)
у нас нужно построить предикаты обязательно, иначе проверять не будут(
А у самой что получается? Напиши хоть что-то..
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.