Definition from Wiktionary, the free dictionary
(Redirected from )
Jump to navigation Jump to search
See also: and
U+22A8, ⊨
(LaTeX: \models)
TRUE

[U+22A7]
Mathematical Operators
[U+22A9]
U+22A7, ⊧
MODELS

[U+22A6]
Mathematical Operators
[U+22A8]

Translingual[edit]

Symbol[edit]

  1. (mathematics, logic) models, satisfies
  2. (mathematics, logic) semantic consequence
    if and only if

Antonyms[edit]

See also[edit]