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

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Отношение x>y (x, y - натуральные) является:
• # Контрпример к секвенции - это набор значений переменных, для которых все формулы:
• # Выразимые в арифметике Пресбургера предикаты - это бескванторные формулы из:
• # Любые два алгебраически замкнутых поля характеристики О: