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

Если `T₁, T₂` - теории сигнатуры с равенством, то:

вопрос

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

пресечение T₁ со всеми П₁-теоремами T₂ совместно

объединение T₁ со всеми П₁-теоремами T₂ совместно

дополнение T₁ до T₂ совместно

Сложность вопроса

Сложность курса: Языки и исчисления

Оценить вопрос

Очень сложно

Сложно

Средне

Легко

Очень легко

Комментарии:

Аноним

Если бы не данные решения - я бы не осилил c этими тестами интуит.

18 авг 2019

Аноним

Спасибо за решениями по интуиту.

01 сен 2016

Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.