This is a line of games that were created to help with learning. I must admit that WFF `N PROOF: The Game of Modern Logic strikes a little chord in me. One of the ratings states this:
There is only one thing wrong with this game: it is about propositional calculus, while I think first order logic is much more interesting.
There are other games in the line, including Language Arts, and Science Reasoning. I may have to buy one or two just to see what they are like.