Gamesters, intrepid truth seekers, and all those who wish to sharpen their wits, welcome to the mind-building game space for Learning to Reason.

When we reason within a logical framework, words must be manipulated according to the rules of the game. Fortunately, the rules are fairly simple because the language of logic is built from only seven basic terms: not, and, or, implies, is equivalent to, for all and for some.

To see if you have mastered the basic rules, press the ENTER button and try your hand at playing some word games.