| dbo:description
|
- logica (nl)
- Struktur, die auf eine logische Formel bezogen wird (de)
- fonction donnant (habituellement) une valeur de vérité aux formules d'un système logique (fr)
- شیکردنەوەی مانای سیمبۆلەکانی زمانی شێوەیی (ckb)
- ukufaka umqondo ezimpawini zolimi oluhleliwe (zu)
- assegnamento di un significato ai simboli di una formula logica (it)
- asignación de significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal (es)
- 形式言語の記号に意味を与えること (ja)
- atribuição de significado para os símbolos de uma Linguagem formal (pt)
- assignment of meaning to the symbols of a formal language (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:author
| |
| dbp:date
|
- September 2015 (en)
- June 2022 (en)
|
| dbp:id
|
- Connective (en)
- First-OrderLogic (en)
- PropositionalCalculus (en)
- formallanguage (en)
- interpretation (en)
|
| dbp:reason
|
- This should probably refer to a particular axiomatization that the author has in mind. Tarski's axiomatization uses only a single sort, namely points. (en)
- Every chapter is written by a different author. (en)
- The article 'Truth-functional' gives a more restricted definition: the truth-value of a compound sentence should be a function of the truth-value of its sub-sentences. (en)
|
| dbp:title
|
- Interpretation (en)
- Connective (en)
- First Order Logic (en)
- Formal Language (en)
- Propositional Calculus (en)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:label
|
- Interpretation (logic) (en)
- ترجمة تفسيرية (علم المنطق) (ar)
- Interpretació (lògica) (ca)
- Interpretation (Logik) (de)
- Interpretación (lógica) (es)
- Interprétation (logique) (fr)
- Interpretazione (logica) (it)
- Interpretação (lógica) (pt)
- Interpretatie (logica) (nl)
- Інтерпретація (логіка) (uk)
- 解釋 (邏輯) (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is rdfs:seeAlso
of | |
| is owl:differentFrom
of | |
| is foaf:primaryTopic
of | |
