Придумайте формулу логики предикатов, которая истинна на некоторой бесконечной модели, но ложна во всех конечных.

задан 27 Сен '17 10:29

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

Стандартный пример таков: строгий частичный порядок без максимального элемента. Это значит, что мы полагаем антирефлексивность: (Ax)not(P(x)), транзитивность (Ax)(Ay)(Az)(P(x,y)&P(y,z)->P(x,z)), и отсутствие максимального -- когда для любого элемента найдётся больший: (Ax)(Ey)P(x,y). Соединяем три формулы конъюнкцией.

На конечном множестве любой частичный порядок имеет максимальный элемент, а на множестве натуральных чисел с обычным порядком x < y в качестве P(x,y), все три условия выполняются, и формула истинна.

ссылка

отвечен 27 Сен '17 15:29

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

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

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

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

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

отмечен:

×888

задан
27 Сен '17 10:29

показан
252 раза

обновлен
27 Сен '17 15:29

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

по почте:

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

по RSS:

Ответы

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

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