Логика первого порядка

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

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: