About: Turnstile (symbol)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Turnstile (symbol) Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Symbol106806469, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FTurnstile_%28symbol%29

In mathematical logic and computer science the symbol has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails".

Attributes	Values
rdf:type	Thing yago:WikicatLogicSymbols yago:WikicatMathematicalSymbols yago:Abstraction100002137 yago:Character106818970 yago:Communication100033020 yago:MathematicalSymbol106840047 yago:WrittenSymbol106817623 yago:Signal106791372 yago:Symbol106806469
rdfs:label	Trinquete (símbolo) (es) Taquet (symbole) (fr) Catraca (símbolo) (pt) Turnstile (symbol) (en) Турникет (символ) (ru)
rdfs:comment	In mathematical logic and computer science the symbol has taken the name turnstile because of its resemblance to a typical turnstile if viewed from above. It is also referred to as tee and is often read as "yields", "proves", "satisfies" or "entails". (en) En lógica matemática y ciencias de la computación, el símbolo se llama trinquete, por su semejanza con un trinquete o molinillo observado desde arriba. Se puede leer como "es lo que causa", "deduce que", "acarrea en" o "satisfecho" (siendo este el más común). El símbolo fue utilizado por primera vez por Gottlob Frege en su libro sobre la lógica en 1879, . se puede leer como:Yo se que es verdad". En la misma línea de razonamiento: Se puede leer de las siguientes maneras: * A partir de , yo sé que * es lo que causa * es demostrable a partir de (es) En logique mathématique et en informatique le symbole taquet, « ⊢ », désigné ainsi en raison de sa ressemblance au système de blocage des voiles sur un bateau, représente la déduction logique. La formule « x ⊢ y » signifie « y est déductible de x », c'est-à-dire que y est prouvable à partir de x. On peut aussi employer le taquet comme un opérateur unaire : peut être lu comme : Je sais que A est vrai. (fr) Na lógica matemática e ciência da computação, o símbolo recebe o nome de catraca, pela sua semelhança a uma catraca observada de cima. Pode ser lido como "é o que causa", "deduz que", "acarreta em" ou "satisfaz" (sendo este o mais usual). O símbolo foi usado pela primeira vez por Gottlob Frege no seu livro sobre lógica em 1879, Begriffsschrift. pode ser lida como:Eu sei que é verdade". Na mesma linha de raciocínio: Pode ser lida das seguintes formas: * A partir de , eu sei que * é o que causa * é demonstrável a partir de (pt) Турникет — в математической логике и информатике символ называется «турникетом» из-за его сходства с типичным турникетом, если смотреть сверху. Он также упоминается как «тройник» и часто читается как «даёт», «доказывает», «удовлетворяет» или «влечёт за собой». (ru)
differentFrom	ㅏ ト卜
dcterms:subject	Logical consequence Logic symbols Mathematical symbols Proof theory Deductive reasoning Mathematical logic
Wikipage page ID	7954712 (xsd:integer)
Wikipage revision ID	1121791590 (xsd:integer)
Link from a Wikipage to another Wikipage	Cambridge University Press Casio Propositional calculus Metalogic Typed lambda calculus Belgium Binary relation Decimal separator Logical consequence List of mathematical symbols Per Martin-Löf Remainder UTF-8 Vertical bar Ͱ ⎬ ꜔ Interpretation (logic) List of logic symbols ㅏ Logic symbols Mathematical symbols Proof theory Mathematical logic Quotient Epistemology Modified HP Roman-8 Modulo operation Theorem MIT Press Combinatorics Computer science Empty set Functor Syntax (logic) Adjoint functors HP-41CV HP-41CX APL (programming language) Em dash FOCAL character set Partition (number theory) Formal language Formal proof Formal system Judgment (mathematical logic) Typing Logical consequence Proof theory HP-41C HP-42S HP Roman-8 HP TeX Deductive reasoning Mathematical logic LaTeX Theory (mathematical logic) Double turnstile Axiom Category theory Sequent calculus Rule of inference Sequents Turnstile Valuation (logic) dbr:Nordic_Journal_of_Philosophical_Logic ├ Ⱶ

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software