Главная / Языки и исчисления / Если T1, T2 - теории сигнатуры с равенством, то:

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

вопрос

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

объединение T2 со всеми math - теоремами T1 совместно
объединение T2 со всеми math - теоремами T1 не совместно
дополнение T2 до T1 совместно
Сложность вопроса
64
Сложность курса: Языки и исчисления
65
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Гранд мерси за тесты по intiut'у.
14 ноя 2020
Аноним
Если бы не эти подсказки - я бы не смог решить c этими тестами intuit.
01 дек 2017
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.