Записать предикатной формулой "для всяких a и b: от перестановки мест слагаемых a и b сумма c не меняется"- свойство коммутативности арифметической операции сложения.

задан 23 Апр '13 15:01

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

$$(\forall a)(\forall b)(a+b=b+a)$$

Здесь форма ответа может зависеть от того, какая именна сигнатура (то есть набор разрешённых значков) выбирается в данном исчислении предикатов. Например, можно ввести двуместный функциональный символ $%f(a,b)$%, означающий $%a+b$%, и тогда формула примет вид $$(\forall a)(\forall b)(f(a,b)=f(b,a))$$

Наконец, если исчисление предикатов рассматривается без равенства, то можно ввести двуместный предикат равенства $%E$%, где $%E(x,y)$% означает $%x=y$%. Формула для этого случая станет такой: $$(\forall a)(\forall b)E(f(a,b),f(b,a))$$

ссылка

отвечен 23 Апр '13 15:43

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

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

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

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

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

отмечен:

×823
×403

задан
23 Апр '13 15:01

показан
684 раза

обновлен
23 Апр '13 15:43

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

по почте:

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

по RSS:

Ответы

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

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