Formule Bien Formée
- Formule Bien Formée
-
Formule bien formée
En logique mathématique, le sigle anglais WFF (prononcé "wiff") est une abréviation pour well-formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette grammaire.
Par exemple, en calcul des propositions la séquence de symboles 
est une WFF car elle est grammaticalement correcte. La séquence de symboles 
n'est pas une WFF, car elle n'est pas conforme à la grammaire du calcul propositionnel.
En logique formelle, des preuves sont des séquences de WFFs avec certaines propriétés, et la WFF finale de la séquence est ce qui est prouvé. C'est la base pour un calembour ésotérique utilisé pour le nom d'un produit : "WFF 'n Proof: The Game of Modern Logic, " par Layman Allen, un professeur de l'Université du Michigan. Le jeu de société est conçu pour enseigner les principes de la logique symbolique aux enfants (en notation polonaise, et le nom est un calembour sur whiffenpoof, un mot insensé utilisé comme cri de ralliement à l'université de Yale et rendu populaire par The Whiffenpoof Song.
Voir aussi
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Formule Bien Formée de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Formule bien formee — Formule bien formée En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette … Wikipédia en Français
Formule bien formée — En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette grammaire. Par… … Wikipédia en Français
Formule bien fondée — Formule bien formée En logique mathématique, le sigle anglais WFF (prononcé wiff ) est une abréviation pour well formed formula, c.à.d en Français formule bien formée. Soit une grammaire formelle, un WFF est toute chaîne qui est générée par cette … Wikipédia en Français
Formule (Logique Mathématique) — Formule (mathématiques) Pour les articles homonymes, voir formule. En logique et en mathématiques, une formule est une suite finie d objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Sommaire 1… … Wikipédia en Français
Formule (logique mathematique) — Formule (mathématiques) Pour les articles homonymes, voir formule. En logique et en mathématiques, une formule est une suite finie d objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Sommaire 1… … Wikipédia en Français
Formule (logique mathématique) — Formule (mathématiques) Pour les articles homonymes, voir formule. En logique et en mathématiques, une formule est une suite finie d objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Sommaire 1… … Wikipédia en Français
Formule (mathématiques) — Pour les articles homonymes, voir formule. En logique et en mathématiques, une formule est une suite finie d objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Sommaire 1 Définition … Wikipédia en Français
formule — [ fɔrmyl ] n. f. • 1496; fourmulle 1372; lat. formula, dimin. de forma → forme I ♦ Forme déterminée que l on est tenu ou que l on est convenu de respecter pour exprimer une idée, énoncer une règle ou exposer un fait. 1 ♦ Dr. Modèle qui contient… … Encyclopédie Universelle
Déontique — Logique déontique La logique déontique (du grec déon, déontos : devoir, ce qu il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre alternatives d une loi : l obligation, l interdiction, la permission… … Wikipédia en Français
Logique Déontique — La logique déontique (du grec déon, déontos : devoir, ce qu il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre alternatives d une loi : l obligation, l interdiction, la permission et le facultatif.… … Wikipédia en Français
