Misplaced Pages

Well-formed formula: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 19:42, 16 December 2003 editCharles Matthews (talk | contribs)Autopatrolled, Administrators360,258 edits link!← Previous edit Revision as of 05:52, 17 December 2003 edit undo216.67.203.105 (talk) Less opinionatedNext edit →
Line 1: Line 1:
In ], '''WFF''' stands for '''well-formed formula'''. That is, given a ] to produce strings, the assertion 'string ''S'' is a WFF' means just that it really is produced by the grammar. In ], '''WFF''' is an abbreviation for '''well-formed formula'''. That is, given a ] to produce strings, the assertion 'string ''S'' is a WFF' only means that it really is produced by the ].


In mathematics, a WFF is often the basis of a proof - which leads to one of the most esoteric puns ever used in the name of a product: "WFF 'n Proof: The Game of Modern Logic" by Layman Allen, a professor at the ]. The board game is designed to teach the principles of symbolic logic to children, (in ]!) and its name is a pun on ''whiffenpoof'', a nonsense word used as a cheer at ] made popular in ''The Whiffenpoof Song''. In ], a WFF is often the basis of a ], which leads to one of the most notoriously esoteric puns ever used in the name of a product: "WFF 'n Proof: The Game of Modern Logic," by Layman Allen, a professor at the ]. The board game is designed to teach the principles of symbolic logic to children (in ]), and its name is a pun on ''whiffenpoof'', a nonsense word used as a ] at ] made popular in ''The Whiffenpoof Song''.

==External links==
*

Revision as of 05:52, 17 December 2003

In logic, WFF is an abbreviation for well-formed formula. That is, given a formal grammar to produce strings, the assertion 'string S is a WFF' only means that it really is produced by the grammar.

In mathematics, a WFF is often the basis of a proof, which leads to one of the most notoriously esoteric puns ever used in the name of a product: "WFF 'n Proof: The Game of Modern Logic," by Layman Allen, a professor at the University of Michigan. The board game is designed to teach the principles of symbolic logic to children (in Polish notation), and its name is a pun on whiffenpoof, a nonsense word used as a cheer at Yale University made popular in The Whiffenpoof Song.

External links