Главная /
Языки и исчисления /
Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:
Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:
вопросПравильный ответ:
не имеет нормальную модель
имеет нормальную модель
противоречива.
Сложность вопроса
20
Сложность курса: Языки и исчисления
65
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 4. Спасибо за халяуву
24 окт 2017
Аноним
Я помощник профессора! Оперативно сотрите ответы intuit. Я буду жаловаться!
07 апр 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:
- # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
- # Истинность бескванторных формул из D(A) от присутствия дополнительных элементов:
- # Выводом является:
- # Любые два плотно упорядоченных множества без первого и последнего элемента: