Сама формула: ∀(x ≤ y→x < Sy)


Истинна ли формула в структуре Z? (лично мне не понятно что значит S?)

задан 22 Июн '19 18:14

Через Sy в арифметике Пеано обозначается число, следующее за y, то есть y+1. Формула истинна, так как число, не большее y, строго меньше y+1, что очевидно. Правда. формула записана с ошибкой -- после квантора должна идти переменная.

(22 Июн '19 21:07) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×828
×399
×53

задан
22 Июн '19 18:14

показан
130 раз

обновлен
22 Июн '19 21:07

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

по почте:

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

по RSS:

Ответы

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

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