В логике , то символ ⊨, ⊧ или называется двойной турникет . Его часто читают как « влечет », « модели », «является семантическим следствием » или «сильнее, чем». [1] Он тесно связан с символом турникета , который имеет одну полосу посередине и обозначает синтаксические последствия (в отличие от семантических ).
Значение [ править ]
Двойной турникет - это бинарная связь. Он имеет несколько разных значений в разных контекстах:
- Чтобы показать семантическое следствие , с набором предложений слева и одним предложением справа, чтобы обозначить, что если каждое предложение слева истинно, то предложение справа должно быть истинным, например . Это использование тесно связано с символом турникета с одной решеткой, который обозначает синтаксические последствия .
- Чтобы показать удовлетворение , с моделью (или структурой истинности) слева и набором предложений справа, чтобы обозначить, что структура является моделью (или удовлетворяет) набору предложений, например .
- В этом контексте семантическое следствие в предыдущем списке может быть указано как «Для данной модели , если то ».
- Для обозначения тавтологии , . то есть выражение является семантическим следствием пустого множества.
Типография [ править ]
В TeX символы турникета и получаются из команд \ vDash и \ models соответственно. В Unicode кодируется как U + 22A8 ⊨ TRUE (HTML · ). ⊨ ⊨, ⊨
В LaTeX есть пакет турникета , который выдает этот знак разными способами, в том числе двойной турникет, и позволяет наклеивать ярлыки ниже или выше в нужных местах. Статья «Инструмент для логиков» представляет собой руководство по использованию этого пакета.
См. Также [ править ]
Ссылки [ править ]
- ^ Nederpelt, Rob (2004). «Глава 7: Усиление и ослабление». Логическое рассуждение: первый курс (3-е пересмотренное издание). Публикации Королевского колледжа. п. 62. ISBN 0-9543006-7-X.
