Интерпретация (логика)

редактировать
Присвоение значения символам формального языка

Интерпретация присвоение значения символам в формальном языке. Многие формальные языки, используемые в математике, логике и теоретической информатике, определены исключительно в синтаксических терминах и как таковые не имеют любое значение, пока им не будет дана интерпретация. Общее изучение интерпретаций формальных языков называется формальной семантикой.

. Наиболее часто изучаемые формальные логики - это логика высказываний, логика предикатов и их модальная аналоги, и для них есть стандартные способы подачи интерпретации. В этих контекстах интерпретация - это функция , которая предоставляет расширение символов и строк символов объектного языка. Например, функция интерпретации может взять предикат T (для «высокий») и присвоить ему расширение {a} (для «Авраама Линкольна»). Обратите внимание, что все, что наша интерпретация делает, - это присваивает расширение {a} нелогической константе T и не утверждает, должно ли T обозначать высокий, а «a» - Авраама Линкольна. Логическая интерпретация также ничего не говорит о логических связках, таких как «и», или «и не». Хотя мы можем считать, что эти символы обозначают определенные вещи или концепции, это не определяется функцией интерпретации.

Интерпретация часто (но не всегда) обеспечивает способ определения истинностных значений для предложений на языке. Если данная интерпретация присваивает значение True предложению или теории, интерпретация называется моделью этого предложения или теории.

Содержание
  • 1 Формальные языки
    • 1.1 Пример
    • 1.2 Логические константы
  • 2 Общие свойства интерпретаций функций истинности
    • 2.1 Логические связки
  • 3 Интерпретация теории
  • 4 Интерпретации для логики высказываний
  • 5 Логика первого порядка
    • 5.1 Формальные языки для логики первого порядка
    • 5.2 Интерпретации языка первого порядка
    • 5.3 Пример интерпретации первого порядка
    • 5.4 Не -пустое требование домена
    • 5.5 Интерпретация равенства
    • 5.6 Многосортная логика первого порядка
  • 6 Логика предикатов высшего порядка
  • 7 Неклассические интерпретации
  • 8 Предполагаемые интерпретации
    • 8.1 Пример
  • 9 Другие концепции интерпретации
  • 10 См. Также
  • 11 Ссылки
  • 12 Внешние ссылки
Формальные языки

Формальный язык состоит из, возможно, бесконечного набора предложений (по-разному называемых словами или формулы ), построенные из фиксированного набора букв или символов. Список, из которого взяты эти буквы, называется алфавитом, по которому определяется язык. Чтобы отличить строки символов формального языка от произвольных строк символов, первые иногда называют правильно сформированными формуламиæ (wff). Существенной особенностью формального языка является то, что его синтаксис может быть определен без ссылки на интерпретацию. Например, мы можем определить, что (P или Q) является правильно сформированной формулой, даже не зная, истинна она или ложь.

Пример

Формальный язык W {\ displaystyle {\ mathcal {W}}}{\ mathcal {W}} может быть определен с помощью алфавита α = {△, ◻} {\ displaystyle \ alpha = \ {\ треугольник, \ square \}}{\ displaystyle \ alpha = \ {\ треугольник, \ квадрат \} } , и слово находится в W {\ displaystyle {\ mathcal {W}}}{\ mathcal {W}} , если он начинается с △ {\ displaystyle \ треугольник}\ треугольник и состоит исключительно из символов △ {\ displaystyle \ треугольник}\ треугольник и ◻ {\ displaystyle \ square}\ square .

Возможная интерпретация W {\ displaystyle {\ mathcal {W}}}{\ mathcal {W}} могла бы присвоить десятичной цифре '1' △ {\ displaystyle \ треугольник}\ треугольник и от '0' до ◻ {\ displaystyle \ square}\ square . Тогда △ ◻ △ {\ displaystyle \ треугольник \ квадрат \ треугольник}\ треугольник \ квадрат \ треугольник будет обозначать 101 в этой интерпретации W {\ displaystyle {\ mathcal {W}}}{\ mathcal {W}} .

Логические константы

В конкретных случаях логики высказываний и логики предикатов рассматриваемые формальные языки имеют алфавиты, которые разделены на два набора: логические символы (логические константы ) и нелогические символы. Идея, лежащая в основе этой терминологии, заключается в том, что логические символы имеют одинаковое значение независимо от изучаемого предмета, в то время как нелогические символы меняют значение в зависимости от области исследования.

Логическим константам всегда придается одно и то же значение при каждой интерпретации стандартного типа, так что изменяются только значения нелогических символов. Логические константы включают символы кванторов ∀ («все») и ∃ («некоторые»), символы для логических связок ∧ («и»), ∨ («или»), ¬ («не»), круглые скобки и другие символы группировки, а также (во многих случаях) символ равенства =.

Общие свойства функциональных интерпретаций истинности

Многие из обычно изучаемых интерпретаций связывают каждое предложение на формальном языке с одним значением истинности, истинным или ложным. Эти интерпретации называются функционалом истины; они включают обычные интерпретации пропозициональной логики и логики первого порядка. Говорят, что предложения, которые становятся истинными посредством определенного задания, удовлетворены этим назначением.

В классической логике ни одно предложение не может быть одновременно истинным и ложным с помощью одной и той же интерпретации, хотя это не верно для логики перенасыщения, такой как LP. Однако даже в классической логике значение истинности одного и того же предложения может быть разным при разных интерпретациях. Предложение является непротиворечивым, если оно истинно хотя бы при одной интерпретации; в противном случае это непоследовательно. Предложение φ называется логически действительным, если ему удовлетворяет любая интерпретация (если φ удовлетворяется каждой интерпретацией, удовлетворяющей ψ, то φ называется логическим следствием ψ).

Логические связки

Некоторые из логических символов языка (кроме кванторов) - это функциональные связки истинности, которые представляют функции истинности - функции, которые принимают значения истинности в качестве аргументов и возвращать значения истинности в качестве выходных данных (другими словами, это операции над значениями истинности предложений).

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

Вот как мы определяем логические связки в логике высказываний:

  • ¬Φ истинно , если Φ ложно.
  • (Φ ∧ Ψ) истинно, если и только если Φ истинно, а Ψ истинно.
  • (Φ ∨ Ψ) истинно, если Φ истинно или Ψ истинно (или оба истинны).
  • (Φ → Ψ) истинно, если и только если ¬ Φ истинно или Ψ истинно (или оба истинны).
  • (Φ ↔ Ψ) истинно тогда и только тогда, когда (Φ → Ψ) истинно и (Ψ → Φ) истинно.

Таким образом, при учитывая интерпретацию всех букв предложения Φ и Ψ (то есть после присвоения значения истинности каждой букве предложения), мы можем определить значения истинности всех формул, которые имеют их в качестве составных частей, как функцию логических связок. В следующей таблице показано, как это выглядит. Первые два столбца показывают значения истинности букв предложения, определенные четырьмя возможными интерпретациями. В других столбцах показаны значения истинности формул, построенных из этих букв предложения, причем значения истинности определены рекурсивно.

Логические связки
ИнтерпретацияΦΨ¬Φ(Φ ∧ Ψ)(Φ ∨ Ψ)(Φ → Ψ)(Φ ↔ Ψ)
#1TTFTTTT
#2TFFFTFF
#3FTTFTTF
#4FFTFFTT

Теперь легче увидеть, что делает формулу логически верной. Возьмем формулу F: (Φ ∨ ¬Φ). Если наша функция интерпретации делает Φ истинным, то ¬Φ становится ложным из-за связки отрицания. Поскольку дизъюнкция Φ группы F истинна при такой интерпретации, F истинно. Теперь единственная другая возможная интерпретация Φ делает его ложным, и если это так, ¬Φ становится истинным с помощью функции отрицания. Это сделало бы F снова истинным, поскольку один из дизъюнктов F, ¬Φ, будет истинным при этой интерпретации. Поскольку эти две интерпретации для F являются единственно возможными логическими интерпретациями, и поскольку F оказывается истинным для обеих, мы говорим, что это логически достоверно или тавтологично.

Интерпретация теории

Интерпретация теории - это взаимосвязь между теорией и некоторым предметом, когда существует соответствие многие-к-одному между некоторыми элементарными утверждения теории и определенные утверждения, относящиеся к предмету изучения. Если каждому элементарному утверждению в теории соответствует его соответствие, это называется полной интерпретацией, в противном случае это называется частичной интерпретацией.

Интерпретации для логики высказываний

Формальный язык логики высказываний состоит из формул, составленных из пропозициональных символов (также называемых сентенциальными символами, сентенциальными переменными и пропозициональными переменными) и логических связок. Единственными нелогическими символами формального языка пропозициональной логики являются пропозициональные символы, которые часто обозначаются заглавными буквами. Чтобы формальный язык был точным, необходимо зафиксировать определенный набор пропозициональных символов.

Стандартный вид интерпретации в этой настройке - это функция, которая сопоставляет каждый пропозициональный символ с одним из значений истинности истина и ложь. Эта функция известна как функция присвоения истинности или оценки. Во многих презентациях присваивается буквально значение истины, но в некоторых презентациях вместо этого назначается носителей истины.

Для языка с n различными пропозициональными переменными есть 2 различных возможных интерпретации. Для любой конкретной переменной a, например, существует 2 = 2 возможных интерпретации: 1) a присвоено T, или 2) a присвоено F . Для пары a, b существует 2 = 4 возможных интерпретации: 1) обоим назначено T, 2) обоим назначено F, 3) a присвоено T и b присвоено F, или 4) a присвоено F, а b присвоено T.

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

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

В отличие от логики высказываний, где все языки одинаковы, за исключением выбора различного набора пропозициональных переменных, существует много разных языков первого порядка. Каждый язык первого порядка определяется подписью. Подпись состоит из набора нелогических символов и идентификации каждого из этих символов как постоянного символа, функционального символа или предикатного символа . В случае функциональных и предикатных символов также присваивается натуральное число arity. Алфавит формального языка состоит из логических констант, символа отношения равенства =, всех символов из подписи и дополнительного бесконечного набора символов, известных как переменные.

Например, в языке колец есть постоянные символы 0 и 1, два двоичных функциональных символа + и · и нет символов двоичного отношения. (Здесь отношение равенства берется как логическая константа.)

Опять же, мы могли бы определить язык первого порядка L как состоящий из отдельных символов a, b и c; предикатные символы F, G, H, I и J; переменные x, y, z; без служебных букв; нет сентенциальных символов.

Формальные языки для логики первого порядка

Для данной сигнатуры σ соответствующий формальный язык известен как набор σ-формул. Каждая σ-формула строится из атомарных формул с помощью логических связок; атомарные формулы строятся из терминов с использованием предикатных символов. Формальное определение множества σ-формул идет в другом направлении: сначала термы собираются из константных и функциональных символов вместе с переменными. Затем термины можно объединить в атомарную формулу, используя символ предиката (символ отношения) из подписи или специальный символ предиката «=» для равенства (см. Раздел «Интерпретация равенства» ниже). Наконец, формулы языка собираются из элементарных формул с использованием логических связок и кванторов.

Интерпретации языка первого порядка

Чтобы приписать значение всем предложениям языка первого порядка, необходима следующая информация.

  • A область дискурса D, обычно требуется, чтобы она была непустой (см. Ниже).
  • Для каждого постоянного символа, элемент D как его интерпретация.
  • Для каждого n-арный функциональный символ, n-арная функция от D к D в качестве ее интерпретации (то есть функция D → D).
  • Для каждого n-арного символа предиката n-арное отношение на D как его интерпретация (то есть подмножество D).

Объект, несущий эту информацию, известен как структура (сигнатуры σ), или σ-структура, или L-структура (языка L), или как «модель».

Информация, указанная в интерпретации, предоставляет достаточно информации, чтобы дать значение истинности любой атомарной формуле после того, как каждая из ее свободных переменных, если таковые имеются, была заменена элементом домена. Затем значение истинности произвольного предложения определяется индуктивно с использованием T-схемы, которая представляет собой определение семантики первого порядка, разработанное Альфредом Тарски. Т-схема интерпретирует логические связки с использованием таблиц истинности, как обсуждалось выше. Таким образом, например, φ ψ выполняется тогда и только тогда, когда удовлетворяются как φ, так и ψ.

Остается вопрос о том, как интерпретировать формулы вида x φ (x) и ∃ x φ (x). Область дискурса формирует диапазон для этих кванторов. Идея состоит в том, что предложение ∀ x φ (x) истинно при интерпретации именно тогда, когда удовлетворяется каждый экземпляр подстановки φ (x), где x заменяется некоторым элементом области. Формула ∃ x φ (x) выполняется, если существует хотя бы один элемент d области такой, что выполняется φ (d).

Строго говоря, пример подстановки, такой как указанная выше формула φ (d), не является формулой на исходном формальном языке φ, поскольку d является элементом области. Есть два способа решения этой технической проблемы. Первый - перейти на более крупный язык, в котором каждый элемент домена именуется постоянным символом. Второй - добавить к интерпретации функцию, которая присваивает каждую переменную элементу домена. Затем Т-схема может количественно определять варианты исходной интерпретации, в которых эта функция присваивания переменных изменена, вместо количественной оценки экземпляров подстановки.

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

Поскольку описанные здесь интерпретации первого порядка определены в теории множеств, они не связывают каждый символ предиката со свойством (или отношением), а скорее с расширением этого свойства (или отношения). Другими словами, эти интерпретации первого порядка являются экстенсиональным, а не интенсиональным.

Примером интерпретации первого порядка

Пример интерпретации I {\ displaystyle { \ mathcal {I}}}{\ mathcal {I}} языка L, описанного выше, выглядит следующим образом.

  • Домен: шахматный набор
  • Индивидуальные константы: a: белый король b: черный ферзь c: белая королевская пешка
  • F (x): x - фигура
  • G (x): x - пешка
  • H (x): x - черная
  • I (x): x - белая
  • J (x, y): x может захватить y

В интерпретации I {\ displaystyle {\ mathcal {I}}}{\ mathcal {I}} of L:

  • следующие истинные предложения: F (a), G (c), H (b), I (a) J (b, c),
  • следующие предложения являются ложными: J (a, c), G (a).

Требование непустого домена

Как указано выше, интерпретация первого порядка обычно требуется для определения непустого множества в качестве домена дискурса. Причина этого требования состоит в том, чтобы гарантировать, что эквивалентности, такие как

(ϕ ∨ ∃ x ψ) ↔ ∃ x (ϕ ∨ ψ) {\ displaystyle (\ phi \ lor \ exists x \ psi) \ leftrightarrow \ exists x ( \ phi \ lor \ psi)}(\ phi \ lor \ exists x \ psi) \ leftrightarrow \ exists x (\ phi \ lor \ psi) ,

где x не является свободной переменной φ, логически верны. Эта эквивалентность сохраняется в любой интерпретации с непустой областью, но не всегда выполняется, когда разрешены пустые области. Например, эквивалентность

[∀ y (y = y) ∨ ∃ x (x = x)] ≡ ∃ x [∀ y (y = y) ∨ x = x] {\ displaystyle [\ forall y (y = y) \ lor \ exists x (x = x)] \ Equiv \ exists x [\ forall y (y = y) \ lor x = x]}[\ forall y (y = y) \ lor \ exists x (x = x)] \ Equiv \ exists x [\ forall y (y = y) \ lor x = x]

не работает в любой структуре с пустой областью. Таким образом, теория доказательства логики первого порядка становится более сложной, когда разрешены пустые структуры. Однако выгода от их разрешения незначительна, поскольку как предполагаемые интерпретации, так и интересные интерпретации теорий, которые изучают люди, имеют непустые области.

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

Интерпретация равенства

Отношение равенства часто обрабатывается специально в логике первого порядка и других логиках предикатов. Есть два общих подхода.

Первый подход состоит в том, чтобы рассматривать равенство как ничем не отличное от любого другого бинарного отношения. В этом случае, если в подпись включен символ равенства, обычно необходимо добавить различные аксиомы о равенстве к системам аксиом (например, аксиома подстановки, гласящая, что если a = b и R (a) выполняется, то R (b) также выполняется). Этот подход к равенству наиболее полезен при изучении сигнатур, которые не включают отношение равенства, таких как сигнатура для теории множеств или сигнатура для арифметики второго порядка, в которой есть только отношение равенства для чисел, но не отношение равенства для набора чисел.

Второй подход состоит в том, чтобы рассматривать символ отношения равенства как логическую константу, которая должна интерпретироваться реальным отношением равенства при любой интерпретации. Интерпретация, которая интерпретирует равенство таким образом, известна как нормальная модель, поэтому этот второй подход аналогичен изучению только интерпретаций, которые оказываются нормальными моделями. Преимущество этого подхода состоит в том, что аксиомы, относящиеся к равенству, автоматически удовлетворяются каждой нормальной моделью, и поэтому их не нужно явно включать в теории первого порядка, когда равенство трактуется таким образом. Этот второй подход иногда называют логикой первого порядка с равенством, но многие авторы без комментариев применяют его для общего изучения логики первого порядка.

Есть несколько других причин ограничить изучение логики первого порядка обычными моделями. Во-первых, известно, что любая интерпретация первого порядка, в которой равенство интерпретируется отношением эквивалентности и удовлетворяет аксиомам подстановки для равенства, может быть сокращена до элементарно эквивалентной интерпретации на подмножество исходного домена. Таким образом, изучение ненормальных моделей не дает дополнительной общности. Во-вторых, если рассматриваются ненормальные модели, то каждая последовательная теория имеет бесконечную модель; это влияет на формулировки результатов, таких как теорема Левенгейма – Сколема, которые обычно формулируются в предположении, что рассматриваются только нормальные модели.

Многосортная логика первого порядка

Обобщение логики первого порядка рассматривает языки с более чем одним видом переменных. Идея состоит в том, что разные виды переменных представляют разные типы объектов. Можно количественно оценить любую переменную; таким образом, интерпретация многосортного языка имеет отдельную область для каждого из видов переменных, которые должны быть диапазонными (существует бесконечный набор переменных каждого из различных видов). Функциональные символы и символы отношения, помимо того, что они имеют арности, определены так, что каждый из их аргументов должен происходить из определенного вида.

Одним из примеров многосортной логики является плоская евклидова геометрия. Есть два вида; точки и линии. Существует символ отношения равенства для точек, символ отношения равенства для линий и двоичное отношение инцидентности E, которое принимает одну точечную переменную и одну линейную переменную. Предполагаемая интерпретация этого языка предусматривает диапазон точечных переменных по всем точкам на евклидовой плоскости, диапазон линейных переменных по всем линиям на плоскости, а отношение инцидентности E (p, l) выполняется тогда и только тогда. если точка p находится на прямой l.

Логика предикатов высшего порядка

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

Существует два типа интерпретаций, обычно используемых для логики более высокого порядка. Полная семантика требует, чтобы после того, как предметная область обсуждения удовлетворена, переменные высшего порядка охватывали все возможные элементы правильного типа (все подмножества предметной области, все функции от предметной области к самой себе и т. Д.). Таким образом, спецификация полной интерпретации такая же, как спецификация интерпретации первого порядка. Семантика Хенкина, которая по сути является мультисортированной семантикой первого порядка, требует, чтобы интерпретация определяла отдельный домен для каждого типа переменной более высокого порядка, в пределах которой должен быть диапазон. Таким образом, интерпретация в семантике Хенкина включает в себя область D, набор подмножеств D, набор функций от D до D и т. Д. Взаимосвязь между этими двумя семантиками является важной темой в логике более высокого порядка.

Неклассические интерпретации

Описанные выше интерпретации логики высказываний и логики предикатов - не единственные возможные интерпретации. В частности, существуют другие типы интерпретаций, которые используются при изучении неклассической логики (например, интуиционистской логики ), а также при изучении модальной логики.

Интерпретации, используемые для изучения неклассической логики, включают, булевозначные модели и модели Крипке. Модальная логика также изучается с использованием моделей Крипке.

Предполагаемые интерпретации

Многие формальные языки связаны с определенной интерпретацией, которая используется для их мотивации. Например, сигнатура первого порядка для теории множеств включает только одно бинарное отношение, ∈, которое предназначено для представления членства в множестве, а область дискурса в теории натуральных чисел первого порядка предназначена для набора естественных чисел. числа.

Предполагаемая интерпретация называется стандартной моделью (термин, введенный Абрахамом Робинсоном в 1960 году). В контексте арифметики Пеано она состоит из натуральных чисел с их обычными арифметическими операциями. Все модели, которые изоморфны только что приведенной, также называются стандартными; все эти модели удовлетворяют аксиомам Пеано. Существуют также нестандартные модели (версия первого порядка) аксиом Пеано, которые содержат элементы, не коррелированные ни с каким натуральным числом.

Хотя предполагаемая интерпретация не может иметь явного указания в строго формальных синтаксических правилах, она, естественно, влияет на выбор правил преобразования и преобразования синтаксической системы. Например, примитивные знаки должны разрешать выражение концепций, подлежащих моделированию; сентенциальные формулы выбираются так, чтобы их эквивалентами в предполагаемой интерпретации были значимые повествовательные предложения ; примитивные предложения должны проявляться как истинные предложения в интерпретации; правила вывода должны быть такими, чтобы, если предложение I j {\ displaystyle {\ mathcal {I}} _ {j}}{\ mathcal {I}} _ {j} было непосредственно выводимым из предложения I i {\ displaystyle {\ mathcal {I}} _ {i}}{\ mathcal {I}} _ {i} , затем I i → I j {\ displaystyle {\ mathcal {I} } _ {i} \ to {\ mathcal {I}} _ {j}}{\ mathcal {I}} _ {i} \ to {\ mathcal {I}} _ {j} оказывается верным предложением с → {\ displaystyle \ to}\ to означает импликацию, как обычно. Эти требования гарантируют, что все доказуемые предложения также оказываются истинными.

Большинство формальных систем имеют намного больше моделей, чем они должны были иметь (наличие нестандартных моделей является примером). Когда мы говорим о «моделях» в эмпирических науках, мы имеем в виду, если мы хотим, чтобы реальность была моделью нашей науки, чтобы говорить о предполагаемой модели. Модель в эмпирических науках - это предполагаемая фактически истинная описательная интерпретация (или в других контекстах: непреднамеренная произвольная интерпретация, используемая для прояснения такой предполагаемой фактически истинной описательной интерпретации). Все модели являются интерпретациями, имеющими одинаковую область дискурса как предполагаемая, но другие присвоения для нелогических констант.

Пример

Учитывая простую формальную систему (мы будем называть ее FS ′ {\ displaystyle {\ mathcal {FS '}}}{\mathcal {FS'}}), алфавит α которого состоит только из трех символов {◼, ★, ⧫} {\ displaystyle \ {\ blacksquare, \ bigstar, \ blacklozenge \}}{\ displaystyle \ {\ blacksquare, \ bigstar, \ blacklozenge \}} и чье правило формирования формул:

'Любая строка символов FS ′ {\ displaystyle {\ mathcal {FS'}}}{\mathcal {FS'}}длиной не менее 6 символов и не бесконечно длинным является формулой FS ′ {\ displaystyle {\ mathcal {FS '}}}{\mathcal {FS'}}. Ничто иное не является формулой FS ′ {\ displaystyle {\ mathcal {FS '}}}{\mathcal {FS'}}.'

Единственная схема аксиомы из FS ′ {\ displaystyle {\ mathcal {FS '}}}{\mathcal {FS'}}это:

" ◼ ★ ∗ ⧫ ◼ ∗ {\ displaystyle \ blacksquare \ \ bigstar \ ast \ blacklozenge \ \ blacksquare \ ast}{\ displaystyle \ blacksquare \ \ bigstar \ ast \ blacklozenge \ \ blacksquare \ ast} "(где" ∗ {\ displaystyle \ ast}\ ast "- метасинтаксическая переменная, обозначающая конечную строку" ◼ {\ displaystyle \ blacksquare}\ blacksquare " s)

Формальное доказательство может быть построено следующим образом:

  1. ◼ ★ ◼ ⧫ ◼ ◼ {\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare}{\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare}
  2. ◼ ★ ◼ ◼ ⧫ ◼ ◼ ◼ {\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ blacksquare}{\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ blacksquare}
  3. ◼ ★ ◼ ◼ ◼ ⧫ ◼ ◼ {\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacksquare}{\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ b Отсутствует квадрат \ \ blacksquare}

В этом примере доказана теорема " ◼ ★ ◼ ◼ ◼ ⧫ ◼ ◼ ◼ ◼ {\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacksquare}{\ displaystyle \ blacksquare \ \ bigstar \ \ blacksquare \ \ blacksquare \ \ blacksquare \ \ blacklozenge \ \ blacksquare \ \ blacksquare \ \ b Отсутствует квадрат \ \ blacksquare} "можно интерпретировать как означающее" Один плюс три равно четырем ". Другая интерпретация - это читать в обратном порядке, как" Четыре минус три равны одному ".

Другие концепции интерпретации

Есть и другие варианты использования термина «интерпретация», которые обычно используются, которые не относятся к присвоению значений формальным языкам.

В теории моделей говорят, что структура A интерпретирует структуру B, если существует определенное подмножество D в A, а также определенные отношения и функции на D, такие, что B изоморфна структуре с областью определения D и эти функции и отношения. В некоторых случаях используется не область D, а скорее D по модулю отношения эквивалентности, определяемого в A. Для получения дополнительной информации см. Интерпретация (теория модели).

Теория T, как говорят, интерпретирует другую теорию S, если существует конечное расширение по определениям T ′ для T такое, что S содержится в T ′.

См. Также
Ссылки
Внешние ссылки
Последняя правка сделана 2021-05-24 05:04:38
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте