ПРАВИЛЬНАЯ ИНТЕРПРЕТАЦИЯ

ПРАВИЛЬНАЯ ИНТЕРПРЕТАЦИЯ

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

Лит.: [1] Чёрч А., Введение в математическую логику, пер. с англ., М., 1960. В. Н. Гришин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Смотреть что такое "ПРАВИЛЬНАЯ ИНТЕРПРЕТАЦИЯ" в других словарях:

  • Базальный метод контрацепции —         это метод определения фертильной фазы по изменениям базальной температуры.Дело в том, что во время разных фаз менструального цикла имеются колебания температуры. Это объясняется тем, что в разных фазах цикла разный уровень гормонов,… …   Сексологическая энциклопедия

  • Упанишады — Статья по тематике Литература индуизма Веды Риг · Яджур …   Википедия

  • Планк, Макс — Эта статья  о немецком физике. Другие значения термина в заглавии статьи см. на Планк (значения). Макс Планк Max Planck …   Википедия

  • Упанишад — Статья по тематике Священные писания индуизма Веды Риг веда · Яджур веда · Сама веда · Атхарва веда Деление Самхиты · Брахманы · Аран …   Википедия

  • Упанишада — Статья по тематике Священные писания индуизма Веды Риг веда · Яджур веда · Сама веда · Атхарва веда Деление Самхиты · Брахманы · Аран …   Википедия

  • Литохимическая съёмка — (от Лито...         металлометрическая съёмка, важнейший из геохимических методов поиска полезных ископаемых, основанный на планомерном исследовании химического состава горных пород и продуктов их выветривания. Л. с. позволяет обнаруживать… …   Большая советская энциклопедия

  • ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… …   Философская энциклопедия

  • КУЛОНОВСКОЕ ВОЗБУЖДЕНИЕ ЯДРА — возбуждение сталкивающихся ядер, вызываемое эл. магн. взаимодействием между ними. К. в. я. осуществляется даже при больших (относительно размеров ядра) расстояниях между ядрами. Сечение К. в. я. путём электрич. перехода с мультипольностью L,… …   Физическая энциклопедия

  • Невербальное общение — Невербальное общение  это коммуникационное взаимодействие между индивидами без использования слов (передача информации или влияние друг на друга через образы, интонации, жесты, мимику, пантомимику, изменение мизансцены общения), то есть без… …   Википедия

  • Перенос (психология) — Статьи на тему Психоанализ Концепции Метапсихология Психосексуальное развитие Психосоциальное развитие Сознание • Предсознание Бессознательное Психический аппарат Оно • Я • Сверх Я Либидо • Вытеснение Анализ сновидений Защитный механизм Перенос • …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»