dbo:abstract
|
- 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, and which denotes syntactic consequence (in contrast to semantic). (en)
- En lógica, el símbolo ⊨, o se denomina doble trinquete. Está relacionada al símbolo trinquete , el cual posee una sola barra cruzada en el medio. Puede ser leído como "consecuencia lógica" (trinquete en), "modelo de", "es consecuencia semántica de" o en inglés "is stronger than" (es más fuerte que). En TeX, los símbolos de trinquete y se obtienen mediante los comandos \vDash y \models respectivamente. En Unicode está mapeado en U+22A8 ⊨ TRUE (es)
- 논리학에서 기호 ⊨, , 는 이중 턴스틸(double turnstile)이라 불리는 기호이다. 그 외에도 이 기호는 , '모델이다'라고도 하며 이는 의미론적으로 다음 결과를 수반한다 또는 더 강한 조건이다(is stronger than)임을 의미한다. 이 기호는 중간에 가로선이 하나만 있는 기호와 관련이 있으며, 턴스틸이 "구문론"적 관점에서의 연관성을 드러내는 반면 이중 턴스틸은 "의미론적" 관점에서 연관성을 드러낸다. (ko)
- Na lógica, o símbolo ⊨, or é chamado de dupla catraca. Pode ser lido como "consequência lógica" (acarreta em), "modelo de", "é consequência semântica de " ou no inglês "is stronger than". Uma de suas relações com o símbolo catraca (o qual possui uma barra única atravessada no meio) é o teorema da completude. No TeX, os símbolos de catracas e são obtidos pelos comandos \vdash e \models respectivamente. No Unicode está mapeado em U+22A8 ⊨ true (HTML: ⊨) (pt)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3550 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- 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, and which denotes syntactic consequence (in contrast to semantic). (en)
- En lógica, el símbolo ⊨, o se denomina doble trinquete. Está relacionada al símbolo trinquete , el cual posee una sola barra cruzada en el medio. Puede ser leído como "consecuencia lógica" (trinquete en), "modelo de", "es consecuencia semántica de" o en inglés "is stronger than" (es más fuerte que). En TeX, los símbolos de trinquete y se obtienen mediante los comandos \vDash y \models respectivamente. En Unicode está mapeado en U+22A8 ⊨ TRUE (es)
- 논리학에서 기호 ⊨, , 는 이중 턴스틸(double turnstile)이라 불리는 기호이다. 그 외에도 이 기호는 , '모델이다'라고도 하며 이는 의미론적으로 다음 결과를 수반한다 또는 더 강한 조건이다(is stronger than)임을 의미한다. 이 기호는 중간에 가로선이 하나만 있는 기호와 관련이 있으며, 턴스틸이 "구문론"적 관점에서의 연관성을 드러내는 반면 이중 턴스틸은 "의미론적" 관점에서 연관성을 드러낸다. (ko)
- Na lógica, o símbolo ⊨, or é chamado de dupla catraca. Pode ser lido como "consequência lógica" (acarreta em), "modelo de", "é consequência semântica de " ou no inglês "is stronger than". Uma de suas relações com o símbolo catraca (o qual possui uma barra única atravessada no meio) é o teorema da completude. No TeX, os símbolos de catracas e são obtidos pelos comandos \vdash e \models respectivamente. No Unicode está mapeado em U+22A8 ⊨ true (HTML: ⊨) (pt)
|
rdfs:label
|
- Doble trinquete (es)
- Double turnstile (en)
- 이중 턴스틸 (ko)
- Dupla catraca (pt)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is rdfs:seeAlso
of | |
is foaf:primaryTopic
of | |