Для упорядоченных множеств сигнатуры и носителей Z и Q:

вопрос

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

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

Отправить

• # Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:
• # Верна теорема для любой булевой функции :
• # Ультрапроизведение семейства моделей некоторой теории моделью той же теории:
• # Арифметическое множество - это множество:
• # Глубина формулы равна: