4.3.Интерпретация формул.Математическая логика и теория алгоритмов.

Для пропозициональной формулы, задав интерпретацию переменных, мы получаем интерпретацию всей формулы. Точно также мы будем поступать и в случае формул языка первого порядка. Нам надо определить, что означает интерпретация атомарной формулы. Перейдем теперь к точным формулировкам. Весь материал взят: