Formule bien formée

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

Source : TERMIUM Plus

Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary