I am reading a good book of puzzles (King Arthur in Search of his Dog and other curious puzzles) by a chap called Raymond M Smullyan.
He writes logic-based mystery books and his book "Lady or the Tiger" is cited on wikipedia as worth reading for its explanation of logic puzzles (it was actually this book for which I was looking when I bought King Arthur....)
The puzzles in the google doc here are recontextualized plagiarisms of his logic structures. In some ways they are "new" puzzles as altering a word here and there in a given structure can clarify/obfuscate the structure significantly without invalidating it.
Actually substituting the variables and keeping track of them, all but forces you to explicitly abtract the structure from its initial context (particularly when it comes to refactoring the solutions and explanations).
No comments:
Post a Comment