В структуре (N,+,*,=,0,1), где N - множество натуральных чисел, выразить предикаты 1. P(x,y,z) - z - частное от деления x на y (без остатка).

задан 14 Дек '16 11:12

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

По определению, в этом случае будет выполняться равенство $%x=yz+r$%, где $%r < y$% -- остаток. Достаточно сначала выразить предикат "меньше". Если $%a < b$%, то существует $%c$% такое, что $%a+c=b$% и $%c\ne0$%. Поэтому так и пишем: $%(\exists r)(\exists s)((x=y\ast z+r)\,\&\,(r+s=y)\,\&\,\neg(s=0))$%.

ссылка

отвечен 14 Дек '16 11:32

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

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

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

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

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

отмечен:

×1,065
×647

задан
14 Дек '16 11:12

показан
337 раз

обновлен
14 Дек '16 11:32

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

по почте:

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

по RSS:

Ответы

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

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