Вопрос о выводимости формулы исчисления предикатов сводится к выводимости:

вопрос

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

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

Отправить

• # Любую модель теории D(A) можно считать расширением интерпретации А, если:
• # Теория Т - аксиоматизируема, если существуют -формулы, из которых:
• # Предикат "двоичные слова x и y имеют одинаковую длину":
• # Формула, истинная в любой интерпретации сигнатуры называется:
• # Всякая выводимая в исчислении предикатов формула: