Языки и исчисления

Выразимые в арифметике Пресбургера предикаты - это бескванторные формулы из:

(Отметьте один правильный вариант ответа.)

Варианты ответа

констант, переменных, отношений

переменных, сложения, сравнения, эквивалентности

констант, сложения, равенства, отношение порядка и сравнения(Верный ответ)

Похожие вопросы

Биекция $f:X \to X$ - автоморфизм интерпретации, если все функции и предикаты интерпретации:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Две формулы с параметрами эквивалентны, если они одновременно:

Если отрицание замкнутой формулы общезначимо, то она:

Из выводимости "Сколемовской нормальной формы", выводимость формулы:

Если прототип формулы - тавтология, то бескванторная формула:

Из выводимости формулы, выводимость ее "Сколемовской нормальной формы":

"Сколемовская нормальная форма" позволяет получать формулы класса:

Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: