ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
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.
日本語の意味
論理学・モデル理論において、⊨記号が意味論的帰結（ある文や命題から論理的に必然的な結果が導かれること）を示すために使われる。 / 論理学・モデル理論において、⊨記号が左側のモデルが右側の文集合を満足する（モデルが与えられた文法・論理的性質を持つ）ことを示すために使われる。
英語の意味
(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 of double turnstile
原形:
double turnstile
日本語の意味
「double turnstile」（二重の回転扉やターンスタイル）の複数形。すなわち、2つ以上の二重ターンスタイルを指す表現です。
英語の意味
plural of double turnstile
