Turnstile (symbol) (original) (raw)
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".
| Property | Value | |
|---|---|---|
| dbo:abstract | 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, . Martin-Löf analiza el símbolo de la siguiente manera: "... [A] combinación de Urteilsstrich, la barra de ensayo [|], y del Inhaltsstrich, trazo de contenido, todos de Frege, vino a llamarse símbolo de afirmación.."[2] La notación de Frege para un juicio de algún contenido A 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 En TeX, el símbolo de trinquete se obtiene de la orden \vdash. En Unicode, el símbolo (⊢) se llama tacha derecha y está mapeado en el código U+22A2. Se puede emular en caracteres ASCII con barra vertical ( | ) y un guion (-). (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. C'est le philosophe allemand Gottlob Frege qui introduisit le symbole ⊢, dans son Idéographie (Begriffsschrift) de 1879 : le trait horizontal signifiant l’affirmation d’une proposition, le trait vertical l’affirmation de sa véracité, la déduction fut représentée comme la combinaison de ces deux notions. Le symbole fut repris par Whitehead et Russell dans leurs Principia mathematica (1910). (fr) 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) 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. Martin-Löf analisa o símbolo da seguinte forma: "...[A] combinação do Urteilsstrich, da barra de julgamento [ |
| dbo:wikiPageExternalLink | http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf | |
| dbo:wikiPageID | 7954712 (xsd:integer) | |
| dbo:wikiPageLength | 10216 (xsd:nonNegativeInteger) | |
| dbo:wikiPageRevisionID | 1121791590 (xsd:integer) | |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Casio dbr:Propositional_calculus dbr:Metalogic dbr:Typed_lambda_calculus dbr:Belgium dbr:Binary_relation dbr:Decimal_separator dbc:Logical_consequence dbr:List_of_mathematical_symbols dbr:Per_Martin-Löf dbr:Remainder dbr:Unicode dbr:Vertical_bar dbr:Ͱ dbr:⎬ dbr:꜔ dbr:Interpretation_(logic) dbr:List_of_logic_symbols dbr:ㅏ dbc:Logic_symbols dbc:Mathematical_symbols dbc:Proof_theory dbr:Mathematical_logic dbr:Quotient dbr:Epistemology dbr:Modified_HP_Roman-8 dbr:Modulo_operation dbr:Theorem dbr:MIT_Press dbr:Combinatorics dbr:Computer_science dbr:Empty_set dbr:Functor dbr:Syntax_(logic) dbr:Adjoint_functors dbr:HP-41CV dbr:HP-41CX dbr:APL_(programming_language) dbr:Dash dbr:FOCAL_character_set dbr:Partition_(number_theory) dbr:Formal_language dbr:Formal_proof dbr:Formal_system dbr:Judgment_(mathematical_logic) dbr:Typewriter dbr:Logical_consequence dbr:Proof_theory dbr:HP-41C dbr:HP-42S dbr:HP_Roman-8 dbr:Hewlett-Packard dbr:TeX dbc:Deductive_reasoning dbc:Mathematical_logic dbr:LaTeX dbr:Theory_(mathematical_logic) dbr:Double_turnstile dbr:Axiom dbr:Category_theory dbr:Sequent_calculus dbr:Rule_of_inference dbr:Sequent dbr:Turnstile dbr:Valuation_(logic) dbr:Nordic_Journal_of_Philosophical_Logic dbr:├ dbr:Ⱶ | |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:Cite_book dbt:Cite_journal dbt:Distinguish dbt:Mono dbt:Mvar dbt:Reflist dbt:Short_description dbt:Unichar dbt:Common_logical_symbols | |
| dct:subject | dbc:Logical_consequence dbc:Logic_symbols dbc:Mathematical_symbols dbc:Proof_theory dbc:Deductive_reasoning dbc:Mathematical_logic | |
| rdf:type | owl:Thing yago:WikicatLogicSymbols yago:WikicatMathematicalSymbols yago:Abstraction100002137 yago:Character106818970 yago:Communication100033020 yago:MathematicalSymbol106840047 yago:WrittenSymbol106817623 yago:Signal106791372 yago:Symbol106806469 | |
| 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) | |
| rdfs:label | Trinquete (símbolo) (es) Taquet (symbole) (fr) Catraca (símbolo) (pt) Turnstile (symbol) (en) Турникет (символ) (ru) | |
| owl:differentFrom | dbr:ㅏ dbr:ト dbr:卜 | |
| owl:sameAs | freebase:Turnstile (symbol) yago-res:Turnstile (symbol) wikidata:Turnstile (symbol) dbpedia-es:Turnstile (symbol) dbpedia-fr:Turnstile (symbol) dbpedia-pt:Turnstile (symbol) dbpedia-ru:Turnstile (symbol) https://global.dbpedia.org/id/4wHkQ | |
| prov:wasDerivedFrom | wikipedia-en:Turnstile_(symbol)?oldid=1121791590&ns=0 | |
| foaf:isPrimaryTopicOf | wikipedia-en:Turnstile_(symbol) | |
| is dbo:wikiPageDisambiguates of | dbr:Turnstile_(disambiguation) | |
| is dbo:wikiPageRedirects of | dbr:⊢ dbr:⟚ dbr:Left_tack dbr:Right_tack dbr:⊦ dbr:Turnstile_(mathematical_logic) dbr:Turnstile_symbol dbr:Vdash | |
| is dbo:wikiPageWikiLink of | dbr:Begriffsschrift dbr:Propositional_calculus dbr:Saul_Kripke dbr:List_of_mathematical_symbols_by_subject dbr:⊢ dbr:⟚ dbr:List_of_logic_symbols dbr:Structural_proof_theory dbr:ㅏ dbr:Structural_rule dbr:Left_tack dbr:Linear_logic dbr:Computable_topology dbr:Right_tack dbr:Type_theory dbr:Laws_of_Form dbr:Logical_quality dbr:Bar_induction dbr:Logical_consequence dbr:Natural_deduction dbr:Logical_framework dbr:Universal_generalization dbr:Relation_algebra dbr:Heta dbr:Tee_(symbol) dbr:Double_turnstile dbr:Sequent_calculus dbr:Sequent dbr:Turnstile dbr:Turnstile_(disambiguation) dbr:⊦ dbr:Substructural_logic dbr:Turnstile_(mathematical_logic) dbr:Turnstile_symbol dbr:Vdash | |
| is foaf:primaryTopic of | wikipedia-en:Turnstile_(symbol) |