« Validité » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
(Redirection supprimée vers Satisfiabilité)
Balises : Redirection supprimée Éditeur visuel
Ligne 1 : Ligne 1 :
==en construction==
[[Catégorie:Vocabulaire]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:24pm]]
[[Catégorie:scotty]]


#REDIRECTION[[Satisfiabilité]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]


==Définition==
La '''[[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é.


==Définition==
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
La '''[[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.
--------------


==Français==
==Français==
Ligne 22 : Ligne 34 :
<small>
<small>


[https://www.24pm.com/117-definitions/487-validite   Source : 24pm Academy]
[https://www.24pm.com/117-definitions/487-validite Source : 24pm Academy]

Version du 29 mars 2020 à 13:58

en construction


Définition

La 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


Source : 24pm Academy

Contributeurs: Jacques Barolet, wiki