Двойной турникет (символ)

Двойной турникет — в математической логике и информатике символ ${\displaystyle \models }$ называется «двойным турникетом», как и ${\displaystyle \vdash }$ (турникет) из-за их сходства с типичным турникетом. Он также упоминается как «модель» и часто читается как «является логическим следствием», «логически следует». Является

В TeX символ турникета ${\displaystyle \models }$ получается из команды \models. В Юникоде символ двойного турникета (\models) находится на кодовых позициях U+22A7 и U+22A8^[1]. Кодовая позиция U+22A7 называется «MODELS», позиция U+22A8 - «TRUE». На пишущей машинке турникет может состоять из вертикальной полосы (|) и знака равно (=).

Говорят, что формула логики предикатов ${\displaystyle A}$ логически влечет формулу логики предикатов ${\displaystyle B}$, если в любой интерпретации формула ${\displaystyle B}$ принимает значение истины при каждой совокупности значений свободных переменных (входящих в ${\displaystyle A}$ и ${\displaystyle B}$), при которых формула ${\displaystyle A}$ приняла значение истины. Иначе говорят, что ${\displaystyle B}$ является логическим следствием формулы ${\displaystyle A}$. В этом случае записываем ${\displaystyle A\models B}$ и читаем: " из ${\displaystyle A}$ логически следует ${\displaystyle B}$ " или " ${\displaystyle B}$ является логическим следствием из ${\displaystyle A}$ ". Отметим, что ${\displaystyle A\models B}$ является не формулой, но метаутверждением относительно формул ${\displaystyle A}$ и ${\displaystyle B}$ (логики предикатов)^[2].

• турникет (символ)
• Секвенция (теория доказательств)
• Исчисление секвенций
• Список логических символов
• Таблица математических символов