| Revision as of 19:38, 16 December 2003 editDavidWBrooks (talk | contribs)Administrators41,021 edits add WFF n Proof game ...← Previous edit | Revision as of 19:42, 16 December 2003 edit undoCharles Matthews (talk | contribs)Autopatrolled, Administrators360,248 edits link!Next 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''' 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 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, and its name is a pun on ''whiffenpoof'', a nonsense word used as a cheer at ] made popular in ''The Whiffenpoof Song''. | 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''. | ||
Revision as of 19:42, 16 December 2003
In logic, WFF stands for well-formed formula. That is, given a formal grammar to produce strings, the assertion 'string S is a WFF' means just 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 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.