Записать при помощи формул исчисления предикатов следующие утверждения: 1) За каждым из нас кто-то следит. 2) Человек или не следит ни за кем, или следит за всеми. 3) Кто-то следит за всеми нами.

задан 8 Янв 17:41

10|600 символов нужно символов осталось
1

Рассмотрим двуместный предикат $%P(x,y)$%, означающий, что $%x$% следит за $%y$%.

1) $%(\forall y)(\exists x)P(x,y)$%

2) $%(\forall x)((\forall y)\neg P(x,y)\lor(\forall y)P(x,y))$%

3) $%(\exists x)(\forall y)P(x,y)$%

ссылка

отвечен 8 Янв 23:47

10|600 символов нужно символов осталось
Ваш ответ

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

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

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

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

отмечен:

×591
×45

задан
8 Янв 17:41

показан
151 раз

обновлен
8 Янв 23:47

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

по почте:

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

по RSS:

Ответы

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

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