Любое совместное множество замкнутых формул:

вопрос

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

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

Отправить

• # Тавтологией является формула (A, B - формулы):
• # Ультрапроизведение семейства моделей некоторой теории моделью той же теории:
• # Параметром формулы A может быть:
• # Арифметическое множество - это множество:
• # Предикат "z=x+y", где "+" - конкатенация двоичных слов: