WFF 'N PROOF

From BoardGameGeek:

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.