⊨
See also: ⊭ and ㅑ
|
|
Translingual
Symbol
⊨
- (mathematics, logic) models, satisfies
- (mathematics, logic) semantic consequence
- if and only if
Antonyms
- ⊭
See also
- ⊢
单词 | ⊨ | ||||||||||||||||||
释义 | ⊨See also: ⊭ and ㅑ
|
||||||||||||||||||
随便看 |
国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。