Double turnstile
In logic, the symbol ⊨, or is called the double turnstile.It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". It is closely related to the turnstile symbol , which has a single bar across the middle.
Double turnstile
In logic, the symbol ⊨, or is called the double turnstile.It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". It is closely related to the turnstile symbol , which has a single bar across the middle.
has abstract
En lógica, el símbolo ⊨, o se ...... te. En Unicode está mapeado en
@es
In logic, the symbol ⊨, or is ...... single bar across the middle.
@en
Na lógica, o símbolo ⊨, or é c ...... U+22A8 ⊨ true (HTML: ⊨)
@pt
Wikipage page ID
25,438,007
Wikipage revision ID
740,975,042
comment
En lógica, el símbolo ⊨, o se ...... te. En Unicode está mapeado en
@es
In logic, the symbol ⊨, or is ...... single bar across the middle.
@en
Na lógica, o símbolo ⊨, or é c ...... U+22A8 ⊨ true (HTML: ⊨)
@pt
label
Doble trinquete
@es
Double turnstile
@en
Dupla catraca
@pt