formule valide
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Formule bien formée qui prend la valeur « vrai » pour toute interprétation possible.
Notes :
La notion de tautologie est donc une notion sémantique. Le système classique de la logique des propositions est complet, ce qui signifie que toutes les tautologies sont des théorèmes.
Les formules bien formées valides sont habituellement appelées tautologies.
Une formule est valide si seulement et seulement si sa valeur est V selon toute interprétation.
Termes privilégiés :
- formule valide n. f.
- tautologie n. f.
- formule bien formée valide n. f.
- fbf valide n. f.
-
[tautologie] Du grec tautos, « le même » et logos, « discours ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- valid formula
- tautology