« Validité » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (9 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==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. | 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 | 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é]]'''. | Voir '''[[satisfiabilité]]'''. | ||
==Français== | ==Français== | ||
'''validité''' | '''validité''' | ||
==Anglais== | ==Anglais== | ||
'''validity''' | '''validity''' | ||
==Sources== | |||
[https://www.24pm.com/117-definitions/487-validite Source : 24pm Academy, ''Validité''.] | |||
[ | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 14: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
Contributeurs: Jacques Barolet, wiki
