Validité
Page de redirection
Rediriger vers :
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.
Français
Validité loc. nominale. masc.
satisfiabilité loc. nominale. masc.
Anglais
validity
Satisfiability
Contributeurs: Jacques Barolet, wiki
