Last Updated：2025/11/28
(logic, model theory) The ⊨ symbol used to denote semantic consequence, or the ⊨ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
double turnstile
Edit Histories（0）
Source Word
double turnstile
Noun
Japanese Meaning
論理学・モデル理論において、⊨記号が意味論的帰結（ある文や命題から論理的に必然的な結果が導かれること）を示すために使われる。 / 論理学・モデル理論において、⊨記号が左側のモデルが右側の文集合を満足する（モデルが与えられた文法・論理的性質を持つ）ことを示すために使われる。
（ plural ）
