Definify.com

Definition 2024

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

Mathematical Operators

⊧	U+22A7, ⊧ MODELS

Mathematical Operators

See also: ⊭ and ㅑ

⊨

(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$