The exercise gives them a sense of what, given the rules and the evidence, to conjecture, then prove or test. Students end up learning reasoning techniques, such as proof by contradiction or the role of counterexamples, that not only apply to Minesweeper but also are useful for proving theorems later in their mathematics courses. Using the game Minesweeper to introduce students to proofs. Mackenzie, D. 1999. Addicted to logic.
Comments are welcome.