(Redirected from )

TranslingualEdit

SymbolEdit

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

AntonymsEdit

See alsoEdit