3.3. Интерпретация

Интерпретация I исчисления предикатов K с областью интерпретацией M – это набор функций, который сопоставляет:

· каждой предметной константе a элемент I(a)ÎM;

· каждому n-местному функтору f операцию I(f):Mn®M.

· каждому n-местному предикату Р отношение I(P)Ì Mn.

Для нас имеют смысл только интерпретированные предикаты, т. е. те, которым поставлены в соответствие некоторые отношения (для одноместных предикатов – свойства).

Пример.

Рассмотрим 3 формулы.

1. P(x,y)

2.

3.

В качестве области интерпретации возьмем множество целых положительных чисел и интерпретируем P(x,y) как отношение .

Тогда формула 1 – это предикат. Он принимает значение истинно при любых a,b принадлежащих множеству целых положительных чисел, если .

Формула 2 – это предикат, который принимает значение истинно при x=1, т. е. он выражает свойство, что для каждого положительного целого числа y .

Формула 3 – это предикат, который всегда будет истинен. Он выражает свойство: существует положительное целое число y, для которого .

Формула называется истинной, если она выполняется на любом наборе элементов М.

Формула называется ложной, если она не выполняется на любом наборе элементов М.

Формула общезначима (тавтология), если она истинна в любой интерпретации.

Теорема: Любая выводимая в исчислении предикатов формула – общезначима.

<< | >>
Источник: Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г.. 2007

Еще по теме 3.3. Интерпретация:

  1. Семиотическая интерпретация эпизода 2
  2. 7.1.2. Интерпретация факторов
  3. Интерпретация
  4. Дополнительные замечания об интерпретации r.
  5. Проблемы интерпретации волновой функции в НВМ Шрёдингера.
  6. Копенгагенская интерпретация квантовой механики.
  7. Метод интерпретации.
  8. Метод интерпретации сновидений.
  9. Основные понятия: уточнение и интерпретация.
  10. 7.7. Экономическая интерпретация решения задачи линейного программирования