Formule bien fondée
- 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 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 fondée de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Benetton (Formule 1) — Benetton Formula Pour l’article homonyme, voir Benetton. Logo de l écurie Benetton Formula 1 était une écurie de Formule 1 fondée par Luciano Benetton à la suite du rachat de l écurie anglaise Tol … Wikipédia en Français
Benetton (formule 1) — Benetton Formula Pour l’article homonyme, voir Benetton. Logo de l écurie Benetton Formula 1 était une écurie de Formule 1 fondée par Luciano Benetton à la suite du rachat de l écurie anglaise Tol … Wikipédia en Français
LEC (Formule 1) — LEC était une modeste écurie de Formule 1 fondée par David Purley, patron pilote qui a disputé 3 GP en 1977. LEC n a jamais inscrit de point en championnat du monde. La meilleure qualification d une LEC est une 19e place au Grand Prix de France… … Wikipédia en Français
Lec (formule 1) — LEC était une modeste écurie de Formule 1 fondée par David Purley, patron pilote qui a disputé 3 GP en 1977. LEC n a jamais inscrit de point en championnat du monde. La meilleure qualification d une LEC est une 19e place au Grand Prix de France… … Wikipédia en Français
Lancia (Formule 1) — Scuderia Lancia La Scuderia Lancia, qui deviendra plus tard la Squadra Corse HF Lancia est l atelier de course de l entreprise automobile Lancia e Cia, créé en 1952 par Gianni Lancia, fils du fondateur de la marque. La Scuderia Lancia débute… … Wikipédia en Français
Histoire De La Formule 1 — Alberto Ascari sur Maserati 4CLT/48 à Silverstone en 1949 L histoire de la Formule 1 trouve son origine dans les courses automobiles disputées en Europe dans les années 1920 et 1930. Elle commence réellement en 1946 avec l … Wikipédia en Français
Histoire de la Formule 1 — L histoire de la Formule 1 trouve son origine dans les courses automobiles disputées en Europe dans les années 1920 et 1930. Elle commence réellement en 1946 avec l uniformisation des règles voulue par la Commission sportive internationale de la… … Wikipédia en Français
Histoire de la formule 1 — Alberto Ascari sur Maserati 4CLT/48 à Silverstone en 1949 L histoire de la Formule 1 trouve son origine dans les courses automobiles disputées en Europe dans les années 1920 et 1930. Elle commence réellement en 1946 avec l … Wikipédia en Français
Tyrell (Formule 1) — Tyrrell Racing La 003, modèle avec lequel Jackie Stewart remporta le championnat du monde de Formule 1 en 1971 Tyrrell Racing (ou Tyrrell Racing Organisation) est une ancienne écurie de sport automobile, fondée en 1960. Présente en Formule 1 de… … Wikipédia en Français
Tyrrell (Formule 1) — Tyrrell Racing La 003, modèle avec lequel Jackie Stewart remporta le championnat du monde de Formule 1 en 1971 Tyrrell Racing (ou Tyrrell Racing Organisation) est une ancienne écurie de sport automobile, fondée en 1960. Présente en Formule 1 de… … Wikipédia en Français
