
- BGG rank
- BGG #23,068
- BGG rating
- 6.6
Equations
- 2–6 players
- 30 min
- Complexity 3.0/5
- 1963

1962
Rules assistance for WFF 'N PROOF
Plain-language explanations of turns, card effects and disputed situations, with official source references and saved question history.
For 2 players

What would you like to know?
Answers come from the official rulebook, with the page to check.
WFF 'N PROOF is a board game released in 1962 for 2–4 players, 45 minutes per game, and ages 6 and up. It was designed by Layman E. Allen and Robert W. Allen and its main mechanics are Dice Rolling and Memory.
The complete set of 21 games that started with the game of WFF (q.v.). The game includes 36 special dice, a timer, and a 184 page rules and examples manual. The games included in this set are actually a set of logic rules presented in a 'Programmed Instruction' order. Each game adds to all prior games until Game 21, Frantic WFF 'N PROOF, is attained. As well as building WFFs (Well Formed Formulas), players must also try to reach a goal by using rules of inference. For example: If the goal is 'p', a player could use the 'Ko' (or Conjunction Out) rule and use 'Kpq' as a premise. In other terms, if the following sentence is true: "The first games of WFF 'N PROOF are easy and the last games of WFF 'n PROOF are hard." Then it can be inferred that the following sentence is true: "The first games of WFF 'N PROOF are easy." Up to 36 dice are rolled depending on the game being played. One player sets a 'goal' by building a WFF in the goal area of the playing mat. players then alternate playing dice to the "permitted" or "essential" sections of the play area. If a die is placed in the essential area it MUST be used in either a premise or a rule. If a player doesn't think that it can be used, he can challenge his opponent. To win, a player must make a successful challenge or be unsuccessfully challenged. Games 3 through 19 introduce the 11 Rules of Logical Inference in this order: Conjunction, Implication, Reiteration, Disjunction, Negation, and Equivalence. Then 18 more derived rules are added to the mix for Game 20, the PC (Propositional Calculus) game. The 21st and final game, Frantic WFF 'N PROOF, takes the PC game and adds timed moves for rapid and chaotic scoring.
WFF 'N PROOF supports 2–4 players according to the catalogue. This range comes from the publisher’s listed player count, so the game can be set up for any group size within it. Some setups, rules and scoring details may still vary by player count, so check your edition’s rulebook for the exact configuration.
The listed playing time for WFF 'N PROOF is 45 minutes. This is the publisher’s estimate for a full game. The actual duration depends on the group, the player count and familiarity with the rules: first sessions usually run longer, while experienced groups often finish faster. Setup and teaching time are not included in this estimate.
The catalogue lists WFF 'N PROOF for ages 6 and up. This is the publisher’s recommendation and reflects reading demands, rule complexity and small components rather than theme alone. Younger players can often join with help from an adult, so check the age guidance on your edition and consider your group’s experience with board games.
WFF 'N PROOF has a complexity rating of 3.8 out of 5 from BoardGameGeek players, which makes it a heavy game. The rating reflects how much rules knowledge, planning and decision-making a typical game demands. Expect a longer first teach for heavier games, and use a preparation guide before game night.
WFF 'N PROOF belongs to these categories: Abstract Strategy and Memory. Its main mechanics are Dice Rolling and Memory. Categories describe the theme and setting of a game, while mechanics describe what players actually do on their turns. Each mechanic links to a catalogue hub with similar games, which helps when you want something comparable.
The credited designers of WFF 'N PROOF are: Layman E. Allen and Robert W. Allen. These credits come from the published game data and name the people responsible for the game’s design, not its illustrators or publishers. Designer pages on MeepleRules collect other titles by the same designers, which helps when you enjoy a game and want to find similar ones.
The catalogue lists WFF 'N PROOF as a base game. It can be played on its own with the components in the box and does not require any other title. Expansions, if any exist, add new content or rules on top of it and are listed separately in the catalogue with a link back to this base game.