« Validité » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 3 : | Ligne 3 : | ||
[[Catégorie:24pm]] | [[Catégorie:24pm]] | ||
[[Catégorie:scotty]] | [[Catégorie:scotty]] | ||
Version du 29 mars 2020 à 14:11
Définition
En logique la validité est un des concepts élémentaires de sémantique. Une formule est valide si, pour toutes les interprétations, la formule est vraie. Le concept opposés est la non-validité, ainsi, une formule est non valide s'il existe une interprétation qui rend la formule fausse.
Ces deux concepts peuvent être appliqués aux théories : une théorie est valide si toutes les interprétations rendent chacun des axiomes de la théorie vrai, et la théorie est non valide si toutes les interprétations rendent chacun des axiomes de la théorie faux.
Voir satisfiabilité
et la validité sont des concepts élémentaires de la sémantique. Une formule est satisfiable s'il est possible de trouver une interprétation (modèle) qui la rend vraie. Une formule est valide si toutes les interprétations la rendent vraie.
Les contraires de ces concepts sont l’insatisfaisabilité et l’invalidité, c’est-à-dire qu’une formule est insatisfiable si aucune des interprétations ne rend la formule vraie et invalide si une telle interprétation rend la formule fausse. Ces quatre concepts sont liés les uns aux autres d'une manière exactement analogue à Aristote de la place de l’opposition.
Les quatre concepts peuvent être levés pour s’appliquer à des théories entières : une théorie est satisfiable (valide) si l’une (toutes) des interprétations donne la vérité à chacun des axiomes de la théorie, et une théorie est non satisfaisante (invalide) si toutes les interprétations rendent faux chacun des axiomes de la théorie.
Il est également possible de ne considérer que les interprétations qui rendent vrais tous les axiomes d’une seconde théorie.
Cette généralisation est communément appelée théorie de la satisfiabilité.
La question de savoir si une phrase dans la logique propositionnelle est satisfaisable est un problème décidable. En général, la question de savoir si les phrases de la logique du premier ordre sont satisfaisables n'est pas décisive. En algèbre universelle et en théorie équationnelle, les méthodes de réécriture de termes, de fermeture de congruence et d’unification servent à déterminer la satisfiabilité. Que la théorie articulaire soit décidable ou non dépend de son absence de variable ou d'autres conditions
Français
Validité loc. nominale. masc.
satisfiabilité loc. nominale. masc.
Anglais
validity
Satisfiability
Contributeurs: Jacques Barolet, wiki
