| Attributes | Values |
|---|
| rdfs:label
| - Théorie complète (fr)
- Повна теорія (uk)
|
| 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)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:année
| |
| prop-fr:fr
| - T-schema (fr)
- dense linear order (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
| |
| prop-fr:texte
| - ordres linéaires denses (fr)
- schéma T (fr)
|
| prop-fr:titre
| - Introduction to Mathematical Logic (fr)
|
| prop-fr:trad
| - T-schema (fr)
- dense linear order (fr)
|
| prop-fr:éditeur
| |
| prop-fr:numéroD'édition
| |
| foaf:isPrimaryTopicOf
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)