Если S не пусто, , то для того, чтобы F был фильтром нужно:

вопрос

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

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

Отправить

• # Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В:
• # Схема "ИСКЛЮЧАЮЩЕЕ - ИЛИ" имеет:
• # Контрпример к секвенции будет контрпримером к формуле ( - конъюнкция, - дизъюнкция формул из А)
• # n - местный предикат P - устойчив относительно автоморфизма , если:
• # Всякая выводимая в исчислении предикатов формула: