Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- initialism Abbreviation of
well-formed formula .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word wff.
Examples
-
Now ai nedz dat bannilla wff hawrd shell chawklitt.
Soff Serve! - Lolcats 'n' Funny Pictures of Cats - I Can Has Cheezburger? 2010
-
This implies that any wff coded in Polish notation has only one translation into the standard symbolism.
Lvov-Warsaw School Wole&324;ski, Jan 2009
-
No beeg bandages, jus dis leedle pink-ringy-thingy 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? 2008
-
The set of intersection types (denoted by wff) is defined as follows.
Combinatory Logic Bimbó, Katalin 2008
-
Thus, on this instruction, the wff p ¨ q is the disjunction of
Disjunction Jennings, Ray 2008
-
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? 2008
-
By contrast, the wff p ¨ q ¨ r, far from being ambiguous as between (p ¨ q) ¨
Disjunction Jennings, Ray 2008
-
It's always seemed to me that this philosophical chesnut isn't a wff.
Archive 2007-01-01 Adam Roberts Project 2007
-
It's always seemed to me that this philosophical chesnut isn't a wff.
Why is there something rather than nothing? Adam Roberts Project 2007
-
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.
Quine's New Foundations Forster, Thomas 2006
vanishedone commented on the word wff
'Well-formed formula', which means it makes sense to a logician.
May 8, 2008