|
Сама формула: ∀(x ≤ y→x < Sy) Истинна ли формула в структуре Z? (лично мне не понятно что значит S?) задан 22 Июн '19 18:14 
Lakaisky |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
22 Июн '19 18:14
показан
130 раз
обновлен
22 Июн '19 21:07
Связанные исследования
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Через Sy в арифметике Пеано обозначается число, следующее за y, то есть y+1. Формула истинна, так как число, не большее y, строго меньше y+1, что очевидно. Правда. формула записана с ошибкой -- после квантора должна идти переменная.