From Wiktionary, the free dictionary
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]

Translingual

[edit]

Symbol

[edit]

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

Antonyms

[edit]

See also

[edit]