| 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 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- Schmidt (es)
- Frege (es)
- Iverson (es)
- Martin-Löf (es)
- Schwichtenberg (es)
- Troelstra (es)
- Schmidt (es)
- Frege (es)
- Iverson (es)
- Martin-Löf (es)
- Schwichtenberg (es)
- Troelstra (es)
|
| prop-es:año
|
- 1879 (xsd:integer)
- 1987 (xsd:integer)
- 1994 (xsd:integer)
- 1996 (xsd:integer)
- 2000 (xsd:integer)
|
| prop-es:edición
| |
| prop-es:editorial
| |
| prop-es:enlaceAutor
|
- Gottlob Frege (es)
- A. S. Troelstra (es)
- David A. Schmidt (es)
- H. Schwichtenberg (es)
- Per Martin-Löf (es)
- Gottlob Frege (es)
- A. S. Troelstra (es)
- David A. Schmidt (es)
- H. Schwichtenberg (es)
- Per Martin-Löf (es)
|
| prop-es:enlaceautor
|
- Kenneth E. Iverson (es)
- Kenneth E. Iverson (es)
|
| prop-es:idioma
| |
| prop-es:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-es:issue
| |
| prop-es:nombre
|
- Kenneth (es)
- David (es)
- H. (es)
- A. S. (es)
- Per (es)
- Gottlob (es)
- Kenneth (es)
- David (es)
- H. (es)
- A. S. (es)
- Per (es)
- Gottlob (es)
|
| prop-es:publicación
| |
| prop-es:páginas
| |
| prop-es:ref
| |
| prop-es:título
|
- A Dictionary of APL (es)
- Basic Proof Theory (es)
- The Structure of Typed Programming Languages (es)
- On the meanings of the logical constants and the justifications of the logical laws (es)
- Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (es)
- A Dictionary of APL (es)
- Basic Proof Theory (es)
- The Structure of Typed Programming Languages (es)
- On the meanings of the logical constants and the justifications of the logical laws (es)
- Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (es)
|
| prop-es:url
| |
| prop-es:volumen
| |
| dct:subject
| |
| rdfs:comment
|
- 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 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)
|
| rdfs:label
|
- Trinquete (símbolo) (es)
- Trinquete (símbolo) (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
