double turnstile

名词 n.
中文释义

英文释义

名词 n.
  1. 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
0 次浏览 数据来源: Wiktionary