Главная /
Языки и исчисления /
Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:
Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:
вопрос
Правильный ответ:
нормальная интерпретация
А расширяема до нормальной теории Т А не расширяема до Т А и Т совпадают Сложность вопроса
95
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Это очень не сложный решебник интуит.
04 дек 2019
Аноним
Какой человек находит вот эти вопросы интуит? Это же безумно легко
22 июл 2017
Аноним
Экзамен сдал на 4 с минусом. Спасибо за халяуву
03 апр 2017
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.