Здравствуйте, OldStudent, Вы писали:

OS>Добрый день. не могли бы Вы помочь разобратся с термином интерперетация в логике первого порядка?

Попробую вспомнить былое...
Если очень коротко, то интерперетация — это отождествление
функциональных и предикатных символов реальным функциям и предикатам.
Скажем есть у тебя функциональный символ sin,
который принимает один аргумент и возвращает какое-то значение.
Задать интерпретацию этому символу — это сказать, какая реально функция
за этим стоит и как она вычисляется.

Кажется не напутал