⊨
⊨(ダブル・ターンスタイル、 double turnstile)
論理学方面でよく使われる
含意
論理的帰結
TeXの場合、
\vDash
で出る(
$ \vDash
)
確認用
Q. ⊨とは
関連
⊢
完全性定理
健全性定理
調査用
Google.icon
⊨(日)
Google.icon
⊨(英)
Wikipedia.icon
⊨ - Wikipedia(日)
⊨(検索) - Wikipedia(日)
Wikipedia.icon
⊨ - Wikipedia(英)
⊨(検索) - Wikipedia(英)