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 14:38, 12 January 2005 editAndy (talk | contribs)Pending changes reviewers, Rollbackers2,831 editsmNo edit summary← Previous edit Revision as of 14:39, 12 January 2005 edit undoAndy (talk | contribs)Pending changes reviewers, Rollbackers2,831 editsmNo edit summaryNext edit →
Line 9: Line 9:
Incidentally, "Why is not a WFF." is the correct answer to the often talked about ] exam question "Why?" (as opposed to "Why not?"). Incidentally, "Why is not a WFF." is the correct answer to the often talked about ] exam question "Why?" (as opposed to "Why not?").


==External link== ==External links==
* - includes a short ] quiz. * - includes a short ] quiz.
* *

Revision as of 14:39, 12 January 2005

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.

For example, in propositional calculus the sequence of symbols ( ( α → β ) → ( ¬ β → ¬ α ) ) {\displaystyle ((\alpha \rightarrow \beta )\rightarrow (\neg \beta \rightarrow \neg \alpha ))} is a WFF because it is grammatically correct (in fact, it is a tautology). The sequence of symbols ( ( α → β ) → ( β β ) ) α ) ) {\displaystyle ((\alpha \rightarrow \beta )\rightarrow (\beta \beta ))\alpha ))} is not a WFF, because it does not conform to the grammar of propositional calculus.

Informally, WFFs are the sequences of symbols which have meaning in a given logical system.

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.

Incidentally, "Why is not a WFF." is the correct answer to the often talked about Philosophy exam question "Why?" (as opposed to "Why not?").

External links

Category: