formule bien formée
- Domaines
-
- philosophie théorie de la connaissance
- informatique langage de programmation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Énoncé construit exclusivement à l'aide de symboles appartenant à l'alphabet d'un langage formel et conforme à la syntaxe de ce langage.
Notes :
Les formules bien formées choisies initialement sont appelées axiomes. Les formules bien formées obtenues par application des règles d'inférence sont appelées théorèmes.
Le calcul propositionnel est basé sur l'étude des formules bien formées.
Termes privilégiés :
- formule bien formée n. f.
- FBF n. f.
- expression bien formée n. f.
- EBF n. f.
- formule correcte n. f.
-
Les abréviations FBF et EBF se rencontrent également écrites en minuscules, et les lettres qui les constituent peuvent être soudées ou séparées par des points ou des espaces.
Dans certains milieux, on préfère utiliser le terme expression bien formée, considéré comme moins ambigu que formule bien formée, puisque le premier ne réfère pas à un concept de concision que l'on trouve dans l'étymologie du mot formule.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
A well-formed formula may be any of the following : a single predicate or atom; an atom or a negated atom, called a literal; several WFFs connected by the operators AND (equivalence), NOT (negation), OR (disjunction), or IMPLIES (implication).
Termes :
- well-formed formula
- WFF
Plural : well-formed formulas; well-formed formulae.
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- fórmula ben formada n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- fórmula bien formada s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: representação do conhecimento por meio de Lógica.
Terme :
- fórmula bem-formada s. f.