| dbo:abstract
|
- In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true. In checking a logical inference for formal and material validity, the meaning of only its logical vocabulary and of both its logical and extra-logical vocabularyis considered, respectively. (en)
- Em lógica, a inferência é o processo de derivação lógica de conclusões a partir de premissas conhecidas ou que se supõem serem a verdade. Na verificação de uma inferência lógica para validade formal e material, o significado apenas do seu vocabulário lógico e de ambos os vocabulários lógicos e extra lógicos considerados, respectivamente. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5730 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:date
| |
| dbp:reason
|
- The distinction between logical and extra-logical vocabulary should be explained. In a first approach, a notion is called 'logical' if it applies to sentences only. E.g. the connective 'x and y' joins two sentences x, y and hence is logical vocabulary, while 'x is human' applies to a real-world object x and hence is extra-logical. However, a quantifier like 'each x satisfies y' is usually considered as logical vocabulary although it applies to a real-world object x and a sentence y. (en)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true. In checking a logical inference for formal and material validity, the meaning of only its logical vocabulary and of both its logical and extra-logical vocabularyis considered, respectively. (en)
- Em lógica, a inferência é o processo de derivação lógica de conclusões a partir de premissas conhecidas ou que se supõem serem a verdade. Na verificação de uma inferência lógica para validade formal e material, o significado apenas do seu vocabulário lógico e de ambos os vocabulários lógicos e extra lógicos considerados, respectivamente. (pt)
|
| rdfs:label
|
- Material inference (en)
- Inferência material (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is owl:differentFrom
of | |
| is foaf:primaryTopic
of | |
