| Property |
Value |
| dbo:abstract
|
- La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien un axiome ou bien une formule dérivée des axiomes avec un nombre fini d'applications des règles de déduction. Cette présentation, purement syntaxique, est équivalente à la présentation sémantique de la théorie des modèles, qui permet de définir une loi logique comme une formule vraie dans tous les mondes possibles. Cette équivalence fait l'objet d'un . (fr)
- La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien un axiome ou bien une formule dérivée des axiomes avec un nombre fini d'applications des règles de déduction. Cette présentation, purement syntaxique, est équivalente à la présentation sémantique de la théorie des modèles, qui permet de définir une loi logique comme une formule vraie dans tous les mondes possibles. Cette équivalence fait l'objet d'un . (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2986 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien un axiome ou bien une formule dérivée des axiomes avec un nombre fini d'applications des règles de déduction. Cette présentation, purement syntaxique, est équivalente à la présentation sémantique de la théorie des modèles, qui permet de définir une loi logique comme une formule vraie dans tous les mondes possibles. Cette équivalence fait l'objet d'un . (fr)
- La méthode axiomatique permet de définir l'ensemble des lois logiques du premier ordre à partir d'axiomes logiques et de règles de déduction de telle façon que toutes les lois logiques soient ou bien un axiome ou bien une formule dérivée des axiomes avec un nombre fini d'applications des règles de déduction. Cette présentation, purement syntaxique, est équivalente à la présentation sémantique de la théorie des modèles, qui permet de définir une loi logique comme une formule vraie dans tous les mondes possibles. Cette équivalence fait l'objet d'un . (fr)
|
| rdfs:label
|
- Axiome logique (fr)
- Axiome logique (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
