Верна формула:

вопрос

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

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

Отправить

• # Общезначимость формулы свободными переменными равносильна общезначимости ее:
• # "Сколемовская нормальная форма" позволяет получать формулы класса:
• # Теория Т - аксиоматизируема, если существуют -формулы, из которых:
• # Предикат, выразимый в данной интерпретации:
• # Общезначима формула: