Модели, предложения, сигнатуры, предикаты, решётки...

[Kosat]

Пусть $\sigma=\langle P \rangle$, $ P $ - символ двухместного предиката. Записать предложение $\Phi$ сигнатуры $\sigma$ такое, что для любой модели $\wp$ имеет место эквивалентность:
$\wp\models \Phi \Leftrightarrow\wp$
(решеткой называется частично упорядоченное множество, в котором для любых двух элементов $x$ и $y$ существуют $\sup \left\{ x,y \right\}$ и $\inf \left\{ x,y \right\}$).

Честно говоря, я в затруднении. Как можно работать с такой маленькой сигнатурой? Что подставлять в предикат - буквы, цифры? Или тут претензии на универсальность? Я не знаю. Помогите?

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Тема перемещена в Карантин по следующим причинам:

Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Deggial]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»
Вернул