⊨
From Wiktionary, the free dictionary
(Redirected from
⊧
)
Jump to navigation
Jump to search
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 categories:
Pages with entries
Pages with 1 entry
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Entry
Discussion
English
Views
Read
Edit
History
More
Search
Navigation
Main Page
Community portal
Requested entries
Recent changes
Random entry
Help
Glossary
Donations
Contact us
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Cite this page
Get shortened URL
Download QR code
Print/export
Create a book
Download as PDF
Printable version
In other projects
In other languages
Magyar
ဘာသာမန်
Српски / srpski