WFF 'N PROOF

1962 · Memory

WFF 'N PROOF

Roll dice to build well-formed formulas and use rules of inference to reach a set goal. Players place dice in permitted or essential sections of the play area, with essential dice required in a premise or rule. The 21 included games introduce increasingly complex logic rules, from conjunction and implication to propositional calculus. The final game adds timed moves for rapid play. The set includes 36 special dice, a timer, and a 184-page rules and examples manual.

Players
2–4 best 2
Playing time
45 min
Age
6+
Complexity
3.8 / 5
Abstract StrategyMemoryDice Rolling

On Ludoya's tables

Full stats in Ludoya
1
In collections

Game facts (players, playing time, age, credits) from BoardGameGeek.