| Property |
Value |
| dbo:abstract
|
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Les symboles d'un langage formel ne doivent pas être des symboles de quoi que ce soit. Par exemple, il y a des qui ne se réfèrent pas à une idée, mais servent plutôt comme une forme de ponctuation dans le langage (par exemple, les parenthèses). Les symboles d'un langage formel doit être capable d'être spécifié sans aucune référence à une quelconque interprétation. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. Dans un système formel, un symbole peut être utilisé comme un token dans des opérations formelles. L'ensemble des symboles formels d'un langage formel fait référence a un alphabet (donc chaque symbole peut être désigné comme une «lettre») Un symbole formel utilisé dans la logique du premier ordre peut être une variable (membre d'un univers du discours), une constante, une fonction ou un prédicat. Les symboles formels sont généralement considérés comme des structures purement syntaxiques, en utilisant une grammaire formelle, bien que parfois ils peuvent être associés à une interprétation ou à un modèle (une sémantique formelle). (fr)
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Les symboles d'un langage formel ne doivent pas être des symboles de quoi que ce soit. Par exemple, il y a des qui ne se réfèrent pas à une idée, mais servent plutôt comme une forme de ponctuation dans le langage (par exemple, les parenthèses). Les symboles d'un langage formel doit être capable d'être spécifié sans aucune référence à une quelconque interprétation. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. Dans un système formel, un symbole peut être utilisé comme un token dans des opérations formelles. L'ensemble des symboles formels d'un langage formel fait référence a un alphabet (donc chaque symbole peut être désigné comme une «lettre») Un symbole formel utilisé dans la logique du premier ordre peut être une variable (membre d'un univers du discours), une constante, une fonction ou un prédicat. Les symboles formels sont généralement considérés comme des structures purement syntaxiques, en utilisant une grammaire formelle, bien que parfois ils peuvent être associés à une interprétation ou à un modèle (une sémantique formelle). (fr)
|
| dbo:isPartOf
| |
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3101 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. (fr)
- Un symbole logique est un concept fondamental en logique. Bien que le terme «symbole» d'usage courant se réfère à l'idée de symbolisé, ou aux marques sur un morceau de papier qui sont utilisés pour exprimer une idée; dans les langages formels étudiés en mathématiques et en logique, le terme «symbole» renvoie à la création d'illustration d'idée. Un symbole ou une chaîne de symboles peut comprendre une formule bien formée si elle est conforme aux du langage. (fr)
|
| rdfs:label
|
- Symbol (formal) (en)
- Symbole (logique) (fr)
- Symbool (informatica) (nl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |