# WFF 'N Proof

Team competition in the game of WFF ‘N Proof will be offered in all divisions at the 2013 Nationals. WFF will be played Friday and Saturday evenings following the last rounds of the day. WFF ‘N Proof results will not count toward team or individual sweepstakes awards.

WFF ‘N Proof is a game that was created by Professor Layman Allen to teach law students the fundamentals of symbolic logic.

In the game, students must be able to recognize a WFF (“Well Formed Formula”) and use seven different Rules of logic to manipulate those WFF’s into a proof. Games are played in groups of two or three. The first player rolls the cubes and sets a WFF as a Goal. The goal is the conclusion of a proof. Each student then tries to construct a proof that ends with the goal. The Solution to the goal is the Premises which they started their proof with, and the Rules they used to get to the Goal.

Players take turns moving to the Essentials, Permitted Premises, or Permitted Rules sections of the mat. Any cube moved to Essentials must be used in any Solution, and must be an essential part of that Solution; any cube in Permitted Premises may be used as part of a Premise; any cube in Permitted Rules may be used as part of a Rule. Thus the players themselves shape the Solution, forcing one another to create new Solutions in response to moves.

In the Advanced, or Regular version of the game, additional rules of logic are used, and students may use sub-proofs as part of their solutions.

WFF ‘N Proof is the most complex of the Academic Games, because it demands an advanced knowledge of symbolic logic. But it is also the most rewarding because the knowledge and logical discipline gained by mastering the game is applicable to many diverse fields later in life.