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