Propositional logic. A relatively simple concept: If X, then Y. Useful too. Let’s see if we can’t teach it to people via extensive classroom-based teaching methods games.
A knight hears about an evil wizard and his dragon. He gets up, gets his sword and shield and gets going.
First there is a goblin on the road. The knight thinks: “If a goblin dies, I can continue. If I have a sword, I can defeat a minor foe. A goblin is a minor foe”.
On the top of the screen there is a propositional sentence, with an embedded goblin, And, and Therefore. On the screen, there are statements (objects) The player must fill the top sentence so that the outcome is victory.
In this case, the player must drag a sword in the sentence, making it read thusly: Sword and goblin, therefore victory. The player pushes Execute, and the game shows an animation of what happens.
While the game progresses, new statements are added. The player can use bow and a shield. There are different types of enemies, which all require different types of objects to defeat. Then the game starts dropping logical symbols from the top sentences, which the player must provide themselves.
Finally, after defeating the monstrous Dragon, the wizards zaps the knight with a magical wand, transporting him into a plane of pure chaos. The game objects are transformed into different runes and abstract symbols, and the player must cast aside real-life logical connections and apply pure propositional logic. After forging sense into the madness, the player is transported back and can slay the wizard.
And thus the player has learnt propositional logic, instead of abstract game mechanics. Math teachers shed a single tear of joy.
Domain of Man 