Дискретная математика, Предикаты Опции

[len4ik]

Товарищы, помогите пожалуйста решить задачку.

Нужно проверить правильность рассуждения в логике предикатов:
Существует множество, такое, что любое множество является его подмножеством. Всякое множество является подмножеством некоторого множества. Следовательно, найдется множество, являющееся подмножеством самого себя.

[Lapp]

Я немного упорядочу..

1. Существует множество, такое, что любое множество является его подмножеством.
2. Всякое множество является подмножеством некоторого множества.
3. Следовательно, найдется множество, являющееся подмножеством самого себя.

Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.

[len4ik]

Я немного упорядочу..

Теперь о сути.
Мне кажется, уверждение 2 тут лишнее. Утверждение 3 следует прямо из 1. Если действительно существует такое множество, что любое множество является его подмножеством, то и оно само (как любое) является подмножеством того самого множества, то есть самого себя.

Простите пожалуйста. А можно это свести к предикатной записи.Просто у нас нужно построить предикаты обязательно, иначе проверять не будут(
Пасиб

[Lapp]

у нас нужно построить предикаты обязательно, иначе проверять не будут(

А у самой что получается? Напиши хоть что-то..