WFF 'N PROOF
BGG rank
BGG #29,626
BGG rating
5.0

WFF 'N PROOF

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.

  • 2–4 players
  • 45 min
  • 6+
  • Complexity 3.8/5

For 2 players

Rules assistant for WFF 'N PROOF

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.

Similar games

About the game

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.

Publishers

  • WFF 'N PROOF Games

Questions and answers

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.