Last Stocked on 7/31/2024

Product Info

Title
WFF 'N PROOF (1972 Edition)
Publisher
Category
Sub-category
Author
Layman E. Allen, Robert W. Allen
Publish Year
1962
Dimensions
5.25x8x1.75"
NKG Part #
2148171823
Type
Age Range
6 Years and Up
# Players
2 - 4 Players
Game Length
45 Minutes

Description

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.

The Helpful Squire

*Try asking the Helpful Squire to talk like your favourite character. Remember you're chatting with an AI assistant. Verify the responses and don't share personal data. Acceptable Use Policy

since 1997

Why Buy, Sell, or Trade with Noble Knight?

  • Trusted tabletop retailer since 1997: Nearly 30 years serving gamers worldwide.
  • 300,000+ items in stock: New, used, and out-of-print games, books, and collectibles.
  • No phantom inventory: If it's listed as in stock, it's physically on our shelves in Fitchburg, WI and ready to ship.
  • Fast, reliable shipping: One-day shipping on most orders, Free USA shipping over $149, and flat-rate shipping of $9.95 on orders under $149.
  • International-friendly service: Discounted international shipping and support for foreign currency.
  • Sell your games to us with confidence: In store or by mail, we pay any shipping costs.
  • Learn more about Buy, Sell & Trade
gamers for gamers

Cataloged and Supported by Gamers

  • Every item professionally assessed and graded: Managed by our team of tabletop gamers.
  • Decades of experience: Nearly 30 years of buying, selling, and trading across all categories.
  • Sourced from the community: Much of our inventory comes directly from gamers through our Buy–Sell–Trade program.
  • Fair offers on collections of any size: From single items to large collections, new, used and rare items. Get a quote for your collection
  • Talk to a real gamer: Connect with our team at contact@nobleknight.mom to get advice, recommendations, and real insight from fellow gamers.
  • We speak tabletop: Knowledge you can rely on, from gamers who get it.
  • Ask us anything