well-formed formula

For the New Zealand government policy, see Working for Families.In logic, WFF (pronounced "wiff") is an abbreviation for well-formed formula. Given a formal grammar, a WFF is any string that is generated by that grammar. To say that a string is a WFF with respect to a given formal grammar is equivalent to saying that belongs to the language generated by , i.e. .
See more at Wikipedia.org...

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.
Pour la suite, voir Wikipédia.org…

Nella logica matematica si chiama formula ben formata o - brevemente - fbf di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.Definizioni specifiche di formule ben formata vengono date nell'ambito della logica proposizionale e dei linguaggi del primo ordine.
Per saperne di più visita Wikipedia.org...

在逻辑中，WFF是合式公式(well-formed formula)的缩写。给定一个形式文法，WFF 是这个文法生成的任何字符串。例如，在命题演算中符号序列 是一个 WFF，因为它在文法上正确。符号序列 不是 WFF，因为它不符合命题演算的文法。在形式逻辑中，证明是有特定性质的 WFF 序列，而序列中最终的 WFF 就是要证明的。
访问 Wikipedia.org... 网页

goed-gestructureerde formule