Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

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

Заказать решение
Количество вопросов 332

Теорема о полноте позволяет заменить в формулировке:

перейти к ответу ->>

Арифметические формулы определяются сигнатурой S, носителем N вида:

перейти к ответу ->>

Всякий фильтр F на S расширить до ультрафильтра G \supset F:

перейти к ответу ->>

Чтобы задать интерпретацию сигнатуры S, необходимо:

перейти к ответу ->>

Для любой формулы А, формула А →​ А есть:

перейти к ответу ->>

Общезначима формула:

перейти к ответу ->>

Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:

перейти к ответу ->>

Любое вхождение переменной в терм:

перейти к ответу ->>

Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:

перейти к ответу ->>

Голосование можно проводить для:

перейти к ответу ->>

Если существует бесконечно далекий ak из ряда ‹ai, I=0,1,… который бесконечно близок к а, то:

перейти к ответу ->>

Нестандартные гипернатуральные числа:

перейти к ответу ->>

Среди гипердействительных чисел есть:

перейти к ответу ->>

Ультрапроизведение семейства моделей некоторой теории моделью той же теории:

перейти к ответу ->>

Свойство ультрафильтра отражает:

перейти к ответу ->>

Любой главный фильтр является:

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Если любая подструктура любой нормальной модели является ее моделью, то теория:

перейти к ответу ->>

Если любая подструктура любой нормальной модели является ее моделью, то теория:

перейти к ответу ->>

Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В:

перейти к ответу ->>

Теория Т - П1 аксиоматизируема, если существуют П1-формулы,из которых:

перейти к ответу ->>

Если T1, T2 - теории сигнатуры с равенством, то:

перейти к ответу ->>

Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:

перейти к ответу ->>

Истинность бескванторных формул из D(A) от присутствия дополнительных элементов:

перейти к ответу ->>

Арифметика Пеано - это арифметика:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в несчетной мощности:

перейти к ответу ->>

Семантическое следование равносильно:

перейти к ответу ->>

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

перейти к ответу ->>

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:

перейти к ответу ->>

Для сигнатуры аксиомой равенства будет:

перейти к ответу ->>

Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:

перейти к ответу ->>

Вопрос о выводимости формулы исчисления предикатов сводится к выводимости:

перейти к ответу ->>

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

перейти к ответу ->>

Для замкнутой А можно указать B \in П_1 этой же сигнатуры с добавленными функциональными символами, которая:

перейти к ответу ->>

Формула \exists x_{1,}  \cdots \exists x_k A (А - бескванторная ) общезначима, если общезначима дизъюнкция подстановок:

перейти к ответу ->>

Значения разных атомарных формул выбирать независимо:

перейти к ответу ->>

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

перейти к ответу ->>

Если Г \mapsto A, A - формула, Г - непротиворечива, то:

перейти к ответу ->>

Замкнутым термам соответствуют:

перейти к ответу ->>

Множество всех истинных в N формул сигнатуры < =, < > не выводится формула:

перейти к ответу ->>

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

перейти к ответу ->>

Любое совместное множество замкнутых формул:

перейти к ответу ->>

Непротиворечиво:

перейти к ответу ->>

Теория Г противоречива, если в ней выводима

перейти к ответу ->>

Теория Г в сигнатуре S - это произвольное:

перейти к ответу ->>

Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:

перейти к ответу ->>

Если х - свободное вхождение в формулу А или В, то оно:

перейти к ответу ->>

Если х - свободное вхождение в формулу А, то оно всегда:

перейти к ответу ->>

Формула, истинная в некоторой интерпретации на некоторой оценке называется:

перейти к ответу ->>

Формулы А и В эквивалентны, если формула:

перейти к ответу ->>

Для счетного (конечного) подмножество интерпретации M:

перейти к ответу ->>

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

перейти к ответу ->>

Глубина формулы \exists x:A:

перейти к ответу ->>

Глубина атомарных формул равна:

перейти к ответу ->>

Для упорядоченных множеств сигнатуры S = \left\langle { = , < } \right\rangle и носителей Z и Q:

перейти к ответу ->>

У Консерватора есть способ выиграть если интерпретации:

перейти к ответу ->>

В игре Эренфойхта:

перейти к ответу ->>

Игра Эренфойхта определяется:

перейти к ответу ->>

Если группа - интерпретация сигнатуры S = \left\langle { = ,x,1,обращение} \right\rangle , то подструктуры - это:

перейти к ответу ->>

Естественные интерпретации сигнатуры S = \left\langle { = , < , + ,0,1} \right\rangle на носителе R:

перейти к ответу ->>

Композиция двух изоморфизмов:

перейти к ответу ->>

Две интерпретации - изоморфны, если между ними существует:

перейти к ответу ->>

Для семейства многочленов Pn(x), взятие старшего коэффициента:

перейти к ответу ->>

Для семейства многочленов Pn(x), отбрасывание старшего члена:

перейти к ответу ->>

Бескванторная формула сигнатуры S = \left\langle { = , < ,0,1, + ,x} \right\rangle :

перейти к ответу ->>

В \left\langle {Z, = , < , + ,0,1, \equiv _2 , \equiv _3 ,...} \right\rangle элиминация кванторов:

перейти к ответу ->>

Класс выразимых предикатов:

перейти к ответу ->>

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

перейти к ответу ->>

Предикат "x=2n", n - натуральное:

перейти к ответу ->>

Предикат "двоичное слово x - конец двоичного слова y":

перейти к ответу ->>

Предикат "z=x+y", где "+" - конкатенация двоичных слов:

перейти к ответу ->>

Предикат определяемый формулой x{\rm  }div{\rm  }y{\rm  = 0}{\rm ,  x}{\rm , y} \in {\rm N}:

перейти к ответу ->>

Предикат определяемый формулой x\bmod y{\rm  = 0}{\rm ,  x}{\rm , y} \in {\rm N}:

перейти к ответу ->>

Арифметическое множество - это множество:

перейти к ответу ->>

Параметром формулы A может быть:

перейти к ответу ->>

Чтобы задать интерпретацию сигнатуры S, необходимо:

перейти к ответу ->>

Если А - формула, а x - ее индивидная переменная, то:

перейти к ответу ->>

Формулу можно построить с использованием правила:

перейти к ответу ->>

Если А - предикатный символ валентности k, t1, t2, …, tk - термы, то выражение А(t1, t2, …, tk) - это:

перейти к ответу ->>

Количество различных 1-местных предикатов:

перейти к ответу ->>

Бинарным предикатом на множестве М будет:

перейти к ответу ->>

Если М - непустое множество, то множество всех <m1, m2,…, mk> - это:

перейти к ответу ->>

Верна формула:

перейти к ответу ->>

В выводе секвенции принципиально новое, не содержащегося в секвенции всегда:

перейти к ответу ->>

Секвенция выводима тогда и только тогда, когда она:

перейти к ответу ->>

Правило вывода в исчислении секвенций - это правило, объявляющее:

перейти к ответу ->>

Верно правило для некоторых конечных множеств формул А, В, С, Д:

перейти к ответу ->>

Контрпример к секвенции A \mapsto B - это набор значений переменных, для которых все формулы:

перейти к ответу ->>

Поиск контрпримера для формулы А сводится к поиску:

перейти к ответу ->>

Для произвольных формул А, В:

перейти к ответу ->>

Теоремой исчисления высказываний является:

перейти к ответу ->>

Если А, В, С - формулы, то:

перейти к ответу ->>

Любая тавтология в исчислении высказываний есть:

перейти к ответу ->>

Выводом является:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Отношение x>y (x, y - натуральные) является:

перейти к ответу ->>

Если depth(f) - минимальная глубина схемы, вычисляющая функцию f, то:

перейти к ответу ->>

Если B - полный базис, то существует C - const:

перейти к ответу ->>

Сложность большинства булевой n-местной функций при наибольшем размере C их схем:

перейти к ответу ->>

Полным набором B булевых функций называется набор, для которого:

перейти к ответу ->>

Схема "ИЛИ - НЕ" имеет:

перейти к ответу ->>

В списке выражений: 2-2=0, 2+3=6, 3+12, 2+2>2+2, 2-0=3-0, 56=50+6 приведено всего истинных и ложных высказываний соответственно:

перейти к ответу ->>

Функция f = x \wedge \overline {x \wedge y \vee x} эквивалентна:

перейти к ответу ->>

Верна теорема для любой булевой функции f:

перейти к ответу ->>

Верно утверждение для любой булевой функции f от n аргументов:

перейти к ответу ->>

Тавтологией является формула (A,B - формулы):

перейти к ответу ->>

Тавтологией является формула (A,B - формулы):

перейти к ответу ->>

Если A и B - пропозициональные формулы, то такой же формулой будет:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Любые два алгебраически замкнутых поля конечной характеристики n:

перейти к ответу ->>

Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:

перейти к ответу ->>

Тавтологией является формула (A, B - формулы):

перейти к ответу ->>

Для умножения двух n-разрядных двоичных чисел существует схема:

перейти к ответу ->>

Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:

перейти к ответу ->>

Если A и B - пропозициональные формулы, то такой же формулой будет:

перейти к ответу ->>

Если х - свободное вхождение в формулу А или В, то оно:

перейти к ответу ->>

В игре Эренфойхта игроков:

перейти к ответу ->>

Теория \sum\nolimits_1 {} аксиоматизируема, если она:

перейти к ответу ->>

Всякая выводимая в исчислении предикатов формула:

перейти к ответу ->>

Теоремой исчисления высказываний является:

перейти к ответу ->>

При некотором C > 0 сложность большинства булевых n-местных функций:

перейти к ответу ->>

Для любых формул исчисления высказывания А В, С выводима формула:

перейти к ответу ->>

Формулы класса П_1:

перейти к ответу ->>

Предикат "двоичное слово x входит в двоичного слова y":

перейти к ответу ->>

Верна формула:

перейти к ответу ->>

Двойственна к выполнимости:

перейти к ответу ->>

Всякое непротиворечивое множество замкнутых формул:

перейти к ответу ->>

Исчисление предикатов построено над:

перейти к ответу ->>

Если в теории Г выводима формула А \wedge \neg A(А - любая формула), то она:

перейти к ответу ->>

Для сигнатуры аксиомой равенства будет:

перейти к ответу ->>

Предикат определяемый формулой x=const:

перейти к ответу ->>

Общезначима формула:

перейти к ответу ->>

Формулы А и В эквивалентны, если они обе:

перейти к ответу ->>

Не общезначима формула:

перейти к ответу ->>

Процесс вывода можно представить:

перейти к ответу ->>

Любая теория, устойчивая относительно объединения:

перейти к ответу ->>

Если Г - множество формул, то тогда:

перейти к ответу ->>

Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:

перейти к ответу ->>

Теорема Эрбрана:

перейти к ответу ->>

Функция f = x \wedge \overline { x \wedge y \vee x \wedge \overline y } эквивалентна:

перейти к ответу ->>

Верна формула:

перейти к ответу ->>

Для произвольных формул А, В:

перейти к ответу ->>

Глубина формулы \neg A равна:

перейти к ответу ->>

Верно утверждение:

перейти к ответу ->>

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

перейти к ответу ->>

Замкнутая формула невыполнима, если:

перейти к ответу ->>

\sum\nolimits_1 {} - теорема \exists x_1 ...\exists x_2 А теории T1 и отрицающая ее П1-теорема \forall x_1 ...\forall x_n А теории T2:

перейти к ответу ->>

В теории действительных чисел со сложением и умножением, элиминация кванторов:

перейти к ответу ->>

Без аксиомы "исключенного третьего" выводима:

перейти к ответу ->>

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

перейти к ответу ->>

Контрпример к секвенции A \mapsto B будет контрпримером к формуле ( \wedge A - конъюнкция,  \vee A - дизъюнкция формул из А)

перейти к ответу ->>

Верно правило для некоторых конечных множеств формул А, В, С, Д:

перейти к ответу ->>

Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:

перейти к ответу ->>

Общезначима формула:

перейти к ответу ->>

В противоречивой теории:

перейти к ответу ->>

Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в счетной мощности:

перейти к ответу ->>

Количество всех n-местных булевых функций равно:

перейти к ответу ->>

Формулу можно построить с использованием правила:

перейти к ответу ->>

Набор символов-обозначений в формулах с неотрицательными числами называется:

перейти к ответу ->>

Если теория П1 аксиоматизируема, то подструктура ее нормальной модели является:

перейти к ответу ->>

Алгоритм вывода формул \sum _1:

перейти к ответу ->>

Верна теорема для любой булевой функции f:

перейти к ответу ->>

Сложность булевой функции относительно базисных функций - это:

перейти к ответу ->>

Количество всех различных n-местных схем размера m оценивается:

перейти к ответу ->>

Для сложения двух n-разрядных двоичных чисел:

перейти к ответу ->>

Вычитание двух n-разрядных двоичных чисел по модулю 2^n выполнима схема:

перейти к ответу ->>

Для вычисления функции голосования существует схема:

перейти к ответу ->>

Отношение x mod y=0 (x, y - натуральные) является:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Выводом является:

перейти к ответу ->>

Если Г - множество формул, то:

перейти к ответу ->>

Если А, В, С - формулы, то:

перейти к ответу ->>

Исчисление секвенций - исчисление типа:

перейти к ответу ->>

Интуиционистское исчисление высказываний получается:

перейти к ответу ->>

Верна формула:

перейти к ответу ->>

Без аксиомы "исключенного третьего" выводима:

перейти к ответу ->>

Количество синонимов в списке ‹"арность", "местность", "валентность", "эквивалентность"› равна:

перейти к ответу ->>

Количество различных 0-местных предикатов равно:

перейти к ответу ->>

Предикат "двоичное слово x состоит только из нулей":

перейти к ответу ->>

Бескванторная формула сигнатуры S = \left\langle { = , < ,0,1, + ,x} \right\rangle :

перейти к ответу ->>

Для всякой формулы F сигнатуры \left\langle { = , < ,0,1, + ,x} \right\rangle существует бескванторная формула, задающая F на R - это:

перейти к ответу ->>

Для сигнатуры S = \left\langle { = , < ,0,1, + ,x} \right\rangle и носителя С (комплексные числа) всякая формула:

перейти к ответу ->>

Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если:

перейти к ответу ->>

Тождественное отображение:

перейти к ответу ->>

Минимальное число слагаемых в сумме вида 1+1+…+1, при котором она обращается в нуль - это:

перейти к ответу ->>

В игре Эренфойхта игроки:

перейти к ответу ->>

Для упорядоченных множеств сигнатуры S = \left\langle { = , < } \right\rangle и носителей N и Z:

перейти к ответу ->>

Для упорядоченных множеств сигнатуры S = \left\langle { = , < } \right\rangle и носителей R и Q:

перейти к ответу ->>

Для счетной (конечной) сигнатуры и бесконечной ее интерпретации M:

перейти к ответу ->>

Формула, истинная в любой интерпретации сигнатуры называется:

перейти к ответу ->>

Не общезначима формула:

перейти к ответу ->>

Формулы А и В эквивалентны, если формула:

перейти к ответу ->>

Любое вхождение переменной в атомарную формулу:

перейти к ответу ->>

Если х - свободное вхождение в формулу А или В, то оно:

перейти к ответу ->>

Теория Г может быть:

перейти к ответу ->>

Множество Г с моделью называется:

перейти к ответу ->>

Из множества всех истинных в N формул сигнатуры < =, < > не выводится формула:

перейти к ответу ->>

Любая непротиворечивая теория:

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Однородное линейное упорядоченное множество такой же мощности для всякой бесконечной мощности:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

Сигнатура теории полугрупп состоит из:

перейти к ответу ->>

Если T1, T2 - теории сигнатуры с равенством, то:

перейти к ответу ->>

Если теория устойчива относительно перехода к подструктурам, то она:

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Все нестандартные гипернатуральные числа:

перейти к ответу ->>

Если все элемнеты гипердействительного аналога множества M \subset R конечны, то:

перейти к ответу ->>

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

перейти к ответу ->>

Всякая формула в \left\langle {Z, = , < , + 1} \right\rangle , где +1 - функция прибавления 1:

перейти к ответу ->>

Предикат "двоичные слова x и y имеют одинаковую длину":

перейти к ответу ->>

Схема "И - НЕ" имеет:

перейти к ответу ->>

В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:

перейти к ответу ->>

Из множества всех истинных в N формул сигнатуры < =, < > не выводится формула:

перейти к ответу ->>

Верно правило для некоторых конечных множеств формул А, В, С, Д:

перейти к ответу ->>

Предикат "двоичное слово x - начало двоичного слова y":

перейти к ответу ->>

Формулу можно построить с использованием правила:

перейти к ответу ->>

Формула А семантически следует из теории T,если она:

перейти к ответу ->>

Число возможных диаграмм семейства многочленов:

перейти к ответу ->>

Теория Г может быть:

перейти к ответу ->>

Тавтологией является формула (A,B - формулы):

перейти к ответу ->>

Сложность любой булевой n-местной функций при наибольшем размере C их схем:

перейти к ответу ->>

Для сложения двух n-разрядных двоичных чисел:

перейти к ответу ->>

Аксиомой исчисления высказываний является:

перейти к ответу ->>

Теоремой исчисления высказываний является:

перейти к ответу ->>

Формула, представляющая секвенцию A \mapsto B:

перейти к ответу ->>

Формулу можно построить с использованием правила:

перейти к ответу ->>

Параметром формулы A может быть:

перейти к ответу ->>

Предикат определяемый формулой x \le y,{\rm  }x,y \in N:

перейти к ответу ->>

Предикат "x=4n", n - натуральное:

перейти к ответу ->>

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

перейти к ответу ->>

Отображение, обратное изоморфизму будет:

перейти к ответу ->>

Игроки игры Эренфойхта называются:

перейти к ответу ->>

Глубина формулы A \vee B равна:

перейти к ответу ->>

Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет:

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

Если Г \mapsto A, A - формула, Г - непротиворечива, то:

перейти к ответу ->>

Общезначимость формулы C_0 свободными переменными равносильна общезначимости ее:

перейти к ответу ->>

Если существуют подстановки A(y_1 /x_1  \ldots y{}_k/x_k ), \ldots ,A(w_1 /x_1  \ldots w_k /x_k ) для которых общезначима дизъюнкция, то формула \exists x_1  \ldots \exists x_k A(А - бескванторна):

перейти к ответу ->>

Утверждение \forall x\exists y{\rm  }A(x,y) нельзя записать в виде:

перейти к ответу ->>

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

перейти к ответу ->>

Конечно аксиоматизируемая полная теория в конечной сигнатуре:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

Любую модель теории D(A) можно считать расширением интерпретации А, если:

перейти к ответу ->>

Ультрафильтр - это фильтр:

перейти к ответу ->>

Аксиомы равенства в фильтрованном произведении нормальных интерпретаций:

перейти к ответу ->>

Если А и В - некоторые конечные множества формул, то секвенция обозначается:

перейти к ответу ->>

Если теория имеет сколь угодно большое конечные нормальные модели, то она:

перейти к ответу ->>

Все теоремы теории Г:

перейти к ответу ->>

Для вычисления функции голосования существует схема:

перейти к ответу ->>

Отметьте высказывание, которое является выражением:

перейти к ответу ->>

Если всякий многочлен Pn(x),n>0 имеет в поле X хотя бы один корень, то:

перейти к ответу ->>

Верна теорема для любой булевой функции f:

перейти к ответу ->>

Унарным предикатом на множестве М будет:

перейти к ответу ->>

Тавтологией является формула (A,B - формулы):

перейти к ответу ->>

Функция f = x \vee \overline {x \wedge y \vee x} эквивалентна:

перейти к ответу ->>

Если A и B - полные наборы булевых функций, то для любой функции:

перейти к ответу ->>

Если А, В, С - формулы, то:

перейти к ответу ->>

Интуиционистская логика возникла как попытка формализовать:

перейти к ответу ->>

Параметром формулы A может быть:

перейти к ответу ->>

Множество натуральных чисел, не являющееся арифметическим:

перейти к ответу ->>

Предикат z=НОД(x,y), x,y \in N:

перейти к ответу ->>

Предикат "x - простое число номер n":

перейти к ответу ->>

Предикат "x>y", x,y - целое:

перейти к ответу ->>

Для упорядоченных множеств сигнатуры S = \left\langle { = , < } \right\rangle и носителей Z и R:

перейти к ответу ->>

Итерации A и B элементарно эквивалентны тогда и только тогда, когда в соответствующей игре Эренфойхта:

перейти к ответу ->>

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

перейти к ответу ->>

Формула \exists x_1  \ldots \exists x_k A, c,d - const:

перейти к ответу ->>

Утверждение \forall x\forall y\exists z\forall u\exists vA(x,y,z,u,v) выполнимо только тогда, когда выполнимо:

перейти к ответу ->>

Множество теорем теории равенств:

перейти к ответу ->>

Кольцо может быть в поле, если:

перейти к ответу ->>

Если T1, T2 - теории сигнатуры с равенством, то:

перейти к ответу ->>

Теория П1 аксиоматизируема, если она:

перейти к ответу ->>

Теория Т - \sum\nolimits_1 {} аксиоматизируема, если существуют \sum\nolimits_1 {} -формулы, из которых:

перейти к ответу ->>

Фильтр на S со свойством A \in F или S\backslash A \in F\forall A \subset S называется:

перейти к ответу ->>

Если ультрафильтр неглавный, то:

перейти к ответу ->>

Всякое конечное гипердействительное число бесконечно близко к:

перейти к ответу ->>

Для произвольных формул А, В:

перейти к ответу ->>

Для умножения двух n-разрядных двоичных чисел существует схема:

перейти к ответу ->>

Любые два плотно упорядоченных множества без первого и последнего элемента:

перейти к ответу ->>

Вопрос о выводимости произвольных формул языка первого порядка:

перейти к ответу ->>

Чтобы задать интерпретацию сигнатуры S, необходимо:

перейти к ответу ->>

Глубина формулы A \wedge B равна:

перейти к ответу ->>

Если A и B - пропозициональные формулы, то такой же формулой будет:

перейти к ответу ->>

k-местной функцией на М является:

перейти к ответу ->>

Тернарным (тренарным) предикатом на множестве М будет:

перейти к ответу ->>

Формулу можно построить с использованием правила:

перейти к ответу ->>

Предикат, выразимый в данной интерпретации:

перейти к ответу ->>

Для семейства многочленов Pn(x), дифференцирование по X:

перейти к ответу ->>

Любые два алгебраически замкнутых поля характеристики О:

перейти к ответу ->>

Число ходов Новатора соответствует:

перейти к ответу ->>

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

перейти к ответу ->>

Общезначима формула:

перейти к ответу ->>

Вхождение индивидной переменной, не из области действия одноименного квантора называется:

перейти к ответу ->>

Теория Г противоречива, если в ней выводится:

перейти к ответу ->>

Алгоритм вывода формул \sum _2:

перейти к ответу ->>

Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

перейти к ответу ->>

Если теория \sum\nolimits_1 {} аксиоматизируема, то подструктура ее нормальной модели является:

перейти к ответу ->>

Любая теория, имеющая П2-аксиоматизацию:

перейти к ответу ->>

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

перейти к ответу ->>

Среди гипердействительных чисел есть:

перейти к ответу ->>

Число а - предел ‹ai, i=0,1,…, если есть бесконечно далекий ak:

перейти к ответу ->>

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

перейти к ответу ->>

Схема "ИСКЛЮЧАЮЩЕЕ - ИЛИ" имеет:

перейти к ответу ->>

Размером схемы называется число:

перейти к ответу ->>

Всякая коммутативная полугруппа с сокращением:

перейти к ответу ->>

Множество X \subset R ограничено, если все элементы его гипердействительного аналога:

перейти к ответу ->>

Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:

перейти к ответу ->>

Отношение x + 5=y (x, y - натуральные) является:

перейти к ответу ->>

Выводом является:

перейти к ответу ->>

Количество 2-местных предикатов:

перейти к ответу ->>

В игре Эренфойхта:

перейти к ответу ->>

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

перейти к ответу ->>

Если теория устойчива относительно перехода к подструктурам, то она:

перейти к ответу ->>

Глубина формулы \forall x:A:

перейти к ответу ->>

Если удалить символ < из сигнатуры S = \left\langle { = , < ,0,1, + ,x} \right\rangle , класс выразимых предикатов:

перейти к ответу ->>

Секвенция, в обеих частях которой встречаются только переменные, причем хоть одна из них встречается в обеих частях - это:

перейти к ответу ->>

Для сигнатуры аксиомой равенства будет:

перейти к ответу ->>

В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

перейти к ответу ->>

Вариант исчисления высказываний - исчисление:

перейти к ответу ->>

Для любого непротиворечивого множества замкнутых формул полное непротиворечивое множество замкнутых формул той же сигнатуры:

перейти к ответу ->>

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

перейти к ответу ->>

Если Г - множество формул, то:

перейти к ответу ->>