English Dictionary

double turnstile

名詞

(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.

日本語の意味

論理学・モデル理論において、⊨記号が意味論的帰結（ある文や命題から論理的に必然的な結果が導かれること）を示すために使われる。 / 論理学・モデル理論において、⊨記号が左側のモデルが右側の文集合を満足する（モデルが与えられた文法・論理的性質を持つ）ことを示すために使われる。

In model theory, we write M ⊨ φ and say that the double turnstile indicates that the model M satisfies the sentence φ.

モデル理論では、M ⊨ φ と書き、このセマンティック含意を示す記号（⊨）がモデル M が文 φ を満たすことを表すと言います。

意味（1）

(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.

double turnstiles （ plural ）