Formule Bien Formée
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une expression syntaxiquement valide d'une langue formelle construite à partir de formules atomiques et de connecteurs logiques selon les règles de formation de cette langue ; souvent abrégée en WFF.