A general method of solving Smullyan’s puzzles
AbstractIn this paper we present a general method of solving Smullyan’s puzzles. We do this by showing how a puzzle is translated into Classical Propositional Calculus.
Smullyan R. M., What is the Name of This Book?, Prentice-Hall, inc, Englewood Cliffs, New Jersey, 1978.
Smullyan R. M., The Lady or the Tiger?, Oxford University Press, 1991.
How to Cite
Number of views and downloads: 183
Number of citations: 0