| Property |
Value |
| dbo:abstract
|
- En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. (fr)
- En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12605 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteur
|
- Hinman, P. (fr)
- Hinman, P. (fr)
|
| prop-fr:fr
|
- conséquence sémantique (fr)
- système déductif (fr)
- conséquence sémantique (fr)
- système déductif (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:titre
|
- Fundamentals of Mathematical Logic (fr)
- Fundamentals of Mathematical Logic (fr)
|
| prop-fr:trad
|
- Deductive system (fr)
- Semantic_consequence#Semantic_consequence (fr)
- Deductive system (fr)
- Semantic_consequence#Semantic_consequence (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- A K Peters (fr)
- A K Peters (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. (fr)
- En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. (fr)
|
| rdfs:label
|
- Correctheid (logica) (nl)
- Correction (logique) (fr)
- Correttezza (logica matematica) (it)
- Korrektheit (Logik) (de)
- Soundness (en)
- Правильність (uk)
- 健全性 (ja)
- 可靠性定理 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |