Истинность бескванторных формул из D(A) от присутствия дополнительных элементов:

вопрос

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

Оставить комментарий

Отправить

• # Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:
• # Любой главный фильтр является:
• # Формулу можно построить с использованием правила:
• # Предикат определяемый формулой :
• # Двойственна к выполнимости: