Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 Abbreviation of wellformed formula.
Etymologies
Sorry, no etymologies found.
Examples

Now ai nedz dat bannilla wff hawrd shell chawklitt.
Soff Serve!  Lolcats 'n' Funny Pictures of Cats  I Can Has Cheezburger?

This implies that any wff coded in Polish notation has only one translation into the standard symbolism.

It is past noon in TTI so I imagine a beverij wff a lill kick wood nawt be owt of order an beleeve me I knows about whats owt of order.
Talk to da hand…  Lolcats 'n' Funny Pictures of Cats  I Can Has Cheezburger?

No beeg bandages, jus dis leedle pinkringythingy wff a bit of cleer furts ayde taype holding it in playze.
I haz can cheezburger  Lolcats 'n' Funny Pictures of Cats  I Can Has Cheezburger?

The set of intersection types (denoted by wff) is defined as follows.

Thus, on this instruction, the wff p ¨ q is the disjunction of

By contrast, the wff p ¨ q ¨ r, far from being ambiguous as between (p ¨ q) ¨

It's always seemed to me that this philosophical chesnut isn't a wff.

There is an easy rule of thumb with formulÃ¦ that are in primitive notation, for one can just ask oneself whether the formula could become a wff of type theory by adding type indices.

After all, this wff merely expresses one half of the equivalence between what would have been definiens and definiendum had we chosen the alternate scheme of definition in which
vanishedone commented on the word wff
'Wellformed formula', which means it makes sense to a logician.
May 8, 2008