A general method of solving Smullyan’s puzzles

Adam Kolany

DOI: http://dx.doi.org/10.12775/LLP.1996.004


In 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.

Full Text:



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.

Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism