| Property |
Value |
| dbo:abstract
|
- En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. Comme le montrent les théorèmes d'incomplétude de Gödel, les théories du premier ordre qui sont récursivement axiomatisables et qui sont assez riches pour exprimer l'arithmétique ne peuvent pas être complètes. L'usage du mot complet dans théorie complète est à différencier de celui utilisé lorsque l'on dit qu'une logique est complète, ce qui exprime que tous les énoncés sémantiquement valides sont des théorèmes prouvables (pour une définition appropriée du sens de « sémantiquement valide »). Le théorème de complétude de Gödel utilise cette notion de complétude. Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le (en) :
* pour un ensemble , on a si et seulement si et ;
* pour un ensemble , on a si et seulement si ou . Les ensembles complets maximaux constituent un outil fondamental dans la théorie des modèles de la logique classique et de la logique modale. Leur existence dans un cas particulier est en général une conséquence immédiate du lemme de Zorn et est basée sur l'idée qu'une contradiction implique d'un nombre fini de prémisses.En logique modale, la collection des ensembles cohérents maximaux étendant une théorie T (fermée pour la règle d'inférence de nécessitation) peut être munie d'une structure de modèle de sémantique de Kripke de T, appelé le modèle canonique. (fr)
- En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. Comme le montrent les théorèmes d'incomplétude de Gödel, les théories du premier ordre qui sont récursivement axiomatisables et qui sont assez riches pour exprimer l'arithmétique ne peuvent pas être complètes. L'usage du mot complet dans théorie complète est à différencier de celui utilisé lorsque l'on dit qu'une logique est complète, ce qui exprime que tous les énoncés sémantiquement valides sont des théorèmes prouvables (pour une définition appropriée du sens de « sémantiquement valide »). Le théorème de complétude de Gödel utilise cette notion de complétude. Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le (en) :
* pour un ensemble , on a si et seulement si et ;
* pour un ensemble , on a si et seulement si ou . Les ensembles complets maximaux constituent un outil fondamental dans la théorie des modèles de la logique classique et de la logique modale. Leur existence dans un cas particulier est en général une conséquence immédiate du lemme de Zorn et est basée sur l'idée qu'une contradiction implique d'un nombre fini de prémisses.En logique modale, la collection des ensembles cohérents maximaux étendant une théorie T (fermée pour la règle d'inférence de nécessitation) peut être munie d'une structure de modèle de sémantique de Kripke de T, appelé le modèle canonique. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3584 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:fr
|
- T-schema (fr)
- dense linear order (fr)
- T-schema (fr)
- dense linear order (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Mendelson (fr)
- Mendelson (fr)
|
| prop-fr:numéroD'édition
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
|
- Elliott (fr)
- Elliott (fr)
|
| prop-fr:texte
|
- ordres linéaires denses (fr)
- schéma T (fr)
- ordres linéaires denses (fr)
- schéma T (fr)
|
| prop-fr:titre
|
- Introduction to Mathematical Logic (fr)
- Introduction to Mathematical Logic (fr)
|
| prop-fr:trad
|
- T-schema (fr)
- dense linear order (fr)
- T-schema (fr)
- dense linear order (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le (en) : (fr)
- En logique mathématique, une théorie complète est une théorie qui est équivalente à un ensemble maximal cohérent de propositions ; ceci signifie qu'elle est cohérente et que toute extension propre ne l'est plus. Pour des théories logiques qui contiennent la logique propositionnelle classique, ceci équivaut à la condition que pour toute proposition φ du langage de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. Les théories complètes sont fermées pour un certain nombre de propriétés qui modélisent le (en) : (fr)
|
| rdfs:label
|
- Théorie complète (fr)
- Повна теорія (uk)
- Théorie complète (fr)
- Повна теорія (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
