Правильная Интерпретация
интерпретация формальной системы, при к-рой все аксиомы истинны или принимают значение "истина" при всех значениях ее параметров, а правила вывода сохраняют свойство принимать значение "истина". Данное определение относится к двузначным логич. Исчислениям. Если истинностных значений больше и нек-рые из них отмечены, то в определении П. И. Вместо слов "принимать значение Дистина"" надо использовать слова "принимать отмеченные значения". Если приведенное свойство интерпретации не выполняется, то она наз. Неправильной. П. И. Для формальных систем, получающихся добавлением к узкому исчислению предикатов какого-то множества аксиом Т, наз. Также моделями системы аксиом Тили моделями для Т. Произвольные интерпретации для таких формальных систем наз.
Алгебраич. Системами или просто моделями. Лит. [1] Чёрч А., Введение в математическую логику, пер. С англ., М., 1960. В. Н. Гришин.
Дополнительный поиск Правильная Интерпретация
На нашем сайте Вы найдете значение "Правильная Интерпретация" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Правильная Интерпретация, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 24 символа