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

задан 28 Дек '13 16:31

Если это рассуждение рассматривать как чисто "абстрактное", то оно правильно, причём достаточно только первого положения. Если существует такое множество, что любое множество является его подмножеством, то оно само, как частный случай, будет подмножеством самого себя. Второе положение просто не используется.

Формально: из $%(\exists a)(\forall x)P(x,a)$% логически следует $%(\exists a)P(a,a)$%.

(28 Дек '13 18:59) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×888

задан
28 Дек '13 16:31

показан
1104 раза

обновлен
28 Дек '13 18:59

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru