« Formule bien formée » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| Ligne 13 : | Ligne 13 : | ||
'''WFF''' | '''WFF''' | ||
Dernière version du 29 janvier 2024 à 12:19
Définition
Expression ou énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.
Français
formule bien formée
FBF
formule correcte
Anglais
well-formed formula
WFF
Sources
Contributeurs: Isaline Hodecent, wiki
