« Validité » : différence entre les versions

Dernière version du 28 janvier 2024 à 13:53

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 une des interprétations rend un des axiomes de la théorie faux.

Voir satisfiabilité.

Français

validité

Anglais

validity

Sources

Source : 24pm Academy, Validité.

@@ Ligne 1 : / Ligne 1 : @@
-#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.
+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 une des interprétations rend un des axiomes de la théorie faux.
-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.
+Voir '''[[satisfiabilité]]'''.
-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é'''    <small>loc. nominale. masc. </small>
+'''validité'''
-'''satisfiabilité'''  <small>loc. nominale. masc. </small>
 ==Anglais==
 '''validity'''
-'''Satisfiability'''
+==Sources==
+[https://www.24pm.com/117-definitions/487-validite Source : 24pm Academy, ''Validité''.]
-<small>
+[[Catégorie:Intelligence artificielle]]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
-[https://www.24pm.com/117-definitions/487-validite   Source : 24pm Academy]

« Validité » : différence entre les versions