Двойной турникет — в математической логике и информатике символ называется «двойным турникетом», как и (турникет) из-за их сходства с типичным турникетом. Он также упоминается как «модель» и часто читается как «является логическим следствием», «логически следует». Является
В TeX символ турникета получается из команды \models. В Юникоде символ двойного турникета (\models) находится на кодовых позициях U+22A7 и U+22A8. Кодовая позиция U+22A7 называется «MODELS», позиция U+22A8 - «TRUE». На пишущей машинке турникет может состоять из вертикальной полосы (|) и знака равно (=).
Смысл Говорят, что формула логики предикатов логически влечет формулу логики предикатов , если в любой интерпретации формула принимает значение истины при каждой совокупности значений свободных переменных (входящих в и ), при которых формула приняла значение истины. Иначе говорят, что является логическим следствием формулы . В этом случае записываем и читаем: " из логически следует " или " является логическим следствием из ". Отметим, что является не формулой, но метаутверждением относительно формул и (логики предикатов).
См. также Турникет (символ) Секвенция (теория доказательств) Исчисление секвенций Список логических символов Таблица математических символов
Примечания
Категория:Математическая логика Категория:Логические символы Категория:Дедуктивные рассуждения Категория:Теория доказательств Категория:Логическое следствие