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

n - местный предикат P - устойчив относительно автоморфизма $f:X \to X$ , если:

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

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

$P(x_1 ,...,x_n ) \Leftrightarrow f(x_1 ,...,x_n )$

$P(f(x_1 ,...,x_n )) \Leftrightarrow P(x_1 ,...,x_n )$ (Верный ответ)

$f(x_1 ,...,x_n ) \Leftrightarrow P(f(x_1 ,...,x_n ))$

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

Если А - бесконечная нормальная интерпретация сигнатуры S с равенством $m \ge \left| s \right|$ , $m \ge \left| A \right|$ , то нормальное элементарное расширение мощности m:

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

$\sum\nolimits_1 {}$ - теорема $\exists x_1 ...\exists x_2$ А теории T₁ и отрицающая ее П₁-теорема $\forall x_1 ...\forall x_n$ А теории T₂:

Если S не пусто, $F \in 2^S$ , то для того, чтобы F был фильтром нужно:

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима $\neg A$ , то:

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

n - местный предикат P - устойчив относительно автоморфизма , если:

n - местный предикат P - устойчив относительно автоморфизма $f:X \to X$ , если: