For Sale: I think this is the pocket version of the original WFF n Proof game which came with 36 dice.
Game is complete and contents are in mint or near mint shape. Box shows wear. Has original prices sticker on it from the Princeton University Store, looks like it cost $1.25 back in the 1960's.
Some info on WFF found on the web:
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.
Send your zip code for ship cost- should be between $2.95 and $4.95 if you are in the continental USA (Nov. 2012).
