| 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 [ | ], e do Inhaltsstrich, traço de conteúdo, todos de Frege, veio a ser chamado de símbolo de asserção."[2] A notação de Frege para um julgamento de algum conteúdo A 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 No TeX, o simbolo de catraca é obtido do comando \vdash. No Unicode, o simbolo (⊢) é chamado direita tacha e está mapeado no código U+22A2. pode ser reproduzida de forma semelhante com barra vertical (|) e um traço (–). (pt)
- Турникет — в математической логике и информатике символ называется «турникетом» из-за его сходства с типичным турникетом, если смотреть сверху. Он также упоминается как «тройник» и часто читается как «даёт», «доказывает», «удовлетворяет» или «влечёт за собой». В TeX символ турникета получается из команды \vdash. В Юникоде символ турникета (\vdash) называется «кнопка вправо» и находится на кодовой позиции U+22A2. Кодовая позиция U+22A6 называется «знак утверждения» (\vdash). На пишущей машинке турникет может состоять из вертикальной полосы (|) и тире (-). В LaTeX есть турникетный пакет, который выдаёт этот знак во многих случаях и способен помещать знаки ниже или выше него в нужных местах. (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)
|
