NetLogo User Community Models
BRADFORD WFF N Proof Quiz 7-4-14
by John Hamilton Bradford (Submitted: 07/03/2014)
## WHAT IS IT?
This is based on the classic logic board game, "WFF 'N PROOF". WFF 'N Proof is actually a series of over 21 games of increasing difficult. To play, you must first understand what a "WFF" is - a WFF is a Well Formed Formula in propositional logic, using a new notation with the letters p, q, r, s, C, A, K, E, and N.
A given expression is a WFF if and only if:
This program can tell you whether any combination of these letters is, in fact, a WFF or not. It has two game play modes: you can either let the program generate a random combination of these letters and answer "YES, this is a WFF" or "NO, this is not a WFF". Or, you can create your own expressions and click the "Next Question/Answer" button to see if it is a WFF or not. How many answers you get right or wrong are recorded.
Finally, you can also run a simulation to generate a list of correct WFF's by clicking the "Generate WFFs" button. I have already done this, generating a list of 19,771 unique WFF's between length 1 and 7 characters long, after 1 million trials. This is contained in the variable "permanent_list."
To be able to generate well-formed formulas, you don't need to know what the letters mean, but they do correspond to logical oeprators. The lower-case letters p, q, r, and s stand for simple sentences (e.g. "I am happy.").
Kpq = [p] AND [q]
Several studies have shown that playing WFF 'N Proof improved IQ scores by as much as 20 points! See references below.
## HOW IT WORKS
## HOW TO USE IT
There are two game play modes. If you check your own expression, enter your string in the field "expression" and click "Next Question/Answer." In the other game mode, you *first* click "Next Question/Answer" and then answer by clicking Yes or No.
## THINGS TO NOTICE
After awhile, you get the pattern.
## CREDITS AND REFERENCES
The game is available at http://www.gamesforthinkers.org/ .
(back to the NetLogo User Community Models)