Двойной турникет — Википедия

Двойной турникет Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения.  Он тесно связан с символом […]

Двойной турникет

  • Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения. 
  • Он тесно связан с символом турникета с одной решеткой, обозначающим синтаксическое следствие. 
  • Двойной турникет имеет несколько значений в разных контекстах, включая семантическое следствие и тавтологию. 
  • В TeX и Юникоде символы турникета ⊨ и ⊨{\displaystyle \модели } получены из команд \vDash и \models соответственно. 
  • В LaTeX есть пакет turnstile, который выдает этот знак многими способами и способен размещать надписи под ним или над ним в нужных местах. 

Полный текст статьи:

Двойной турникет — Википедия

Оставьте комментарий

Прокрутить вверх