formule bien formée équivalente
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Formule bien formée dont les valeurs de vérité sont les mêmes que celles d'une autre formule bien formée dans toute interprétation.
Termes privilégiés :
- formule bien formée équivalente n. f.
- fbf équivalente n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- equivalent well-formed formula