Если Г - множество формул, то тогда:

вопрос

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

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

Отправить

• # Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:
• # Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:
• # Верно правило для некоторых конечных множеств формул А, В, С, Д:
• # Отображение, обратное изоморфизму будет:
• # Если группа - интерпретация сигнатуры , то подструктуры - это: