Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
⊨
Language
Watch
Edit
See also:
⊭
and
ㅑ
⊨
U+22A8
,
⊨
TRUE
←
⊧
[U+22A7]
Mathematical Operators
⊩
→
[U+22A9]
⊧
U+22A7
,
⊧
MODELS
←
⊦
[U+22A6]
Mathematical Operators
⊨
→
[U+22A8]
Contents
1
Translingual
1.1
Symbol
1.1.1
Antonyms
1.1.2
See also
Translingual
edit
Symbol
edit
⊨
(
mathematics
,
logic
)
models
,
satisfies
V
ω
⊨
Z
F
C
f
i
n
{\displaystyle \mathbf {V} _{\omega }\models {\mathsf {ZFC^{fin}}}}
(
mathematics
,
logic
)
semantic consequence
T
⊨
φ
{\displaystyle T\models \varphi }
if and only if
T
⊢
φ
{\displaystyle T\vdash \varphi }
Antonyms
edit
⊭
See also
edit
⊢
Categories
:
Mathematical Operators block
Mathematical notation symbols
Translingual lemmas
Translingual symbols
mul:Mathematics
mul:Logic
Hidden category:
Pages with 1 entry