Проверить правильность рассуждения в логике предикатов Существует множество, такое, что любое множество является его подмножеством. Всякое множество является подмножеством некоторого множества. Следовательно, найдется множество, являющееся подмножеством самого себя. получила следующую формулу: Р(х,у): 'х подмножество у' 1. (существует х) (для любого у) (Р(у,х)) 2. (для любого у) (существует х) (P(y,x)) Следовательно: (существует х) (P(x,x)) Дальше нужно проверить её на общезначимость, как это сделать? помогите пожалуйста

задан 29 Дек '13 14:50

Уже из первого условия, даже без использования второго, следует нужный вывод. Если $%(\exists x)(\forall y)P(x,y)$%, то можно зафиксировать $%x$%, и в формуле $%(\forall y)P(x,y)$% перейти к частному случаю, полагая $%y=x$%. Как следствие, получается $%P(x,x)$%. То $%x$%, которое мы зафиксировали, обладает этим свойством, то есть $%(\exists x)P(x,x)$% логически следует из первого условия.

(29 Дек '13 14:55) falcao

Т.е. формула является общезначимой?

(29 Дек '13 15:08) Светлана_108Б

Да, является, только надо выписать саму формулу (конъюнкция двух условий влечёт третье). Второе из условий, как я уже сказал, не используется, но это не противоречит общезначимости.

(29 Дек '13 15:10) falcao

большое спасибо

(29 Дек '13 15:16) Светлана_108Б
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×1,480

задан
29 Дек '13 14:50

показан
841 раз

обновлен
29 Дек '13 15:16

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

по почте:

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

по RSS:

Ответы

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

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