Definify.com

Definition 2024

⊨

⊨

⊨	U+22A8, ⊨ (LaTeX: `\models`) TRUE

← ⊧
[U+22A7]

Mathematical Operators

⊩ →
[U+22A9]

⊧	U+22A7, ⊧ MODELS

← ⊦
[U+22A6]

Mathematical Operators

⊨ →
[U+22A8]

See also: ⊭ and ㅑ

Translingual

Symbol

⊨

(mathematics, logic) models, satisfies
$\mathbf {V} _{\omega }\models {\mathsf {ZFC^{fin}}}$
(mathematics, logic) semantic consequence
$T\models \varphi$ if and only if $T\vdash \varphi$

Antonyms

⊭

See also

⊢