Главная /
Языки и исчисления /
Верно утверждение:
Верно утверждение:
вопросПравильный ответ:
изоморфные интерпретации - элементарно эквивалентны
изоморфные интерпретации - не эквивалентны
изоморфные интерпретации - элементарны
Сложность вопроса
94
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не данные решения - я бы не решил c этими тестами intuit.
18 ноя 2017
Аноним
Я провалил сессию, почему я не углядел данный сайт с ответами интуит до этого
21 дек 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если A и B - пропозициональные формулы, то такой же формулой будет:
- # Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:
-
#
Формула
![math]()
, c,d - const:
- # Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:
-
#
Для упорядоченных множеств сигнатуры
![math]()
и носителей Z и Q:
, c,d - const: 
и носителей Z и Q: