{"product_id":"wff-n-proof","title":"WFF 'N PROOF","description":"\u003cp\u003eThe complete set of 21 games that started with the game of WFF (q.v.).\n\nThe game includes 36 special dice, a timer, and a 184 page rules and examples manual.\n\nThe 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.\n\nAs well as building WFFs (Well Formed Formulas), players must also try to reach a goal by using rules of inference.\n\nFor 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.\"\n\nUp 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.\n\nTo win, a player must make a successful challenge or be unsuccessfully challenged.\n\nGames 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.\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003ePlayers:\u003c\/strong\u003e 2–4\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePlay time:\u003c\/strong\u003e 45 min\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eComplexity:\u003c\/strong\u003e 3.80 \/ 5\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDesigners:\u003c\/strong\u003e Layman E. Allen, Robert W. Allen\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eYear:\u003c\/strong\u003e 1962\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"WFF 'N PROOF Games","offers":[{"title":"Default Title","offer_id":51925224653016,"sku":"SB-37F1566CA41E-BOARD-GAMES-UNK-SEALED","price":0.0,"currency_code":"CAD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0734\/6271\/0488\/files\/tgff8gxqs0y7uqe9i3zh1tlpbg9z.jpg?v=1785458613","url":"https:\/\/abbyboardwalkstore.com\/products\/wff-n-proof","provider":"Boardwalk Cafe \u0026 Games","version":"1.0","type":"link"}