Главная /
Языки и исчисления /
Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет:
Если бесконечное множество противоречиво, то некоторое его конечное подмножество будет:
вопросПравильный ответ:
пустым
непротиворечивым
противоречивым
Сложность вопроса
59
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Если бы не опубликованные ответы - я бы не решил c этими тестами интуит.
03 ноя 2015
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Тавтологией является формула (A, B - формулы):
- # Теорема о полноте позволяет заменить в формулировке:
- # Конечно аксиоматизируемая полная теория в конечной сигнатуре:
- # Если теория П1 аксиоматизируема, то подструктура ее нормальной модели является:
- # Если любая подструктура любой нормальной модели является ее моделью, то теория: