well-formed formula

(redirected from Wff)
Also found in: Dictionary, Acronyms, Wikipedia.

well-formed formula

[′wel ¦fȯrmd ‚for·myə·lə]
(mathematics)
A finite sequence or string of symbols that is grammatically or syntactically correct for a given set of grammatical or syntactical rules.
Mentioned in ?
References in periodicals archive ?
The genesis of the Leadership Development Workshops came from a listening tour we conducted last year," said Hattie Hill, WFF president and CEO.
Although there is less research on facilitation than conflict, research evidence indicates that WFF and FWF are two distinct constructs (e.
During operations, movement WFF is responsible for employment of forces.
I challenge each of you to use the Sustain WfF to share what you know.
He is vocal about his oppositional political beliefs, and thus my exploration of his organizational concept for the WFF opens a window into how political activism has acted as a stimulus for the development of Western Canadian folk music festivals (Greenhill 2003).
Joining forces with WFF will continue to strengthen our market presence, particularly on the West Coast, where we will gain new customers, new products and an expanded sales force that will support our business growth as a middle-market leader in the flavor and fragrance industry.
It was there I was spotted by the president of the WFF and asked to compete in Germany a week later," says Victoria.
Exercises start with a given set of premises, that is, a set of well-formed formulae (wff) of propositional logic, and exactly one wff, the conclusion.
Last May, the JMCC was graduated from the Wholesale Funding Facility, having demonstrated 12 consecutive months of financial and operational sustainability and six consecutive months of independence from WFF guarantees.
WFF chairman Robert Duggan said: "As a result of our efforts, playing fields now enjoy a much greater degree of protection from being lost to development.
WFF has set a global target of implementing 20 forest-landscape restoration projects in some of the world's most deforested or threatened regions, like Madagascar, Malaysia, Laos, and Bulgaria.
Mike, at 48, is twice as old as many of the 300 fellow competitors he beat for the WFF Masters title at Nordheim in Germany.